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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
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)
Choppy, C., Reggio, G.: A UML-Based Approach for Problem Frame Oriented Software Development. Journal of Information and Software Technology 47, 929–954 (2005)
Choppy, C., Reggio, G.: A formally grounded software specification method. Journal of Logic and Algebraic Programming 67(1-2), 52–86 (2006)
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), http://www-lipn.univ-paris13.fr/~choppy/REPORTS/casl-mdl-report.pdf
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)
Mosses, P.D. (ed.): Casl Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)
Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1), 45–80 (2001)
Fish, A., Howse, J., Taentzer, G., Winkleman, J.: Two visualisations of OCL: A comparison. Technical Report VMG.05.1, University of Brighton (2005)
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)
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)
UML Revision Task Force. OMG UML Specification, http://www.uml.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 IFIP International Federation for Information Processing
About this paper
Cite this paper
Choppy, C., Reggio, G. (2012). Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. In: Mossakowski, T., Kreowski, HJ. (eds) Recent Trends in Algebraic Development Techniques. WADT 2010. Lecture Notes in Computer Science, vol 7137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28412-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-28412-0_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28411-3
Online ISBN: 978-3-642-28412-0
eBook Packages: Computer ScienceComputer Science (R0)