Authors:
Thouraya Bouabana-Tebibel
1
and
Mounira Belmesk
2
Affiliations:
1
Institut National d’Informatique, Algeria
;
2
Collège Edouard MonPetit, Canada
Keyword(s):
UML, Petri nets, verification and validation, class diagram, statechart diagram, collaboration diagram.
Related
Ontology
Subjects/Areas/Topics:
Evolutionary Computation and Control
;
Formal Methods
;
Informatics in Control, Automation and Robotics
;
Intelligent Control Systems and Optimization
;
Petri Nets
;
Simulation and Modeling
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.