| 摘要: |
| 本文描述一种支持MHSC方法论的软件需求定义构造的Petri网方法．基于提供的需求描述模型，可形成Petri网表达的软件定义结构，通过变换与求精方法，逐步生成实现层的功能模型．利用支持不同粒度功能模拟的仿真机制对定义进行证实与验证．论文提出一种新的定义框架，并为软件自动生成的研究从定义层的描述机制出发提供一种新思路． |
| 关键词: Petri网，软件定义，高层构造． |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家863高科技项目基金资助. |
|
| A PETRI—NET BASED METHOD FOR SOFTWARE SPECIFICATION CONSTRUCTION |
|
He Zhijun,Ying Jing,Wu Zhaohui,Gao ji
|
| Abstract: |
| This paper addresses a Pet ri—net based approach to supporting specification construction and execution of software system．On the basis of requirement descriptive model，a kind of specification represented in Petri一net is formed，which can generate the functional model on the implementation level by applying transformation and refinement．The specification is validated and verified by different simulation mechanism．This paper has put forward a kind of specificeation framework and may provide a novel idea for soft-ware automatic generation from the specification Ievel． |
| Key words: Petri—net,software specification．high—level construction． |
