基于Petri网结构对象的面向对象程序建模

摘要

本文提出了一种用多标记Petri网构造面向对象程序模型的方法。只考虑封装，这是面向对象范式的三个概念之一。为了对封装的不同方面进行建模，提出了Petri网结构对象。它由定义其行为的Petri网和指定其结构属性的一组有组织的访问点组成。介绍了从方法、类、对象、函数和模块的模型构造程序模型的形式化组合操作，并提出了一种将源代码转换为Petri网表示的算法。本文的一个特殊部分详细考虑了一个真实的面向对象程序（OOP）的模型构建过程。给出了程序的源代码、用Petri网对象建模程序不同元素的图形以及程序的结果模型。