%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