Modeling of Object-Oriented Programs with Petri Net Structured Objects

Authors

  • Dmitriy Kharitonov Institute of Automation and Control Processes, Russian Academy of Sciences, Vladivostok
  • George Tarasov Institute of Automation and Control Processes, Russian Academy of Sciences, Vladivostok
  • Evgeniy Golenkov Institute of Automation and Control Processes, Russian Academy of Sciences, Vladivostok

Keywords:

Place/transition nets, multilabeled Petri nets, program model, object-oriented programming

Abstract

The article presents a method for constructing a model of an object-oriented 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 of 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.

Downloads

Download data is not yet available.

Downloads

Published

2017-12-19

How to Cite

Kharitonov, D., Tarasov, G., & Golenkov, E. (2017). Modeling of Object-Oriented Programs with Petri Net Structured Objects. COMPUTING AND INFORMATICS, 36(5), 1063–1087. Retrieved from http://www.cai.sk/ojs/index.php/cai/article/view/2017_5_1063