关键词: IEC 61499标准, 应用模型, 模型驱动架构, 形式化方法, 语法定义

Abstract: 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.

Key words: IEC 61499 standard, application model, model driven architecture, formal methods, semantic definition, drilling machines