Technical Report Details
| Date |
19-8-2011 |
| Number |
DISI-TR-11-09 |
| Title |
CASL-MDL, modelling dynamic systems with a formal foundation and a UML-like notation |
| Authors |
Christine Choppy, Gianna Reggio |
| Bibtex Entry |
|
| E-mail |
gianna.reggio@disi.unige.it |
| Link |
http://softeng.disi.unige.it/tech-rep/CASLML.pdf |
| Abstract |
In this paper we present a part of Casl-Mdl, a visual mod- elling 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 eas- ily 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. |
|
|
 |
