![](/images/graphics-bg.png)
Integration of the association ends within UML state diagrams
Joint Authors
Bouabana-Tebibel, Thurayya
Belmesk, Munira
Source
The International Arab Journal of Information Technology
Issue
Vol. 5, Issue 1 (31 Jan. 2008), pp.7-15, 9 p.
Publisher
Publication Date
2008-01-31
Country of Publication
Jordan
No. of Pages
9
Main Subjects
Information Technology and Computer Science
Abstract EN
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 state chart 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.
American Psychological Association (APA)
Bouabana-Tebibel, Thurayya& Belmesk, Munira. 2008. Integration of the association ends within UML state diagrams. The International Arab Journal of Information Technology،Vol. 5, no. 1, pp.7-15.
https://search.emarefa.net/detail/BIM-10553
Modern Language Association (MLA)
Bouabana-Tebibel, Thurayya& Belmesk, Munira. Integration of the association ends within UML state diagrams. The International Arab Journal of Information Technology Vol. 5, no. 1 (Jan. 2008), pp.7-15.
https://search.emarefa.net/detail/BIM-10553
American Medical Association (AMA)
Bouabana-Tebibel, Thurayya& Belmesk, Munira. Integration of the association ends within UML state diagrams. The International Arab Journal of Information Technology. 2008. Vol. 5, no. 1, pp.7-15.
https://search.emarefa.net/detail/BIM-10553
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 14-15
Record ID
BIM-10553