Paper Info
Title
A formal semantics for Sequence Diagrams and a strategy for system analysis
Abstract
We propose a semantics for Sequence Diagrams based on the COMPASS Modelling Language (CML): a formal specification language to model systems of systems. A distinguishing feature of our semantics is that it is defined as part of a larger effort to define the semantics of several diagrams of SysML, a UML profile for systems engineering. We have defined a fairly comprehensive semantics for Sequence Diagrams, which comprises sequential and parallel constructors, loops, breaks, alternatives, synchronous and asynchronous messages. We illustrate our semantics with a scenario of a case study of a system of systems. We also discuss an analysis strategy which involves an integrated view of several diagrams.
Year
Venue
Keywords
2014
MODELSWARD
cml,semantics,sequence diagrams,sysml,unified modeling language
Field
DocType
Citations 
Formal semantics (linguistics),Sequence diagram,Operational semantics,Programming language,Systems engineering,Computational semantics,Computer science,Denotational semantics,Theoretical computer science,Failure semantics,Story-driven modeling,Well-founded semantics
Conference
2
PageRank 
References 
Authors
0.39
3
3
Name
Order
Citations
PageRank
Lucas Lima1193.79
Juliano Iyoda2619.21
Augusto Sampaio350143.38