复杂网络软件的着色Petri网层次建模及模型集成确认方法

• 作者: 刘靖 叶新铭 周建涛
• 来源期刊: 高技术通讯
• 关键词: 着色Petri网(CP-net) 网络软件 模型确认 并发控制 模型检验
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 1139-1147
• 页数: 9页
• 字数: 9802字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2013.11.006

摘要

为准确描述复杂网络软件多交互、高并发等行为特征,以提高复杂网络软件设计质量和效率,提出了一种基于着色Petri网(CP-net)的复杂网络软件层次化建模及模型集成确认方法.给出了复杂数据抽象、并发行为控制、同类实体建模等层次建模关键技术,以及功能单元覆盖划分、模型等价抽象等模型集成确认关键技术的解决方案,并以典型网络软件系统为例分析了上述方法的可用性和有效性.从目前鲜有对特定形式模型论述模型正确性确认方法的现状看,这种融合多种CP-net模型分析技术的模型集成确认方法能够有效确保层次模型正确描述网络软件多交互、高并发的复杂功能行为,为软件验证、一致性测试等重要软件分析过程的高效实施提供描述准确且规模可控的基础形式模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶新铭	内蒙古大学计算机学院	100	798	11.0	25.0
2	周建涛	内蒙古大学计算机学院	26	442	8.0	20.0
3	刘靖	内蒙古大学计算机学院	20	42	3.0	4.0