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

• 作者: 张国生.
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 层次着色Petri网 需求模型 功能分解 耦合接口
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 81-83,88
• 分类号: TP311
• 字数: 3150字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2011.11.022

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张国生.	云南大学信息学院	1	2	1.0	1.0