计算机技术与发展2011，Vol.21Issue(11)：81-83,88,4.
基于层次着色Petri网的功能需求模型
Function Requirements Model Based on Hierarchical Colored Petri Net
摘要
Abstract
It presents a formal model which decomposes and composes requirements function of the problem based on the hierarchical colored Petri net and structural method, from top to down and down to top. The system functions are decomposed from top to down until leaf node of function hierarchical decompound tree can be utilized by three kinds of basic function structure, whereafter compose these basic function structures, and complete all the system functions. With the strict mathematical foundation and graphic expression, the model can convey both requirements function and the coupling interfaces of father-son requirements. Being conducive to comprehension and interaction between system analysts and users, the model not only contributes to reliability of design and development of system, but also reduces the ambiguity of requirements expression.关键词
层次着色Petri网/需求模型/功能分解/耦合接口Key words
hierarchical colored Petri net/requirements model/function decomposition/coupling interfaces分类
信息技术与安全科学引用本文复制引用
张国生...基于层次着色Petri网的功能需求模型[J].计算机技术与发展,2011,21(11):81-83,88,4.基金项目
国家自然科学基金项目(60463002) （60463002）
云南大学重点教改项目(WX070142) （WX070142）
