Modeling of Object-Oriented Programs with Petri Net Structured Objects

Dmitriy Kharitonov, George Tarasov, Evgeniy Golenkov
2017 Computing and informatics  
The article presents a method for constructing a model of an objectoriented program in terms of multilabeled Petri nets. Only encapsulation -one of the three concepts of object-oriented paradigm -is considered. To model a different aspects of encapsulation a Petri net structured object is proposed. It consists of a Petri net defining its behavior and a set of organized access points specifying its structural properties. Formal composition operations to construct a program model from the models
more » ... f its methods, classes, objects, functions, and modules are introduced and a source code translation algorithm to Petri net representation is proposed. A special section of the article considers in detail a process of model construction of a real object-oriented program (OOP). Source code of the program, figures with Petri net objects modeling different elements of the program and the resulting model of the program are presented.
doi:10.4149/cai_2017_5_1063 fatcat:hrxkebuwpfft7o6xcr3pdmqyk4