基于层次着色Petri网的功能需求模型

摘要：

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

关键词：层次着色Petri网、需求模型、功能分解、耦合接口

所属期刊栏目：21

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目60463002;云南大学重点教改项目WX070142

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：81-83,88