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.
CASL-MDL, modelling dynamic systems with a formal foundation and a UML-like notation
REGGIO, GIANNA
2012-01-01
Abstract
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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
