Modular and Distributed Verification of SysML Activity Diagrams

Messaoud Rahim, Hammad Ahmed, Ioualalen Malika

2013

Abstract

Model-based development for complex system design has been used to support the increase of systems complexity. SysML is a modeling language that allows a system description with various integrated diagrams, but SysML lacks formality for the requirement verification. Translating SysML-based specification into Petri nets allows to enable rigorous system analysis. However, for complex systems, we have to deal with the state space explosion problem. In this paper, we propose new approach to allow a modular and distributed verification of SysML Activity Diagram basing on the derived Petri net.

Paper Citation

in Harvard Style

Rahim M., Ahmed H. and Malika I. (2013). Modular and Distributed Verification of SysML Activity Diagrams . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 202-205. DOI: 10.5220/0004320602020205

in Bibtex Style

@conference{modelsward13,
author={Messaoud Rahim and Hammad Ahmed and Ioualalen Malika},
title={Modular and Distributed Verification of SysML Activity Diagrams},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={202-205},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004320602020205},
isbn={978-989-8565-42-6},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Modular and Distributed Verification of SysML Activity Diagrams
SN - 978-989-8565-42-6
AU - Rahim M.
AU - Ahmed H.
AU - Malika I.
PY - 2013
SP - 202
EP - 205
DO - 10.5220/0004320602020205