Modular and Distributed Verification of SysML Activity Diagrams

Messaoud Rahim, Hammad Ahmed, Ioualalen Malika

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.

References

  1. Abid, C. A. and Zouari, B. (2007). A distributed verification approach for modular petri nets. In proc. of the 2007 summer computer simulation conference, pages 681- 690.
  2. Andrade, E., Macie, P., Callou, G., and Nogueira, B. (2009). A methodology for mapping sysml activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. In proc.
  3. ICDS'09, pages 266-271.
  4. Barnat, J. and Rockai, P. (2008). Shared hash tables in parallel model checking. In Electronic Notes in Theoretical Computer Science 198(1), proc. of the 6th International Workshop on PDMC 2007.
  5. Boukala, M. and Petrucci, L. (2011). Distributed verification of modular systems. In in Proc. of CompoNet and SUMo.
  6. Carneiro, E., Maciel, E., Callou, P., and Tavares, G. (2008). Mapping sysml state machine diagram to time petri net for analysis and verification of embedded real-time systems with energy constraints. In proc. ENICS08, pages 1-6.
  7. Friedenthal, S., Moore, A., and Steiner, R. (2008). Omg systems modeling language (omg sysml) tutorial. In INCOSE.
  8. Kale, L. V. and Zheng, G. (2009). Charm++ and ampi: Adaptive runtime strategies via migratable objects. In In M. Parashar, editor, Advanced Computational Infrastructures for Parallel and Distributed Applications, page 265282. Wiley-Interscience.
  9. Kristensen, S. and Petrucci, L. (2004). An approach to distributed state space exploration for coloured petri nets. In In Proc. 25th Int. Conf. Application and Theory of Petri Nets (ICATPN2004), Bologna, Italy, pages 474- 483.
  10. Latvala, T. and Makela, M. (2004). Ltl model checking for modular petri nets. In In proc. of ICATPN'04, pages 298-311.
  11. Linhares, M.-V., de Oliveira, R.-S., Farines, J.-M., and Vernadat, F. (2007). Introducing the modeling and verification process in sysml. In proc. 12th IEEE ETFA'2007, pages 344-351.
  12. N. Yang, H. Yu, H. S. and Qian, Z. (2010). Mapping uml activity diagrams to analyzable petri net models. In Proc. of the 10th IEEE Int. Conf. on Quality Software, pages 369-372.
  13. OMG (2010). Omg systems modeling language (omg sysml) version 1.2. In http://www.omg.org.
  14. Staines, T. S. (2008). Intuitive mapping of uml 2 activity diagrams into fundamental modeling concept petri net diagrams and colored petri nets. In 15th Annual IEEE Int. Conf. and Workshop on the Engineering of Computer Based Systems, ECBS 2008, pages 191-200.
  15. Valmari, A. (1994). Compositional analysis with placebordered subnets. In Proc. of the 15th Int. Conf. on Application and Theory of Petri Nets, pages 531-547.
Download


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