Building VCL Models and Automatically Generating Z Specifications from Them
English
Amalio, Nuno[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Glodt, Christian[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Kelsen, Pierre[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2011
Formal Methods - 17th International Symposium on Formal Methods
Springer
Lecture Notes in Computer Science 6664
149-153
Yes
Formal Methods - 17th International Symposium on Formal Methods
2011
Limerick
Ireland
[en] Formal Methods ; Visual Languages ; Z ; Model-Driven Development
[en] VCL is a visual and formal language for abstract specification of software systems. Its novelty lies in its capacity to describe predicates visually. This paper presents work-in-progress on a tool for VCL; the tool version presented here supports the VCL notations of structural and assertion diagrams (a subset of the whole VCL suite), enabling the generation of Z specifications from them.