%0 Journal Article
%T 一种基于petri网的软件定义构造方法*
%A 何志均？
%A 应晶？
%A 吴朝晖？
%A 高济？
%J 软件学报
%P 273-278
%D 1996
%X 本文描述一种支持mhsc方法论的软件需求定义构造的petri网方法．基于提供的需求描述模型，可形成petri网表达的软件定义结构，通过变换与求精方法，逐步生成实现层的功能模型．利用支持不同粒度功能模拟的仿真机制对定义进行证实与验证．论文提出一种新的定义框架，并为软件自动生成的研究从定义层的描述机制出发提供一种新思路．
%K petri网
%K 软件定义
%K 高层构造．
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s139&flag=1