Paper Info
Title
Semantics of UML models for dynamic behavior: a survey of different approaches
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.
Year
DOI
Venue
2007
10.1017/CBO9780511674624.005
Model-Based Engineering of Embedded Real-Time Systems
Keywords
Field
DocType
existing system,paper surveys different approach,dynamic behavior,uml model,different modeling language,accompanying semantics,modeling language,essential aspect,essential feature,different purpose,embedded system
Sequence diagram,Operational semantics,Programming language,Unified Modeling Language,Computer science,Modeling language,Natural language,Applications of UML,Component-based software engineering,Semantics
Conference
Volume
ISSN
ISBN
6100
0302-9743
3-642-16276-2
Citations 
PageRank 
References 
1
0.36
47
Authors
3
Name
Order
Citations
PageRank
Mass Soldal Lund1758.04
Atle Refsdal2599.85
Ketil Stølen366973.05