Abstract
The semantics of UML presented in the OMG standard is defined informally in plain language. The lack of formal semantics brings ambiguity problems, crucial especially in case of automation of system development process and design of tools supporting the process (that implement validation of the systems’ specification, model-checking, transformations, or code generation). The aim of the paper is to discuss a list of interpretation problems related to part of UML, i.e. Activity. Authors indicate inconsistencies and problems caused by a lack of information in the UML specification, which were identified by them during an attempt of formalization of the Activity semantics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bauerdick, H., Gogolla, M., Gutsche, F.: Detecting OCL traps in the UML 2.0 superstructure: an experience report. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. Lecture Notes in Computer Science, vol. 3273, pp. 188–196. Springer, Heidelberg (2004)
Fecher, H., Schönborn, J., Kyas, M., de Roever, W.-P.: 29 new unclarities in the semantics of UML 2.0 state machines. In: Lau, K.K., Banach, R. (eds.) Formal Methods and Software Engineering. ICFEM 2005. Lecture Notes in Computer Science, vol. 3785. Springer, Heidelberg (2005)
Fuentes, J.M., Quintana, V., Llorens, J., Génova, G., Prieto-Díaz, R.: Errors in the UML metamodel? ACM SIGSOFT Softw. Eng. Notes 28(6) (2003)
Glinz, M.: Problems and deficiencies of UML as a requirements specification language. In Proceedings of the 10th International Workshop on Software Specification and Design, IWSSD 2000, pp. 11–22, IEEE Computer Society, Washington, DC (2000)
OMG Issues. http://issues.omg.org/issues/spec/UML/2.5. Accessed: 15 May 2018
OMG Meta Object Facility Core Specification 2.5.1. https://www.omg.org/spec/MOF/2.5.1/PDF. Accessed 21 May 2018
OMG Model Driven Architecture Guide rev. 2.0. https://www.omg.org/cgi-bin/doc?ormsc/14-06-01.pdf. Accessed: 21 May 2018
OMG Object Constraint Language 2.4. https://www.omg.org/spec/OCL/2.4/PDF. Accessed 21 May 2018
OMG Unified Modeling Language 2.5.1. http://www.omg.org/spec/UML/2.5.1/PDF. Accessed 21 May 2018
Rączkowska, K.: Operational semantics of activities. MSc thesis, Wroclaw University of Science and Technology (2017)
Sarstedt, S.: Overcoming the limitations of signal handling when simulating UML 2 activity charts. In: Proceedings of the 2005 European Simulation and Modelling Conference (ESM 2005), pp. 61–65 (2005)
Sarstedt, S.: Semantic foundation and tool support for model-driven development with UML 2 activity diagrams. Ph.D. thesis, University of Ulm (2006)
Wilke, C., Demuth, B.: UML is still inconsistent! How to improve OCL constraints in the UML 2.3 superstructure. In: Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011). Electronic Communications of the EASST, vol. 44 (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Rączkowska, K., Walkowiak-Gall, A. (2019). 15 Interpretation Problems in the Semantics of UML 2.5.1 Activities. In: Borzemski, L., Świątek, J., Wilimowska, Z. (eds) Information Systems Architecture and Technology: Proceedings of 39th International Conference on Information Systems Architecture and Technology – ISAT 2018. ISAT 2018. Advances in Intelligent Systems and Computing, vol 852. Springer, Cham. https://doi.org/10.1007/978-3-319-99981-4_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-99981-4_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99980-7
Online ISBN: 978-3-319-99981-4
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)