基于层次着色Petri网的功能需求模型-《计算机技术与发展》

文章信息/Info

Keywords:: hierarchical colored Pctri net; requirements model; function decomposition; coupling interfaces

摘要:: 文中提出用层次着色Petri网和白顶向下、自底向上的结构化方法，对问题需求功能进行分解、组合的形式化模型。将整个系统按照需要实现的功能自顶向下层层分解，直到功能层次分解树中树叶节点的功能可以通过三种基本功能结构实现为止，然后将这些基本功能结构自底向上层层组合，最终完成整个系统需求功能。该模型既有严格的数学基础，又有直观的图形表示，既表示了每一个需求的功能，又表示了父子需求的耦合接口，有利于系统分析人员和用户的理解、交流，为系统的可靠设计、开发提供了精确的形式化模型，减少需求表达的二义性

Abstract:: It presents a formal model which decomposes and composes requirements function of the problem based on the hierarchical colored Pctri net and strucmral 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, whereaftter 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 refiability of design and development of system, but also reduces the ambiguity of requirements expression