A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis

Lucas Lima, Juliano Iyoda, Augusto Sampaio

2014

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.

Paper Citation

in Harvard Style

Lima L., Iyoda J. and Sampaio A. (2014). A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 317-324. DOI: 10.5220/0004711603170324

in Bibtex Style

@conference{modelsward14,
author={Lucas Lima and Juliano Iyoda and Augusto Sampaio},
title={A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={317-324},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004711603170324},
isbn={978-989-758-007-9},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis
SN - 978-989-758-007-9
AU - Lima L.
AU - Iyoda J.
AU - Sampaio A.
PY - 2014
SP - 317
EP - 324
DO - 10.5220/0004711603170324