基于IEC61499应用模型的形式化定义  

Formal definitions based on IEC 61499 application model

作　　者：涂钰青[1,2] 李迪[1] 李方[1] 万加富[1] 

机构地区：[1]华南理工大学机械与汽车工程学院,广东广州510641 [2]广东工业大学应用数学学院,广东广州510006

出　　处：《计算机集成制造系统》2011年第9期1897-1904,共8页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(50875090;50905063);国家863计划资助项目(2009AA4Z111)~~

摘　　要：为解决模型语义不明确导致系统执行行为和结果不确定等问题,利用数学集合论的描述语言,针对与平台无关由功能块网络组成的应用模型,提出了一种形式化定义的方法。在该方法中,定义了基本功能块和服务功能块的类型与实例,将应用模型形式化定义为一个由功能块类型、实例、应用模型的状态空间和外部输入/输出组成的集合,以此方便定制标准化语义,并为应用模型的形式化验证提供早期的形式化描述。以钻孔检测一体机为例,对工件加工的应用模型进行了形式化定义,为语义的形式化描述提供了数学基础。To solve the semantic ambiguous problem of models which led to uncertain execution behaviors and results,aiming at platform-independent application models composed by function module network,a formalized definition method by using mathematical set theory was proposed.In this method,the expressions for type and instance of basic function modules and service interface function modules were defined respectively,and application models was formally defined as a set of function module type,function module instances,state space of application models and external input/output function,which facilitated to customize the standard semantics and offered early formal specification for application models of formal verification.By taking an example of drill machine with test device,the application model of drilling workpiece was formally described.It provided mathematical ground for formal specification of execution semantics of application.

关 键 词：IEC61499标准 应用模型 模型驱动架构 形式化方法 语法定义 钻孔机 

分 类 号：TP273.5[自动化与计算机技术—检测技术与自动化装置]