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

Authors：涂钰青; 李迪; 李方; 万加富

Source：计算机集成制造系统, 2011, (09): 1897-1904.

DOI：10.13196/j.cims.2011.09.35.tuyq.011

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

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

• Institution
  华南理工大学; 广东工业大学