2012 | OriginalPaper | Buchkapitel
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation
verfasst von : Christine Choppy, Gianna Reggio
Erschienen in: Recent Trends in Algebraic Development Techniques
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.