基于事件和信息的应用系统的开发方法学

本文提出一种通用的规范技术用于详细描述进程、进程类、事件和消息。所述方法学基于已经扩展到高层次概念的Ｐｅｔｒｉ网。它允许直接去对进程及其协同操作进行规范，同时回避了使用Ｐｅｔｒｉ网规范简单机理时产生时的复杂性。所述技术中已注意到对许多可供Ｐｅｔｒｉ网使用的形式化分析原理的适应性，并把这些开发、设计如规范技术用来扩充Ｊａｃｋｓｏｎ法和ＳＡＤＴ法，使具具有规范进程和事件消息的能力。