UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis

Free registration required

Executive Summary

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 those using UML Collaboration diagrams. Then, the single system-level Petri net can be analyzed by formal Petri net analysis techniques.

  • Format: PDF
  • Size: 65.9 KB