TY-JOUR公司AU-德米特里哈里托诺夫澳大利亚-乔治·塔拉索夫AU-戈伦科夫,叶夫根尼PY-2017/12/19第2年-2024/06/16具有Petri网结构对象的面向对象程序的TI建模JF-计算和信息JA-计算。通知。VL-36IS-5标准SE-文章做-UR-(欧元)https://www.cai.sk/ojs/index.php/cai/article/view/2017_5_1063SP-1063-1087号本文提出了一种用多标记Petri网构造面向对象程序模型的方法。只考虑封装,这是面向对象范式的三个概念之一。为了对封装的不同方面进行建模,提出了Petri网结构对象。它由定义其行为的Petri网和指定其结构属性的一组有组织的访问点组成。介绍了从方法、类、对象、函数和模块的模型构造程序模型的形式化组合操作,并提出了一种将源代码转换为Petri网表示的算法。本文的一个特殊部分详细考虑了一个真实的面向对象程序(OOP)的模型构建过程。给出了程序的源代码、用Petri网对象建模程序不同元素的图形以及程序的结果模型。急诊室-