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.
展开▼