Detail

The Visual Contract Language

Visual representations are widely used for software modelling, but they often lack rigour and means of precise expression. This talk will present the Visual Contract Language (VCL), a visual and formal language for abstract and precise modelling of software designs. VCL’s novelties lie in its capacity to describe predicates visually and in its visual approach to behavioural modelling based on design by contract (pre- and post- conditions). VCL has been designed to be modular and to tackle large and complex systems. It provides a coarse-grained modularity mechanism of packages, which builds up on ideas surrounding aspect-orientation. VCL is supported by a tool and has been applied to several medium to large case studies.