摘要
联邦概念模型(FCM)是整个联邦系统开发的依据。针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri网(CPN)的联邦概念模型形式化建模与验证方法,给出了用CPN建立与验证FCM的步骤,并以一制造系统为例,利用CPN Tools建立了系统的FCM,验证了所建模型的活性、家态和公平性。研究表明,CPN能够为FCM的形式化建模和验证提供有效的支持。
Federation Concept Model（FCM） is the basis for designing the federation.The research on the methods of formal description and validation is analyzed.A novel method of establishing and validating Federation Concept Model based on Colored Petri Nets（CPN）is proposed.Compared with the traditional method of constructing FCM,this method improves the reusability and credibility.The conceptual model of a manufacture system by means of CPN is constructed,and it＇s properties such as liveness,home state and fairness are verified.The results show that CPN can provide powerful support for formal modeling and validation of FCM.
出处
《计算机仿真》
CSCD
北大核心
2011年第6期113-116,共4页
Computer Simulation
基金
西北工业大学翱翔之星项目资助
关键词
联邦概念模型
形式化建模
形式化验证
Federation concept model（FCM）
Formal modeling
Formal validation
