|
|||||
|
|
| 一种基于Petri网的软件定义构造方法* | |
| 作者姓名： | 何志均 应晶 吴朝晖 高济 |
| 作者单位： | 浙江大学人工智能研究所杭州310027;浙江大学人工智能研究所杭州310027;浙江大学人工智能研究所杭州310027;浙江大学人工智能研究所杭州310027 |
| 基金项目： | 本文研究得到国家863高科技项目基金资助. |
| 摘 要： | 本文描述一种支持MHSC方法论的软件需求定义构造的Petri网方法．基于提供的需求描述模型，可形成Petri网表达的软件定义结构，通过变换与求精方法，逐步生成实现层的功能模型．利用支持不同粒度功能模拟的仿真机制对定义进行证实与验证．论文提出一种新的定义框架，并为软件自动生成的研究从定义层的描述机制出发提供一种新思路． |
| 关 键 词： | Petri网，软件定义，高层构造． |
| 收稿时间： | 1996-01-08 |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |