Academic
Publications
Modular Design by Contract Visually and Formally Using VCL

Modular Design by Contract Visually and Formally Using VCL,10.1109/VLHCC.2010.39,Nuno Amálio,Pierre Kelsen

Modular Design by Contract Visually and Formally Using VCL   (Citations: 2)
BibTex | RIS | RefWorks Download
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.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...The Visual Contract Language (VCL) [2,3] takes an approach to behaviour modelling that is based on design by contract...

    Mauricio Alférezet al. Aspect-Oriented Model Development at Different Levels of Abstraction

    • ...This paper presents our first results on a tool to support the visual contract language (VCL) [4,5]...
    • ...the construction of VCL structural and assertion (or constraint) diagrams (a subset of the whole VCL suite, see [4])...
    • ...Fig.2. VCL diagrams of Simple Bank [6,4] constructed using the VCL tool...
    • ...Figures 1(b) and 2 present VCL structural and assertion diagrams of the Simple Bank case study [6,4] drawn using VCB (see [4] for details)...
    • ...Figures 1(b) and 2 present VCL structural and assertion diagrams of the Simple Bank case study [6,4] drawn using VCB (see [4] for details)...
    • ...VCL ADs [4] are currently not supported), the type system for structural and assertion diagrams, and will extend the tool to support VCL’s descriptions of behaviour using the VCL notations of behaviour and contract diagrams (see [4])...
    • ...VCL ADs [4] are currently not supported), the type system for structural and assertion diagrams, and will extend the tool to support VCL’s descriptions of behaviour using the VCL notations of behaviour and contract diagrams (see [4])...

    Nuno Amálioet al. Building VCL Models and Automatically Generating Z Specifications from...

Sort by: