Sciweavers

IAJIT
2008

Integration of the Association Ends within UML State Diagrams

13 years 3 months ago
Integration of the Association Ends within UML State Diagrams
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, we first present a technique for transforming the UML statechart diagrams into Petri nets. Then we develop an approach based on the class association ends. This approach shows how to validate the system invariants, expressed in the Object Constraint Language, on the Petri nets derived from the UML models. System property validation starts with an initialization of the model, extracted from the object and sequence diagrams. A case study is given throughout the paper to illustrate the methodology.
Thouraya Bouabana-Tebibel, Mounira Belmesk
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where IAJIT
Authors Thouraya Bouabana-Tebibel, Mounira Belmesk
Comments (0)