模型驱动架构(Model Driven Architecture,MDA)是一种先进、系统、高效的软件开发方法。然而掌握MDA模型转换和实现完整代码生成,具有一定的难度。在研究元建模技术的基础上,对领域建模语言(Domain Specific Language,DSL)与元建模相结...模型驱动架构(Model Driven Architecture,MDA)是一种先进、系统、高效的软件开发方法。然而掌握MDA模型转换和实现完整代码生成,具有一定的难度。在研究元建模技术的基础上,对领域建模语言(Domain Specific Language,DSL)与元建模相结合的开发方法进行了探索,该方法基于MDA以模型为中心的思想,能快速通过模型转换实现完整代码的生成,易用性提高。结合Web应用系统这个领域,利用领域型元建模工具MetaEdit+,以学生健康信息收集系统的开发为例,验证了领域元建模开发方式在解决领域问题上的可行性。展开更多
Raising software abstraction and re-use levels are key success factors for producing quality software products. Model-driven architecture (MDA) is an OMG initiative following this trend by mapping a conceptual model o...Raising software abstraction and re-use levels are key success factors for producing quality software products. Model-driven architecture (MDA) is an OMG initiative following this trend by mapping a conceptual model of application specified in platform independent model (PIM), to one or more platform specific models (PSM) automatically. Because there is little previous work tackling the development problem from specification through to implementation, this paper proposes End to End Development engineering (E2EDE) method using MDA methodology. E2EDE is intended to fill the mapping gap between PIM and PSM in MDA. The notion of variability is utilized from software product line and used to model design decisions in PSM. PIM is equipped with Nonfunctional requirements which borrowed from Design pattern to inform design decisions;thereby guiding the mapping process. In addition we have developed a strategic PSM for messaging systems can be configured to produce different applications such as the helpdesk system which is used as a case study.展开更多
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.展开更多
Nowadays,autonomous driving has been attracted widespread attention from academia and industry.As we all know,deep learning is effective and essential for the development of AI components of Autonomous Vehicles(AVs).H...Nowadays,autonomous driving has been attracted widespread attention from academia and industry.As we all know,deep learning is effective and essential for the development of AI components of Autonomous Vehicles(AVs).However,it is challenging to adopt multi-source heterogenous data in deep learning.Therefore,we propose a novel data-driven approach for the delivery of high-quality Spatio-Temporal Trajectory Data(STTD)to AVs,which can be deployed to assist the development of AI components with deep learning.The novelty of our work is that the meta-model of STTD is constructed based on the domain knowledge of autonomous driving.Our approach,including collection,preprocessing,storage and modeling of STTD as well as the training of AI components,helps to process and utilize huge amount of STTD efficiently.To further demonstrate the usability of our approach,a case study of vehicle behavior prediction using Long Short-Term Memory(LSTM)networks is discussed.Experimental results show that our approach facilitates the training process of AI components with the STTD.展开更多
文摘模型驱动架构(Model Driven Architecture,MDA)是一种先进、系统、高效的软件开发方法。然而掌握MDA模型转换和实现完整代码生成,具有一定的难度。在研究元建模技术的基础上,对领域建模语言(Domain Specific Language,DSL)与元建模相结合的开发方法进行了探索,该方法基于MDA以模型为中心的思想,能快速通过模型转换实现完整代码的生成,易用性提高。结合Web应用系统这个领域,利用领域型元建模工具MetaEdit+,以学生健康信息收集系统的开发为例,验证了领域元建模开发方式在解决领域问题上的可行性。
文摘针对当前仿真组件模型(SCM,Simulation Component Model)开发存在的问题,首先采用特定领域建模(DSM,Domain-Specific Modeling)理论,通过分析仿真组件的基本结构和特征,确定仿真组件元模型整体的各部分模块及其相互关系,然后提出一种基于特定领域建模的仿真组件的建模方法和仿真组件模型开发流程。利用VMSDK(Visual Studio Visualization and Modeling SDK)工具,构建了描述仿真组件领域建模语言(SCMML,Simulation Component Model Modeling language)的元模型。最后,通过建模实例,表明该方法可显著提高仿真组件的开发效率。
文摘Raising software abstraction and re-use levels are key success factors for producing quality software products. Model-driven architecture (MDA) is an OMG initiative following this trend by mapping a conceptual model of application specified in platform independent model (PIM), to one or more platform specific models (PSM) automatically. Because there is little previous work tackling the development problem from specification through to implementation, this paper proposes End to End Development engineering (E2EDE) method using MDA methodology. E2EDE is intended to fill the mapping gap between PIM and PSM in MDA. The notion of variability is utilized from software product line and used to model design decisions in PSM. PIM is equipped with Nonfunctional requirements which borrowed from Design pattern to inform design decisions;thereby guiding the mapping process. In addition we have developed a strategic PSM for messaging systems can be configured to produce different applications such as the helpdesk system which is used as a case study.
基金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.
基金supports for this work,provided by the National Natural Science Foundation of China(Grant No.61972153)the National Key Research and Development Program(No.2018YFE0101000)+1 种基金the Key projects of the Ministry of Science and Technology(No.2020AAA0107800)are gratefully acknowledged.
文摘Nowadays,autonomous driving has been attracted widespread attention from academia and industry.As we all know,deep learning is effective and essential for the development of AI components of Autonomous Vehicles(AVs).However,it is challenging to adopt multi-source heterogenous data in deep learning.Therefore,we propose a novel data-driven approach for the delivery of high-quality Spatio-Temporal Trajectory Data(STTD)to AVs,which can be deployed to assist the development of AI components with deep learning.The novelty of our work is that the meta-model of STTD is constructed based on the domain knowledge of autonomous driving.Our approach,including collection,preprocessing,storage and modeling of STTD as well as the training of AI components,helps to process and utilize huge amount of STTD efficiently.To further demonstrate the usability of our approach,a case study of vehicle behavior prediction using Long Short-Term Memory(LSTM)networks is discussed.Experimental results show that our approach facilitates the training process of AI components with the STTD.
