LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
A formal approach to property testing in causally consistent distributed traces
Formal Aspects of Computing
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
Triggered Message Sequence Charts
IEEE Transactions on Software Engineering
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
A Thread-tag Based Semantics for Sequence Diagrams
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Formalize UML 2 Sequence Diagrams
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
S2A: a compiler for multi-modal UML sequence diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Model checking of UML 2.0 interactions
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Branching time semantics for UML 2.0 sequence diagrams
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Non-local choice and beyond: intricacies of MSC choice nodes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Compositional semantics for UML 2.0 sequence diagrams using petri nets
SDL'05 Proceedings of the 12th international conference on Model Driven
Deciding properties of message sequence charts
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
FM'06 Proceedings of the 14th international conference on Formal Methods
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Applying a model-based approach to IT systems development using SysML extension
Proceedings of the 14th international conference on Model driven engineering languages and systems
A logic-based semantics for the verification of multi-diagram UML models
ACM SIGSOFT Software Engineering Notes
Requirements management within a full model-based engineering approach
Systems Engineering
An interleaving semantics for UML 2 interactions using Petri nets
Information Sciences: an International Journal
Formalizing the design of embedded software using sequence diagrams and abstract state machines
Proceedings of the 2nd annual conference on Research in information technology
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
Scenario languages are widely used in software development. Typical usage scenarios, forbidden behaviors, test cases, and many more aspects can be depicted with graphical scenarios. Scenario languages were introduced into the Unified Modeling Language (UML) under the name of Sequence Diagrams. The 2.0 version of UML changed Sequence Diagrams significantly and the expressiveness of the language was highly increased. However, the complexity of the language (and the diversity of the goals Sequence Diagrams are used for) yields several possible choices in its semantics. This paper collects and categorizes the semantic choices in the language, surveys the formal semantics proposed for Sequence Diagrams, and presents how these approaches handle the various semantic choices.