46、面向对象Petri网模型的构建与应用

面向对象Petri网模型的构建与应用

1. 员工管理基础信息

在员工管理方面，新入职员工（试用期员工）会被系统地添加一些信息，包括职能、用于唯一标识的参考编号、所属部门名称以及招聘日期。经过9个月到2年的试用期，且在试用期内无警告记录的员工，将被正式任命为正式员工。此时，会添加更多信息，如职级（初始为1）和行政职责等。正式员工每1到3年可能晋升一级。

员工，无论是试用期还是正式员工，都可以请假。请假分为两种类型：
- 定期休假：所有员工都可享受，有固定的假期时长和日期（通常是7月初开始，为期45天）。
- 特殊休假：如病假，除了需要说明假期时长和日期外，还需说明请假事由。

若员工出现职业不当行为，可能会受到纪律处分，包括减薪、警告直至解雇。员工在必要时可以临时或永久离开学校，临时离开如科研人员到其他大学进行科研休假，行政人员和讲师进行进修休假；永久离开如辞职、退休等。

2. CO - Net模板和类规范

2.1 模板签名规范

模板签名定义了对象状态的结构以及这些状态必须接受的操作形式。在CO - Nets方法中，遵循为Maude提出的通用对象签名，将对象状态视为项（确切地说是元组），消息视为对象发送或接收的操作。为更贴合信息系统需求，提出的面向对象签名可描述如下：
- 对象状态结构 ：对象状态的形式为 ⟨Id|atr1 : val1, …, atrk : valk, at bs1 : val′1, …, at bsk′ : val′s⟩。其中，Id是从抽象数据类型OId取值的观察对象标识；atr1, .., atrk是局部的、外部不可见的属性标识