一种基于Petri网的软件定义构造方法 |
| |
引用本文: | 何志均,应晶.一种基于Petri网的软件定义构造方法[J].软件学报,1996,7(A00):273-278. |
| |
作者姓名: | 何志均 应晶 |
| |
摘 要: | 本文描述一种支持MHSC方法论的软件需求定义构造的Petri网方法,基于提供的需求描述模型,可形成Petri网表达的软件定义结构,通过变换与求精方法,逐步生成实现层的功能模型,利用支持不同粒度功能模拟的仿真机制对定义进行证实与验证,论文提出一种新的定义框架,并为软件自动生成的研究从定义层的描述机制出发提供一种新思路。
|
关 键 词: | Petri网 软件定义 构造 软件工程 |
本文献已被 维普 等数据库收录! |
|