Reference : Specifying structural properties and their constraints formally, visually and modular...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/5684
Specifying structural properties and their constraints formally, visually and modularly using VCL
English
Amalio, Nuno mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Kelsen, Pierre mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Ma, Qin mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
2010
EMMSAD 2010
Springer
LNBIP 50
50–261
Yes
EMMSAD 2010
2010
[en] formal modelling ; visual languages ; Z
[en] 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).
http://hdl.handle.net/10993/5684
10.1007/978-3-642-13051-9_22
50

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
10.1007_978-3-642-13051-9_22.pdfPublisher postprint425.49 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.