Paper Info
Title
Formalization Of Uml Object Dynamics And Behavior
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 tasks. Our goal is to provide system designers a life cycle of software development integrating the UML user-friendliness and the Petri nets rigor and reliability. For this purpose, we propose a methodology to specify using UML and then to systematically verify and validate by way of the Petri nets. This methodology is based on a technique which derives colored Petri nets from UML object, statechart, collaboration and sequence diagrams. The proposed approach associates the formalization of the dynamics and the behavior of objects identified by identities and attribute values. A case study is provided to illustrate this technique.
Year
DOI
Venue
2004
10.1109/ICSMC.2004.1401319
2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7
Keywords
DocType
ISSN
UML, Petri nets, specification, verification, validation, object diagram, statechart diagram, collaboration diagram, sequence diagram
Conference
1062-922X
Citations 
PageRank 
References 
7
0.65
6
Authors
2
Name
Order
Citations
PageRank
Thouraya Bouabana-Tebibel16617.54
Mounira Belmesk2263.91