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

Application on CPN for Formal Modeling and Validation of FCM

作　　者：郝莉莉[1] 杨惠珍[1] 谢攀[1] 

机构地区：[1]西北工业大学航海学院,陕西西安710072

出　　处：《计算机仿真》2011年第6期113-116,共4页Computer Simulation

基　　金：西北工业大学翱翔之星项目资助

摘　　要：联邦概念模型(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.

关 键 词：联邦概念模型 形式化建模 形式化验证 

分 类 号：N945.12[自然科学总论—系统科学]