Abstract
The Unified Modeling Language (UML) is a well known and widely used standard for building software models. While it is familiar to many software engineers, it lacks standardized formal semantics. In this paper, we extend on the formalism of object-oriented action systems (OOAS) and describe a mapping of a selected UML-subset to OOAS by choosing one of the several possible semantics of UML. This mapping, together with the introduction of a trace semantics for OOAS, paves the way for applying tools for and theory of labeled transition systems to UML-models. As a running example, we use a car alarm system in the context of model-based test-case generation and show how the UML mapping is done.
Research herein was funded by the EU FP7 project ICT-216679, Model-based Generation of Tests for Dependable Embedded Systems (MOGENTES).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
OMG: OMG Unified Modeling Language (OMG UML), superstructure, Version 2.2. (2009)
Back, R.J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. Distributed Computing 3(2), 73–87 (1989); Appeared previously in 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing (1983)
Back, R.J., Sere, K.: Stepwise refinement of action systems. Structured Programming 12, 17–30 (1991)
Bonsangue, M.M., Kok, J.N., Sere, K.: An approach to object-orientation in action systems. In: Jeuring, J. (ed.) MPC 1998. LNCS, vol. 1422, pp. 68–95. Springer, Heidelberg (1998)
Sekerinski, E., Sere, K.: A theory of prioritizing composition. Technical Report 5, Turku Centre for Computer Science (1996)
Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Inc., Englewood Cliffs (1976)
Back, R.J., Sere, K.: Superposition refinement of parallel algorithms. In: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 1991, pp. 475–493. North-Holland Publishing Co, Amsterdam (1992)
Fitzgerald, J., Larsen, P.G.: Modelling systems: practical tools and techniques in software development. Cambridge University Press, New York (1998)
Lucas, P.: Formal semantics of programming languages: VDL. IBM J. Res. Dev. 25(5), 549–561 (1981)
Butler, M., Morgan, C.: Action systems, unbounded nondeterminism, and infinite traces. Formal Aspects of Computing 7, 37–53 (1995)
Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools 17(3), 103–120 (1996)
Brandl, H., Weiglhofer, M., Aichernig, B.K.: Automated conformance verification of hybrid systems. In: QSIC (2010) (under review)
Aichernig, B.K., Brandl, H., Jöbstl, E., Krenn, W.: Model-based mutation testing of hybrid systems. In: Proceedings of Formal Methods for Components and Objects FMCO 2009 (2010) (under review)
Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 158–163. Springer, Heidelberg (2007)
Glabbeek, R.v., Weijland, W.: Branching time and abstraction in bisimulation semantics (extended abstract). In Ritter, G., ed.: Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Fransisco 1989, North-Holland (1989) 613–618 Full version in Jounal of the ACM 43(3), 1996, pp. 555–600.
Park, D.: Concurrency and automata on infinite sequences. In: Proceedings of the 5th GI-Conference on Theoretical Computer Science, London, UK, pp. 167–183. Springer, Heidelberg (1981)
Westerlund, T., Seceleanu, T.: An UML profile for action systems. Technical Report 581, Turku Centre for Computing Science (December 2003)
Fekih, H., Ayed, L.J.B., Merz, S.: Transformation of B specifications into UML class diagrams and state machines. In: Proceedings of the 2006 ACM Symposium on Applied Computing, SAC 2006, pp. 1840–1844. ACM, New York (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krenn, W., Schlick, R., Aichernig, B.K. (2010). Mapping UML to Labeled Transition Systems for Test-Case Generation. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds) Formal Methods for Components and Objects. FMCO 2009. Lecture Notes in Computer Science, vol 6286. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17071-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-17071-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17070-6
Online ISBN: 978-3-642-17071-3
eBook Packages: Computer ScienceComputer Science (R0)