Building VCL models and automatically generating Z specifications from them

Authors:
Nuno Amálio;Christian Glodt;Pierre Kelsen
Affiliations:
University of Luxembourg, Luxembourg;University of Luxembourg, Luxembourg;University of Luxembourg, Luxembourg
Venue:
FM'11 Proceedings of the 17th international conference on Formal methods
Year:
2011

Citing 8
Cited 0

A Visualization of OCL Using Collaborations

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Correctness by Construction: Integrating Formality into a Commercial Development Process

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering

IEEE Transactions on Software Engineering
The semantics of augmented constraint diagrams

Journal of Visual Languages and Computing
Automated Formalisation for Verification of Diagrammatic Models

Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Design by Contract Visually and Formally Using VCL

VLHCC '10 Proceedings of the 2010 IEEE Symposium on Visual Languages and Human-Centric Computing
Using VCL as an aspect-oriented approach to requirements modelling

Transactions on aspect-oriented software development VII
An object-oriented structuring for z based on views

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.