Abstract
The interconnection between UML activities and state machines enables the comprehensible modeling of systems based on data flows and events. In this paper, we propose a novel approach to guarantee a deterministic behavior for models in which activity and state diagrams work together. At first, deterministic models are ensured independently within both diagrams by using our UML profile for Deterministic Models for signal processing embedded systems (DMOSES). The relationship between executions of the model elements is analyzed according to interconnections of the activity and state diagrams described in the UML standard. To avoid nondeterministic models, we define the execution behavior of cooperating activities and state machines. The interconnection of both diagrams and their corresponding behavior are illustrated in an embedded system example that uses parallel processing for data as well as for events. Our approach simplifies the development of deterministic embedded systems by code generation from UML models.
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
Object Management Group: UML Unified Modeling Language, Superstructure, V2.1.2
Gherbi, A., Khendek, F.: From UML/SPT models to schedulability analysis: a metamodel-based transformation. In: Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp. 343–350. IEEE Computer Society, Los Alamitos (2006)
Shousha, M., Briand, L., Labiche, Y.: A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 475–489. Springer, Heidelberg (2008)
Apvrille, L., Courtiat, J.-P., Lohr, C., Saqui-Sannes, P.: TURTLE: A Real-time UML Profile Supported by a Formal Validation toolkit. IEEE Transactions on Software Engineering,, 473–487 (2004)
Apvrille, L., Saqui-Sannes, P., Khendek, F.: TURTLE-P: A UML Profile for the Formal Validation of Critical and Distributed Systems. In: Software and Systems Modeling (SoSyM), pp. 449–466. Springer, Heidelberg (2006)
Object Management Group: UML Profile for MARTE (2007)
Störrle, H., Hausmann, J.-H.: Towards a Formal Semantics of UML 2.0 Activities. In: Proceedings German Software Engineering Conference. LNI, vol. P-64, pp. 117–128 (2005)
Schattkowsky, T., Forster, A.: On the Pitfalls of UML 2 Activity Modeling. In: Proc. International Workshop on Modeling in Software Engineering MISE 2007: ICSE Workshop 2007 (2007)
Object Management Group: Semantics of Foundational Subset for Executable UML Models. ptc/2008-11-03
Crane, M., Dingel, J.: Towards a Formal Account of a Foundational Subset for Executable UML Models. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 675–689. Springer, Heidelberg (2008)
Nam, H.-L., Tai, H.-K., Sung, D.-C.: Construction of Global Finite State Machine for Testing Task Interactions written in Message Sequence Charts. In: The Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2002), pp. 369–376 (2002)
Schäfer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. Electronic Notes in Theoretical Computer Science, pp. 357–369. Elsevier, Amsterdam (2001)
Wiktor, B.-D.: Real Time Model Checking Using Timed Concurrent State Machines. International Journal of Computer Science & Applications, 1–12 (2007)
Gang, L., von Bochmann, G., Petrenko, A.: Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method. IEEE Transactions on Software Engineering, 149–162 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Daw, Z., Vetter, M. (2009). Deterministic UML Models for Interconnected Activities and State Machines. In: Schürr, A., Selic, B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04425-0_43
Download citation
DOI: https://doi.org/10.1007/978-3-642-04425-0_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04424-3
Online ISBN: 978-3-642-04425-0
eBook Packages: Computer ScienceComputer Science (R0)