Abstract
Originally presented in previous work to capture the set of fundamental elements of the UML state machine specification, Common Declarative Language (CDL) provides a model that can aid in the validation and verification of requirements. In this paper we target two objectives: First, we extend CDL by addressing one of the advanced concepts of the UML state machine specification, namely the notion of orthogonality which allows complex machine behavior through parallel state configurations. Second, we complement previous work by focusing on how CDL can serve as a platform for the representation of a state machine, how the language can be deployed for a model transformation where the initial machine (containing composite and/or orthogonal states) can be flattened into a model whose formal definition we provide, and finally how the CDL can be deployed to support interoperability among text-to-UML drawing tools [11].
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
References
Balasubramanian, D., Păsăreanu, C.S., Karsai, G., Lowry, M.R.: Polyglot: systematic analysis for multiple statechart formalisms. In: Piterman, N., Smolka, S.A. (Eds.) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2013. Lecture Notes in Computer Science, vol. 7795. Springer, Berlin, Heidelberg (2013)
Beckert, B.: UML State Machines, Lecture notes, Universität Koblenz-Landau
Sheng, F., Zhu, H., Yang, Z., Yin, J., Lu, G.: Verifying static aspects of UML models using Prolog. In: Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Portugal (2019)
Khai, Z., Nadeem, A., Lee, G.S.: A Prolog based approach to consistency checking of UML class and sequence diagrams. In: Th, K. et al. Software Engineering, Business Continuity, and Education. Communications in Computer and Information Science, vol. 257. Springer, Berlin, Heidelberg (2011)
Mens, T., Decan, A., Spanoudakis, N.I.: A method for testing and validating executable statechart models. In: Software and Systems Modeling, vol. 18, pp. 837–863. Springer-Verlag (2019)
Cheng, K.T., Krishnakumar, A.S.: Automatic generation of functional vectors using the extended finite state machine model. ACM Trans. Des. Autom. Electron. Syst. 1(1), 57–59 (1996)
Friedenthal, S., Moore A., Steiner, R.: A Practical Guide to SysML (Third Edition), Kaufmann M. (ed.) (2015)
Object Management Group: Unified Modeling Language (UML) Version 2.5.1 (2017)
Alagar, V.S., Periyasamy, K.: Specification of Software Systems (2011)
Podeski, A.: Hierarchical State Machines. Albert-Ludwigs-Universität Freiburg, Lecture notes (2015)
https://modeling-languages.com/text-uml-tools-complete-list/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2025 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Jannatpour, A., Constantinides, C. (2025). A Common Declarative Language for UML State Machine Representation, Model Transformation, and Interoperability of Visualization Tools. In: Liu, S. (eds) Software Fault Prevention, Verification, and Validation. SFPVV 2024. Lecture Notes in Computer Science, vol 15393. Springer, Singapore. https://doi.org/10.1007/978-981-96-1621-3_11
Download citation
DOI: https://doi.org/10.1007/978-981-96-1621-3_11
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-96-1620-6
Online ISBN: 978-981-96-1621-3
eBook Packages: Computer ScienceComputer Science (R0)