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/5688
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 > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2010
15th International Conference, EMMSAD 2010
Springer
261-273
Yes
EMMSAD 2010
June 2010
Hammamet
Tunisia
[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/5688
10.1007/978-3-642-13051-9_22

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.