47、面向对象Petri网模型与关系物化的时间视角

面向对象Petri网模型与关系物化的时间视角

1. 面向对象Petri网模型

在分布式信息系统的建模与验证中，提出了一种基于对象Petri网的概念模型——CO - Nets。它是在ECATNets框架下，将面向对象（OO）概念和构造进行了合理且完整的结合。这个代数Petri网模型的主要特点是能够区分启用条件和被销毁的令牌。

1.1 类的建模

在建模时，会系统地采用带有多态的动态绑定。例如，当向类的层次结构发送消息时，只有在关联转换触发后，才能知道相关对象属于层次结构中的哪个类。以正式员工为例，将其建模为已建模的试用员工类的子类。正式员工除了具备员工的基本属性（如可以休假等）外，还能获得职级提升，并承担一些行政职责。以下是正式员工类及其超类员工类的结构和相关CO - Net建模代码：

obj titular is
extending employee-with-recruitment .
sort titular, ADV, ADM, TIT, FRM .
op ⟨|Rg : , Adm : ⟩: Id.emp
nat
string →Local-titular
(* Local messages *)
op Tit : Id.emp →TIT.
op Adv : Id.emp →ADV .
op Frm : Id.emp →FRM.
endo.

1.2 类间交互

对于独立组件的交互，需要考虑两个方面。首先，每个组件的内部演化由图4中指定的组件内演化模式保证；其次，要确保封装属性，即每个对象状态的内部部分和本地消息要对外隐藏，只有明确声明为观察属性和外部消息的部分才能参与组件间通信。组件间交互的具体