VCL, a Visual Language for Modelling Software Systems Formally

Amálio, Nuno; Kelsen, Pierre

doi:10.1007/978-3-642-14600-8_29

Cited by 5 publications

(5 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The search of composition techniques suitable for AOM led to the new look at the set-theory composition. Such approaches as Package Merge (Ammour and Desfray, 2006) and Visual Contract Language (VCL) (Amálio and Kelsen, 2010) explore the declarative way of aspect specification based on composition of sets.…”

Section: Revision Of Design By Contractmentioning

confidence: 99%

Aspect-Orientation in Modelling: Lessons Learned

Roubtsova

2011

Proceedings of the First International Symposium on Business Modeling and Software Design

View full text Add to dashboard Cite

Model-driven software engineering community faces the problems related to the growing complexity of system models and their rapid evolution. These problems are similar to the problems of programming. Driven by the ideas of Aspect-Oriented Programming many modelling techniques were revised in attempts to find their ways to deal with model complexity and evolution. This paper presents an analysis of existing semantic groups of modelling approaches, their goals, pros and cons, advantages and restrictions. It is aimed to show the deep reason of the fact that particular composition semantics combined with the elegant idea of aspect weaving leads to heavy verification procedures after any change in the AOM model. This analysis reveals the elements of modelling semantics that simplify the verification procedures in AOM.

show abstract

Section: Revision Of Design By Contractmentioning

confidence: 99%

Aspect-Orientation in Modelling: Lessons Learned

Roubtsova

2011

Proceedings of the First International Symposium on Business Modeling and Software Design

View full text Add to dashboard Cite

show abstract

“…This paper presents the Visual Contract Language (VCL) [12,13]. VCL is designed for abstract specification of software systems visually, formally and modularly.…”

Section: Introductionmentioning

confidence: 99%

“…-It presents design of VCL [12,13], highlighting VCL's modularity mechanisms and its support for two alternative styles of constraint specification (one is set-theoretic and the other is akin to predicate-calculus). -It illustrates formal semantics outline that accompanies VCL's design by giving examples of how VCL diagrams would be represented formally.…”

Section: Introductionmentioning

confidence: 99%

Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL

Amálio

Kelsen

2010

Enterprise, Business-Process and Information Systems Modeling

Self Cite

View full text Add to dashboard Cite

Abstract. The value of visual representations in software engineering is widely recognised. This paper addresses the problem of formality and rigour in visual-based descriptions of software systems. It proposes a new language, VCL, designed to be visual, formal and modular, targeting abstract specification at level of requirements, and that aims at expressing visually what is not visually expressible using mainstream visual languages, such as UML. This paper presents and illustrates VCL's approach to structural modelling based on the VCL notations of structural and constraint diagrams with a case study. VCL's contributions lie in its modularity mechanisms, and the support for two alternative styles of visual constraint modelling (one closer to set theory expressions and based on Euler diagrams, the other closer to predicate calculus and based on object graphs).

show abstract

“…This is why UML is accompanied by the textual Object Constraint Language (OCL). To address these problems, this paper proposes the Visual Contract Language (VCL) [4], [5], [6], a visual language for abstract specification of software systems at level of requirements (or high-level designs). It presents the design of VCL, outlining syntax and semantics of VCL notations of structural, behavioural, constraint, and contract diagrams, together with VCL's approach to behavioural modelling based on design by contract [7].…”

Section: Introductionmentioning

confidence: 99%

Modular Design by Contract Visually and Formally Using VCL

Amálio¹,

Kelsen²

2010

2010 IEEE Symposium on Visual Languages and Human-Centric Computing

Self Cite

View full text Add to dashboard Cite

Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and complexity in visual descriptions of software systems. It proposes a new language, VCL, that is designed to be visual, formal and modular, and that targets abstract specification at the level of requirements. VCL aims at expressing visually structural and behavioural properties of software systems. This paper presents design of VCL, outlining syntax and semantics of VCL notations of structural, behavioural, constraint, and contract diagrams, together with VCL's approach to behavioural modelling based on design by contract. VCL's novelty lies in the fact that contracts are modular units.

show abstract

VCL, a Visual Language for Modelling Software Systems Formally

Cited by 5 publications

References 4 publications

Aspect-Orientation in Modelling: Lessons Learned

Aspect-Orientation in Modelling: Lessons Learned

Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL

Modular Design by Contract Visually and Formally Using VCL

Contact Info

Product

Resources

About