On the meaning of SysML activity diagrams

Yosr Jarraya; Mourad Debbabi; Jamal Bentahar

doi:10.1109/ECBS.2009.25

On the meaning of SysML activity diagrams

Yosr Jarraya, Mourad Debbabi, Jamal Bentahar

Electrical Engineering

Concordia University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

21 Scopus citations

Abstract

In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational semantics that provides a rigorous and intuitive operational understanding of the behavior captured by the diagram. The semantics covers advanced control flows such as unstructured loops and concurrent control flows. Furthermore, our approach allows non well-formed control flows, with mixed and nested forks and joins. The probabilistic behaviors as specified in SysML are also considered. This formalization allows us to build a sound framework for the verification and validation of systems design expressed in SysML activity diagrams.

Original language	British English
Title of host publication	Proceedings - 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009
Pages	95-105
Number of pages	11
DOIs	https://doi.org/10.1109/ECBS.2009.25
State	Published - 2009
Event	16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009 - San Francisco, CA, United States Duration: 13 Apr 2009 → 16 Apr 2009

Publication series

Name	Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Conference

Conference	16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009
Country/Territory	United States
City	San Francisco, CA
Period	13/04/09 → 16/04/09

Access to Document

10.1109/ECBS.2009.25

Cite this

Jarraya, Y., Debbabi, M., & Bentahar, J. (2009). On the meaning of SysML activity diagrams. In Proceedings - 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009 (pp. 95-105). Article 4839236 (Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems). https://doi.org/10.1109/ECBS.2009.25

@inproceedings{86da568495004a41958b109c68dd41f0,

title = "On the meaning of SysML activity diagrams",

abstract = "In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational semantics that provides a rigorous and intuitive operational understanding of the behavior captured by the diagram. The semantics covers advanced control flows such as unstructured loops and concurrent control flows. Furthermore, our approach allows non well-formed control flows, with mixed and nested forks and joins. The probabilistic behaviors as specified in SysML are also considered. This formalization allows us to build a sound framework for the verification and validation of systems design expressed in SysML activity diagrams.",

author = "Yosr Jarraya and Mourad Debbabi and Jamal Bentahar",

year = "2009",

doi = "10.1109/ECBS.2009.25",

language = "British English",

isbn = "9780769536026",

series = "Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems",

pages = "95--105",

booktitle = "Proceedings - 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009",

note = "16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009 ; Conference date: 13-04-2009 Through 16-04-2009",

}

Jarraya, Y, Debbabi, M & Bentahar, J 2009, On the meaning of SysML activity diagrams. in Proceedings - 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009., 4839236, Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems, pp. 95-105, 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, CA, United States, 13/04/09. https://doi.org/10.1109/ECBS.2009.25

On the meaning of SysML activity diagrams. / Jarraya, Yosr; Debbabi, Mourad; Bentahar, Jamal.
Proceedings - 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009. 2009. p. 95-105 4839236 (Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On the meaning of SysML activity diagrams

AU - Jarraya, Yosr

AU - Debbabi, Mourad

AU - Bentahar, Jamal

PY - 2009

Y1 - 2009

N2 - In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational semantics that provides a rigorous and intuitive operational understanding of the behavior captured by the diagram. The semantics covers advanced control flows such as unstructured loops and concurrent control flows. Furthermore, our approach allows non well-formed control flows, with mixed and nested forks and joins. The probabilistic behaviors as specified in SysML are also considered. This formalization allows us to build a sound framework for the verification and validation of systems design expressed in SysML activity diagrams.

AB - In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational semantics that provides a rigorous and intuitive operational understanding of the behavior captured by the diagram. The semantics covers advanced control flows such as unstructured loops and concurrent control flows. Furthermore, our approach allows non well-formed control flows, with mixed and nested forks and joins. The probabilistic behaviors as specified in SysML are also considered. This formalization allows us to build a sound framework for the verification and validation of systems design expressed in SysML activity diagrams.

UR - http://www.scopus.com/inward/record.url?scp=67650272815&partnerID=8YFLogxK

U2 - 10.1109/ECBS.2009.25

DO - 10.1109/ECBS.2009.25

M3 - Conference contribution

AN - SCOPUS:67650272815

SN - 9780769536026

T3 - Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

SP - 95

EP - 105

BT - Proceedings - 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009

T2 - 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009

Y2 - 13 April 2009 through 16 April 2009

ER -

On the meaning of SysML activity diagrams

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this