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