分析了传统以代码为中心的嵌入式数控系统(computer numeric control,CNC)开发的缺点之后,提出了融合模型驱动和特定领域建模的优点的基于模型驱动的嵌入式系统开发(embedded CNC development based on model driven,ENDED)方法,该方法...分析了传统以代码为中心的嵌入式数控系统(computer numeric control,CNC)开发的缺点之后,提出了融合模型驱动和特定领域建模的优点的基于模型驱动的嵌入式系统开发(embedded CNC development based on model driven,ENDED)方法,该方法以模型为中心,主要包括领域建模语言构建、模型转换和代码自动生成三个部分。随后介绍了基于多视角的元模型建模方法,用该方法构建的领域建模语言能对CNC系统以全面和真实的描述。最后详细介绍了基于领域类库的代码自动生成器技术,并以一个实例演示了ENDED方法的正确性和可行性。展开更多
With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more gener...With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language（UML） 2.2,a kind of DSML is presented to model simulation testing systems of avionic software（STSAS）.To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system（FCS） as system under test（SUT）,we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.展开更多
Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In re...Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In response,the paper proposes a formal representation of the structural semantics of DSMML named extensible markup language(XML) based metamodeling language(XMML) and its metamodels consistency verification method.Firstly,we describe our approach of formalization,based on this,the method of consistency verification of XMML and its metamodels based on first-order logical inference is presented;then,the formalization automatic mapping engine for metamodels is designed to show the feasibility of our formal method.展开更多
基金Supported by the research fund of Zhongkai University of Agriculture and Engineering(G3081804)
文摘分析了传统以代码为中心的嵌入式数控系统(computer numeric control,CNC)开发的缺点之后,提出了融合模型驱动和特定领域建模的优点的基于模型驱动的嵌入式系统开发(embedded CNC development based on model driven,ENDED)方法,该方法以模型为中心,主要包括领域建模语言构建、模型转换和代码自动生成三个部分。随后介绍了基于多视角的元模型建模方法,用该方法构建的领域建模语言能对CNC系统以全面和真实的描述。最后详细介绍了基于领域类库的代码自动生成器技术,并以一个实例演示了ENDED方法的正确性和可行性。
基金Aeronautical Science Foundation of China (20095551025)
文摘With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language（UML） 2.2,a kind of DSML is presented to model simulation testing systems of avionic software（STSAS）.To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system（FCS） as system under test（SUT）,we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.
基金the Yunnan Provincial Department of Education Research Fund Key Project(No.2011z025)General Project(No.2011y214)
文摘Domain-specific metamodeling language(DSMML) defined by informal method cannot strictly represent its structural semantics,so its properties such as consistency cannot be holistically and systematically verified.In response,the paper proposes a formal representation of the structural semantics of DSMML named extensible markup language(XML) based metamodeling language(XMML) and its metamodels consistency verification method.Firstly,we describe our approach of formalization,based on this,the method of consistency verification of XMML and its metamodels based on first-order logical inference is presented;then,the formalization automatic mapping engine for metamodels is designed to show the feasibility of our formal method.
