LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Visualization of Formal Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
A UML-based approach for problem frame oriented software development
Information and Software Technology
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation)
Proceedings of the 2010 ACM Symposium on Applied Computing
| Hi-index | 0.00 |
In this paper we present a part of Casl-Mdl, a visual modelling notation based on Casl-Ltl (an extension for dynamic system of the algebraic specification language Casl). The visual constructs of Casl-Mdl have been borrowed from the UML, thus existing editors may be used. A Casl-Mdl model is a set of diagrams but it corresponds to a Casl-Ltl specification, thus Casl-Mdl is a suitable means to easily read and write large and complex Casl-Ltl specifications. We use as a running example a case study that describes the functioning of a consortium of associations.