Download now Free registration required
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