摘要
本文提出一种通用的规范技术用于详细描述进程、进程类、事件和消息。所述方法学基于已经扩展到高层次概念的Ｐｅｔｒｉ网，并注意到许多可供Ｐｅｔｒｉ网使用的形式化分析原理的适应性。这里将其用来扩充ＨＩＰＯ方法和ＮＳ方法，使他们具有规范进程和事件消息的能力。
In this peper we develop a general specification technique which allows to precisely describe processes, process-classes, events and messages. The proposed methodology is based on Petri Nets which have been extended with higher level concepts and has been taken care to provide the adoption of the many formal analysis Principles for Petri Nets. The development, design and specification technique is used to extend HIPO and NS with Process and event/ message specification facilities.
出处
《青岛大学学报（自然科学版）》
CAS
2000年第1期57-62,共6页
Journal of Qingdao University(Natural Science Edition)
