• DocumentCode
    3154563
  • 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
  • fYear
    2011
  • fDate
    3-5 Aug. 2011
  • Firstpage
    372
  • Lastpage
    377
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/IRI.2011.6009576
  • Filename
    6009576
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3154563