| UML(Unified Modeling Language) is a standard of OMG(Object Management Group). And UML is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a software system, as well as for business modeling and other non-software systems. The advantage of UML is powerful enough to specify software system model visually and efficiently. The disadvantage of it is lacking a formal semantics and difficult to apply, directly, mathematical techniques on UML models for system validation.As a tool for Software System Modeling, Petri net has advantages: Allowing the modeling of concurrency, synchronization and resource sharing behavior of a system, and there are many theoretical results associated with Petri nets for analysis of such issues detection and performance analysis. Petri net also has disadvantages: It's not easy for developers to draw a Petri net, especially for complex systems, and having difficulty to model objects and relation between objects.Effective modeling of complex concurrent systems requires a formalism that can capture essential properties such as nondeterminism, synchronization and parallelism. Petri nets offer a clean formalism for concurrency, however lack thorough modularization techniques. Object orientation offers formalism for highly reusable and modular systems, but lacks general concurrency features. There have been a number of attempts to combine Petri nets with Object Oriented concepts to profit from the strengths of both approaches. The solution may be: let user design the UML and validate it by converting it into the Petri net.In this paper we discuss a special example of the mapping of UML dynamic models with Petri nets to obtain a flexible and customizable means to reason on the dynamic aspects of object-oriented models, to analyze particular parts of these models. The discussion exploits rules to ascribe main UML elements with formal semantics in terms of functionally equivalent Petri nets.
|
PDF Full Text Request