Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation

  • Christine Choppy
  • Gianna Reggio
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7137)


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.


Entity Type Modelling Dynamic System Label Transition System Elementary Interaction Interaction Property 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cengarle, M.V., Knapp, A., Mühlberger, H.: Interactions. In: Lano, K. (ed.) UML 2 Semantics and Applications, pp. 205–248. John Wiley & Sons (2009)Google Scholar
  2. 2.
    Choppy, C., Reggio, G.: Improving Use Case Based Requirements Using Formally Grounded Specifications. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 244–260. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Choppy, C., Reggio, G.: A UML-Based Approach for Problem Frame Oriented Software Development. Journal of Information and Software Technology 47, 929–954 (2005)CrossRefGoogle Scholar
  4. 4.
    Choppy, C., Reggio, G.: A formally grounded software specification method. Journal of Logic and Algebraic Programming 67(1-2), 52–86 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Choppy, C., Reggio, G.: CASL-MDL, modelling dynamic systems with a formal foundation and a UML-like notation (full report). Technical report, Universite Paris 13, and Universita di Genova (2010),
  6. 6.
    Choppy, C., Reggio, G.: Service Modelling with Casl4Soa: A Well-Founded Approach - Part 1 (Service in isolation). In: Symposium on Applied Computing, pp. 2444–2451. ACM (2010)Google Scholar
  7. 7.
    Mosses, P.D. (ed.): Casl Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)zbMATHGoogle Scholar
  8. 8.
    Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1), 45–80 (2001)CrossRefzbMATHGoogle Scholar
  9. 9.
    Fish, A., Howse, J., Taentzer, G., Winkleman, J.: Two visualisations of OCL: A comparison. Technical Report VMG.05.1, University of Brighton (2005)Google Scholar
  10. 10.
    Kim, S.-K., Carrington, D.: Visualization of formal specifications. In: Proceedings of the Sixth Asia Pacific Software Engineering Conference, APSEC 1999, pp. 38–45. IEEE Computer Society (1999)Google Scholar
  11. 11.
    Reggio, G., Astesiano, E., Choppy, C.: Casl-Ltl: A Casl Extension for Dynamic Reactive Systems Version 1.0–Summary. Technical Report DISI-TR-03-36 (2003)Google Scholar
  12. 12.
    UML Revision Task Force. OMG UML Specification,

Copyright information

© IFIP International Federation for Information Processing 2012

Authors and Affiliations

  • Christine Choppy
    • 1
  • Gianna Reggio
    • 2
  1. 1.LIPN, UMR CNRS 7030Université Paris 13France
  2. 2.DISIUniversità di GenovaItaly

Personalised recommendations