Authors:
Lucas Lima
;
Juliano Iyoda
and
Augusto Sampaio
Affiliation:
Universidade Federal de Pernambuco, Brazil
Keyword(s):
Sequence Diagrams, SysML, Semantics, CML.
Related
Ontology
Subjects/Areas/Topics:
Applications and Software Development
;
General-Purpose Modeling Languages and Standards
;
Languages, Tools and Architectures
;
Methodologies, Processes and Platforms
;
Model Transformation
;
Model Transformations and Generative Approaches
;
Model-Based Testing and Validation
;
Model-Driven Software Development
;
Models
;
Paradigm Trends
;
Software Engineering
;
Syntax and Semantics of Modeling Languages
;
Systems Engineering
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.