A study of the software tools capabilities in translating UML models to PN models
Document Type
Article
Publication Date
1-1-2009
Abstract
Integrating Object Oriented (OO) modeling language and Petri Net (PN) modeling is important to gather complementary benefits of these two modeling languages. OO technology is used to describe the static aspects of systems because of its powerful structuring capabilities, whereas PN is used to model the behavioral aspects for concurrent and non deterministic applications. PN is an executable modeling language; the behavior of the model can be validated and verified automatically using formal specifications and mathematical foundation. In this research, a comparative study for the representation capabilities of the software tools in translating OO models to PN models will be provided and discussed.
Keywords
Object Orientation, Object Oriented Petri Net, Petri Net, Software Tool, UML.
Divisions
Software
Publication Title
International Journal of Intelligent Information Technology Application
Volume
2
Issue
5