Transformation of UML Models into Analyzable OSAN Models

Authors:
Ali Kamandi;Mohammad Abdollahi Azgomi;Ali Movaghar
Affiliations:
Department of Computer Engineering, Sharif University of Technology, Tehran, Iran;Department of Computer Engineering, Iran University of Science and Technology, Tehran, Iran;Department of Computer Engineering, Sharif University of Technology, Tehran, Iran
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 10
Cited 0

Performance models of multiprocessor systems

Performance models of multiprocessor systems
The UltraSAN modeling environment

Performance Evaluation - Special issue: performance modeling tools
The Unified Modeling Language user guide

The Unified Modeling Language user guide
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
From UML sequence diagrams and statecharts to analysable petri net models

WOSP '02 Proceedings of the 3rd international workshop on Software and performance
The Möbius Framework and Its Implementation

IEEE Transactions on Software Engineering
A Compositional Semantics for UML State Machines Aimed at Performance Evaluation

WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Modeling and Evaluation with Object Stochastic Activity Networks

QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Performance Analysis Using Stochastic Petri Nets

IEEE Transactions on Computers
UML - a universal modeling language?

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.