Operational semantics for MSC'96
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
An Execution Semantics for MSC-2000
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
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
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Realizability and verification of MSC graphs
Theoretical Computer Science - Automata, languages and programming
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Deriving tests from UML 2.0 sequence diagrams with neg and assert
Proceedings of the 2006 international workshop on Automation of software test
Assert and negate revisited: modal semantics for UML sequence diagrams
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Towards An Integration Of Message Sequence Charts And Timed Maude
Journal of Integrated Design & Process Science
Semantics of message sequence charts
SDL'05 Proceedings of the 12th international conference on Model Driven
Why timed sequence diagrams require three-event semantics
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Thread---Based Analysis of Sequence Diagrams
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
The many meanings of UML 2 Sequence Diagrams: a survey
Software and Systems Modeling (SoSyM)
Precise specification of design pattern structure and behaviour
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
A logic-based semantics for the verification of multi-diagram UML models
ACM SIGSOFT Software Engineering Notes
Towards the verification of multi-diagram UML models
Proceedings of the 34th International Conference on Software Engineering
Polymorphic scenario-based specification models: semantics and applications
Software and Systems Modeling (SoSyM)
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
UML sequence diagrams is a specification language that has proved itself to be of great value in system development. When put to applications such as simulation, testing and other kinds of automated analysis there is a need for formal semantics. Such methods of automated analysis are by nature operational, and this motivates formalizing an operational semantics. In this paper we present an operational semantics for UML 2.0 sequence diagrams that we believe gives a solid starting point for developing methods for automated analysis. The operational semantics has been proved to be sound and complete with respect to a denotational semantics for the same language. It handles negative behavior as well as potential and mandatory choice. We are not aware of any other operational semantics for sequence diagrams of this strength.