UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis
John Anil Saldhana · 2000
. UML, being the industry standard as a common OO modeling language needs a well-defined semantic base for its notation. Formalization of the graphical notation enables automated processing and analysis tasks. Object Petri nets (OPN) can provide a formal semantic framework for the UML notations plus the behavioral modeling/ analysis strength needed by system designers. This paper describes a methodology to develop a Petri net model of a system, by deriving a form of OPN called as Object Petri Net Models (OPMs) from UML Statechart diagrams and connecting them using UML Collaboration diagrams. Then, the single system-level Petri net can be analyzed by formal Petri net analysis techniques. 1. Introduction The Unified Modeling Language (UML) specifies a modeling language that incorporates the object-oriented community's consensus on core modeling concepts. The behavioral specifications in UML are based on State Charts [Harel 87]. Statechart diagrams [UML99] in UML specify the sequences o...