基于Petri网统一模型的系统开发方法研究
为解决当前系统开发不同阶段采用的方法缺乏继承性与连贯性等问题，提出采用Petri网实现系统统一建模与开发的思想。在现有的子网研究基础上进一步讨论了子网与变迁相互替代前后接口保持一致和子网的基本属性保持等问题；提出了基于Petri网的功能和数据分析方法以及子系统自动划分的思想；对IDEFO和Petri网两种建模方法分析对比,提出IDEFO模型到Petri网模型的转换思路和方法。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。
Petri网 系统建模 统一模型 IDEFO模型
王志坚 魏定国 吴时霖
广东商学院信息学院 广东广州 510320 复旦大学计算机系 上海 200433
国内会议
大连
中文
175-178
2007-08-01（万方平台首次上网日期，不代表论文的发表时间）