Deterministic UML Models for Interconnected Activities and State Machines

Authors:
Zamira Daw;Marcus Vetter
Affiliations:
Department of Embedded Systems, Hochschule Mannheim, University of Applied Sciences, Mannheim, Germany D-68163;Department of Embedded Systems, Hochschule Mannheim, University of Applied Sciences, Mannheim, Germany D-68163
Venue:
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Year:
2009

Citing 7
Cited 1

Construction of global finite state machine for testing task interactions written in message sequence charts

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method

IEEE Transactions on Software Engineering
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit

IEEE Transactions on Software Engineering
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation

ISORC '06 Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
On the Pitfalls of UML 2 Activity Modeling

MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Towards a Formal Account of a Foundational Subset for Executable UML Models

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems

A systematic review on the definition of UML profiles

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I

Quantified Score

Hi-index	0.00

Visualization

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.