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

Formal definitions based on IEC 61499 application model

为解决模型语义不明确导致系统执行行为和结果不确定等问题,利用数学集合论的描述语言,针对与平台无关由功能块网络组成的应用模型,提出了一种形式化定义的方法。在该方法中,定义了基本功能块和服务功能块的类型与实例,将应用模型形式化定义为一个由功能块类型、实例、应用模型的状态空间和外部输入/输出组成的集合,以此方便定制标准化语义,并为应用模型的形式化验证提供早期的形式化描述。以钻孔检测一体机为例,对工件加工的应用模型进行了形式化定义,为语义的形式化描述提供了数学基础。

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.