Title :
Language integration for model formalization
Author :
Bouabana-Tebibel, Thouraya
Author_Institution :
Lab. de Commun. dans les Syst. Informatiques, Ecole Nat. Super. d´´Inf., Algiers, Algeria
Abstract :
UML is often formalized by means of a denotational semantics based on state-transition languages. The obtained models are afterwards verified to prove the UML diagrams correctness. We propose, in this paper, an approach to initialize object Petri net models at any time of the system life cycle starting from UML diagrams. The OPNs marking regarding objects is mainly deduced from the sequence diagram. The object diagram is used to provide the object signature. A case study is given to illustrate the approach.
Keywords :
Petri nets; Unified Modeling Language; UML diagrams correctness; denotational semantics; language integration; model formalization; object Petri net models; object diagram; object signature; sequence diagram; state-transition languages; Biological system modeling; Delta modulation; Object oriented modeling; Object recognition; Semantics; Servers; Unified modeling language; UML2; object Petri net; object diagram; sequence diagram; verification;
Conference_Titel :
Information Reuse and Integration (IRI), 2011 IEEE International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
978-1-4577-0964-7
Electronic_ISBN :
978-1-4577-0965-4
DOI :
10.1109/IRI.2011.6009576
