Semantics of UML models for dynamic behavior: a survey of different approaches

  • Authors:

  • Mass Soldal Lund;Atle Refsdal;Ketil Stølen

  • Affiliations:

  • SINTEF ICT, Norway;SINTEF ICT, Norway;SINTEF ICT, Norway and Department of Informatics, University of Oslo, Norway

  • Venue:
  • MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Models are used for a number of different purposes, from the requirements capture and design of a new system, to the testing of an existing system. Many different modeling languages are available, and the semantics given for the languages vary from informal natural language descriptions to various kinds of mathematical or logical definitions. When choosing a modeling language and accompanying semantics, a number of things need to be taken into consideration, such as who are the users of the models, what is the purpose of the models, what kind of application is being modeled, and what are the essential features that must be captured. When modeling embedded systems, an essential aspect is the interaction between hardware and software. Hence, we need to capture the behavior of the hardware and software components. For capturing the dynamic behavior of components, modeling languages like UML sequence diagrams, state machines and similar notations are often used. This paper surveys different approaches to formally capturing the semantics of models expressed using languages of this kind.