Evolving algebras 1993: Lipari guide
Specification and validation methods
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Modelling concurrent interactions
Theoretical Computer Science - Algebraic methodology and software technology
Semantics of interactions in UML 2.0
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Model checking of UML 2.0 interactions
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
The many meanings of UML 2 Sequence Diagrams: a survey
Software and Systems Modeling (SoSyM)
Compositional semantics for UML 2.0 sequence diagrams using petri nets
SDL'05 Proceedings of the 12th international conference on Model Driven
Hi-index | 0.00 |
The latest specification of the Unified Modeling Language (UML) 2.x revised completely the structure and elements of sequence diagrams by expanding their modularity via interaction fragments. These fragments are based on a set of operators that can simplify the diagram's structure or alter the order of events in the diagram. Unfortunately, the new revision introduced a significant degree of ambiguity in the interpretation of these diagrams. This ambiguity is exacerbated by the fact that different styles of sequence diagrams can be used for different purposes of modeling and analysis. To address this ambiguity, this paper presents a formal model in operational semantics based on Abstract State Machines (ASM) to define the semantics of sequence diagrams. Specifically, update rules are devised for ASMs to handle important behaviors present in most embedded software operating in distributed or parallel environments. The approach in this paper assumes that lifeline processes in a sequence diagram act as autonomous agents that communicate by exchanging messages among each other in asynchronous and distributed manner. This formal model can be readily extended to define the semantics of the remaining operators including information about time intervals and constraints.