loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Lucas Lima ; Juliano Iyoda and Augusto Sampaio

Affiliation: Universidade Federal de Pernambuco, Brazil

ISBN: 978-989-758-007-9

ISSN: 2184-4348

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.230.154.129

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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, ISSN 2184-4348, pages 317-324. DOI: 10.5220/0004711603170324

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.