CPN在FCM形式化建模与验证中的应用

• 作者: 杨惠珍 谢攀 郝莉莉
• 来源期刊: 计算机仿真
• 学科: 地球科学
• 关键词: 联邦概念模型 形式化建模 形式化验证
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 建模与验模
• 页码范围: 113-116
• 分类号: N945.12
• 字数: 3640字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-9348.2011.06.028

摘要

联邦概念模型(FCM)是整个联邦系统开发的依据.针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Pe‘网(CPN)的联邦概念模型形式化建模与验证方法,给出了用CPN建立与验证FCM的步骤,并以-制造系统为例,利用CPN Tools建立了系统的FCM,验证了所建模型的活性、家态和公平性.研究表明,CPN能够为FCM的形式化建模和验证提供有效的支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨惠珍	西北工业大学航海学院	43	434	11.0	19.0
2	郝莉莉	西北工业大学航海学院	12	40	4.0	5.0
3	谢攀	西北工业大学航海学院	12	76	4.0	8.0