FROM UML TOWARDS PETRI NETS TO SPECIFY AND VERIFY

Thouraya Bouabana-Tebibel, Mounira Belmesk

2004

Abstract

UML nowadays, has emerged as the industry standard for object-oriented modeling. However, it still lacks a well-defined semantic base enabling it to perform formal verification and validation tasks. Our goal being to provide system designers a life cycle of software development integrating conviviality and rigor, we propose a methodology to specify, verify and validate using UML. This methodology is based on a technique which derives colored Petri nets from UML class, statechart and collaboration diagrams. The approach that we propose associates the formalization of the object dynamics to the formalization of the object behavior. A case study is provided to illustrate this technique.

Paper Citation

in Harvard Style

Bouabana-Tebibel T. and Belmesk M. (2004). FROM UML TOWARDS PETRI NETS TO SPECIFY AND VERIFY . In Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 972-8865-12-0, pages 249-256. DOI: 10.5220/0001145802490256

in Bibtex Style

@conference{icinco04,
author={Thouraya Bouabana-Tebibel and Mounira Belmesk},
title={FROM UML TOWARDS PETRI NETS TO SPECIFY AND VERIFY},
booktitle={Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2004},
pages={249-256},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001145802490256},
isbn={972-8865-12-0},
}

in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - FROM UML TOWARDS PETRI NETS TO SPECIFY AND VERIFY
SN - 972-8865-12-0
AU - Bouabana-Tebibel T.
AU - Belmesk M.
PY - 2004
SP - 249
EP - 256
DO - 10.5220/0001145802490256