%0 Journal Article
%T 基于IEC61499应用模型的形式化定义
%A 涂钰青
%A 李迪
%A 李方
%A 万加富
%J 计算机集成制造系统
%P 0-0
%D 2011
%X 为解决模型语义不明确导致系统执行行为和结果不确定等问题，利用数学集合论的描述语言，针对与平台无关由功能块网络组成的应用模型,提出了一种形式化定义的方法。在该方法中，定义了基本功能块和服务功能块的类型与实例，将应用模型形式化定义为一个由功能块类型、实例、应用模型的状态空间和外部输入/输出组成的集合，以此方便定制标准化语义，并为应用模型的形式化验证提供早期的形式化描述。以钻孔检测一体机为例，对工件加工的应用模型进行了形式化定义，为语义的形式化描述提供了数学基础。
%K IEC
%K 61499标准
%K 应用模型
%K 模型驱动架构
%K 形式化方法
%K 语法定义
%U http://www.cims-journal.cn/CN/abstract/abstract3158.shtml