摘要
为解决模型语义不明确导致系统执行行为和结果不确定等问题,利用数学集合论的描述语言,针对与平台无关由功能块网络组成的应用模型,提出了一种形式化定义的方法。在该方法中,定义了基本功能块和服务功能块的类型与实例,将应用模型形式化定义为一个由功能块类型、实例、应用模型的状态空间和外部输入/输出组成的集合,以此方便定制标准化语义,并为应用模型的形式化验证提供早期的形式化描述。以钻孔检测一体机为例,对工件加工的应用模型进行了形式化定义,为语义的形式化描述提供了数学基础。
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.
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2011年第9期1897-1904,共8页
Computer Integrated Manufacturing Systems
基金
国家自然科学基金资助项目(50875090
50905063)
国家863计划资助项目(2009AA4Z111)~~