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.

Keywords

MSC

68N30

Cite this article

@article{cai-3296,
  author  = {Dmitriy Kharitonov and George Tarasov and Evgeniy Golenkov},
  title   = {Modeling of Object-Oriented Programs with Petri Net Structured Objects},
  journal = {Computing and Informatics},
  volume  = {36},
  number  = {5},
  pages   = {1063--1087},
  year    = {2017},
  issn    = {1335-9150},
  doi     = {10.4149/cai_2017_5_1063}
}
Download .bib