一种基于Petri网的软件需求分析的系统动态分析模型

摘要：

为了直观地分析软件系统的动作,从特定的视点出发描述系统的行为,需要采用动态分析的方法.本文用Petri网来建立软件系统的动态模型,并用可达树来描述状态的可达性.

关键词： 需求分析 Petri网 动态分析 软件系统 动态模型

作者: 张峰 辜建德 李茂青 施夏菁

作者单位: 厦门大学自动化系(厦门)

会议类型: 国内会议

会议名称: 全国计算机新科技与计算机继续教育学术会议

会议地点: 厦门

会议语种:中文

页码: 97-102

在线出版日期: 1999-09-01（万方平台首次上网日期，不代表论文的发表时间）