Loading...

Transformation of UML models into analyzable OSAN models

Kamandi, A ; Sharif University of Technology | 2006

226 Viewed
  1. Type of Document: Article
  2. DOI: 10.1016/j.entcs.2005.12.059
  3. Publisher: 2006
  4. Abstract:
  5. 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. © 2006 Elsevier B.V. All rights reserved
  6. Keywords:
  7. Computer graphics ; Computer networks ; Evaluation ; Mathematical transformations ; Object oriented programming ; Semantics ; Object Stochastic Activity Networks (OSAN) ; Unified Modeing Language (UML) ; Verification ; Computer programming languages
  8. Source: Electronic Notes in Theoretical Computer Science ; Volume 159, Issue 1 , 2006 , Pages 3-22 ; 15710661 (ISSN)
  9. URL: https://www.sciencedirect.com/science/article/pii/S1571066106002714