Transformation of UML Models into Analyzable OSAN Models | Zendy

Ali Kamandi | Zendy; Mohammad Abdollahi Azgomi | Zendy; Ali Movaghar | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Transformation of UML Models into Analyzable OSAN Models

Author(s) -

Ali Kamandi,

Mohammad Abdollahi Azgomi,

Ali Movaghar

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.12.059

Subject(s) - computer science , applications of uml , unified modeling language , object constraint language , uml tool , programming language , petri net , model transformation , formalism (music) , notation , theoretical computer science , artificial intelligence , software , mathematics , art , musical , consistency (knowledge bases) , visual arts , arithmetic

The unified modelling language (UML) is a de facto standard for object-oriented modelling. However, the formal semantics for the notations included in UML are not provided, which are a key requirement for the verification and evaluation purposes. To solve this problem, Petri net formalism has been used as a complement to UML in several research projects. However, there is not a complete transformation technique for all concepts and diagrams of UML to an extension of Petri nets. We have recently introduced object stochastic activity networks (OSANs). OSANs are a high-level modelling formalism that integrates object-orientation into stochastic activity networks (SANs). In this paper, we present some transformation techniques for the most important concepts and diagrams of UML into OSANs. The resulting OSAN models can be used for both evaluation and verification purposes

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research