基于事件和信息的应用系统的开发方法学 |
| |
作者姓名: | 姚栋 义 |
| |
摘 要: | 本文提出一种通用的规范技术用于详细描述进程、进程类、事件和消息。所述方法学基于已经扩展到高层次概念的Petri网。它允许直接去对进程及其协同操作进行规范,同时回避了使用Petri网规范简单机理时产生时的复杂性。所述技术中已注意到对许多可供Petri网使用的形式化分析原理的适应性,并把这些开发、设计如规范技术用来扩充Jackson法和SADT法,使具具有规范进程和事件消息的能力。
|
关 键 词: | Petri网 软件开发 事件 信息 多处理机系统 |
本文献已被 维普 等数据库收录! |
|