Formal Methods; Visual Languages; Z; Model-Driven Development
Résumé :
[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.
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2011-407
Auteur, co-auteur :
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)
Langue du document :
Anglais
Titre :
Building VCL Models and Automatically Generating Z Specifications from Them
Date de publication/diffusion :
2011
Nom de la manifestation :
Formal Methods - 17th International Symposium on Formal Methods
Lieu de la manifestation :
Limerick, Irlande
Date de la manifestation :
2011
Titre de l'ouvrage principal :
Formal Methods - 17th International Symposium on Formal Methods
