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

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