检索结果-内蒙古大学图书馆

计算机科学与探索 2016年第7期10卷 915-923页

作者：余恒贲可荣海军工程大学计算机工程系武汉430033

模型驱动架构中模型转换结果正确与否常常难以判断(即测试Oracle问题),而蜕变测试通过验证多个执行结果之间是否满足蜕变关系可以部分地解决测试Oracle问题。为有效地解决模型转换测试中的Oracle问题,以UML到Java模型转换程序为例,应用... 详细信息

模型驱动架构中模型转换结果正确与否常常难以判断(即测试Oracle问题),而蜕变测试通过验证多个执行结果之间是否满足蜕变关系可以部分地解决测试Oracle问题。为有效地解决模型转换测试中的Oracle问题,以UML到Java模型转换程序为例,应用蜕变测试,依据转换规则,从增加、删除、修改、替换4个方面设计并构造出一组蜕变关系。最后对待测程序植入在实际测试中常见的两种错误,设计并执行测试用例后验证蜕变关系,发现违反了蜕变关系,暴露出程序缺陷,从而说明了蜕变测试的有效性。

关键词：模型转换软件测试测试Oracle 蜕变测试蜕变关系

来源：评论

学校读者我要写书评

暂无评论

基于元建模的实时系统模型转换方法研究

引用

小型微型计算机系统 2010年第11期31卷 2145-2153页

作者：刘亚萍黄志球祝义南京航空航天大学信息科学与技术学院江苏南京210016 徐州师范大学江苏徐州221116

通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的,转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建... 详细信息

通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的,转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建模的实时系统模型转换方法.该方法有效的分离了语法转换与语义转换,框架标准的支撑使得转换易于重用.最后通过一个实例来说明该方法的可行性与有效性.

关键词：模型转换 MARTE(modeling and analysis of real time and embeded systems) 模型验证时间自动机

来源：评论

学校读者我要写书评

暂无评论

ME4ET:一个基于EDOCER模型的模型转换工具

引用

南京大学学报（自然科学版） 2005年第5期41卷 512-519页

作者：姜泉赵建华李宣东郑国梁软件新技术国家重点实验室

模型驱动体系结构(MDA)是一个以模型和元数据为中心的软件体系结构.在MDA体系中,抽象模型是软件开发的主要产品.与传统的软件开发过程相比,模型转换,特别是平台无关模型和平台相关模型之间的转换,在MDA体系中具有重要作用.模型转换需要... 详细信息

模型驱动体系结构(MDA)是一个以模型和元数据为中心的软件体系结构.在MDA体系中,抽象模型是软件开发的主要产品.与传统的软件开发过程相比,模型转换,特别是平台无关模型和平台相关模型之间的转换,在MDA体系中具有重要作用.模型转换需要自动化的模型转换工具的支持以减少软件开发的成本.介绍一个MDA模型转换工具———ME4ET.该工具支持EDOCER模型的建模,并支持将EDOCER模型自动转换为数据库平台和EJB平台上具体的实现,主要介绍ME4ET工具的模型转换规则和算法.

关键词： MDA 模型转换 EDOC

来源：评论

学校读者我要写书评

暂无评论

面向Spring框架的模型转换技术研究

引用

东北师大学报（自然科学版） 2010年第3期42卷 53-61页

作者：姚易周东岱钟绍春张琢东北师范大学软件学院吉林长春130117 教育部数字化学习支撑技术工程研究中心吉林长春130117 教育软件吉林省重点实验室吉林长春130117

提出一种面向Spring框架的MDA模型转换方法,通过建立适合Spring框架的UML Profile,完成基于UML Profile的领域应用系统的PIM模型到基于Spring框架的Web应用系统PSM模型的转换,并结合一个具体实例予以说明.

关键词： MDA 模型转换 Spring UML Profile

来源：评论

学校读者我要写书评

暂无评论

针对应用系统ER模型的MDA模型转换方法

引用

计算机科学 2006年第7期33卷 236-241页

作者：姜泉赵建华李宣东郑国梁软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

MDA是由OMG提出的一种以模型为主要开发产品的软件开发方法。开发人员首先建立与具体技术平台的实现细节无关的高抽象程度的平台无关模型(PlatformIndependent Model,PI M)。然后,开发人员可以通过模型转换,将高层次的模型逐渐转换成为... 详细信息

MDA是由OMG提出的一种以模型为主要开发产品的软件开发方法。开发人员首先建立与具体技术平台的实现细节无关的高抽象程度的平台无关模型(PlatformIndependent Model,PI M)。然后,开发人员可以通过模型转换,将高层次的模型逐渐转换成为包含了实现细节的平台相关模型(PlatformSpecific Model,PSM),直到最终的代码。模型转换的有效性决定了MDA开发方法的效率。模型转换的难点不在于模型的语法映射,而是保证转换过程中模型语义的一致。本文采用EDOC作为平台无关模型的描述方法。EDOC是OMG制定的、和具体应用平台无关的、适用于企业分布式系统建模的标准。本文针对EDOC中的实体关系模型建立了从这些模型到J2EE平台模型以及目标代码的模型转换规则。我们还在转换规则中引入了多个设计模式。软件开发人员可以根据对软件的非功能性需求,应用这些规则来选择不同的设计模式,将平台无关的ER模型转换成为J2EE平台上的模型。

关键词： MDA 模型转换 EDOC 设计模式

来源：评论

学校读者我要写书评

暂无评论

虚拟样机模型转换及演示技术研究

引用

计算机应用 2006年第9期26卷 2057-2058,2062页

作者：李峰徐诚郭凯王亚平南京理工大学机械工程学院江苏南京210094 解放军炮兵学院南京分院江苏南京211132

由于三维模型数据格式不一致,导致复杂产品的虚拟样机无法导入D IVISION MockUp软件演示系统。本文以某轴承虚拟样机为例,从模型转换,以及产品演示的角度进行了研究。根据CAD系统和D IVISION MockUp系统之间的图形交换机制,分析了数据... 详细信息

由于三维模型数据格式不一致,导致复杂产品的虚拟样机无法导入D IVISION MockUp软件演示系统。本文以某轴承虚拟样机为例,从模型转换,以及产品演示的角度进行了研究。根据CAD系统和D IVISION MockUp系统之间的图形交换机制,分析了数据储存的核心系统,成功解决了非标准格式三维实体模型的数据传递问题。通过对比虚拟样机模型,找到了一种在D IVISION演示时保证模型精度和演示速度的新方法,为在虚拟现实环境下应用虚拟样机产品做了有益的探索。

关键词：模型转换虚拟样机 DIVISION MockUp 虚拟现实

来源：评论

学校读者我要写书评

暂无评论

一种模型转换的编织框架

引用

软件学报 2006年第6期17卷 1423-1435页

作者：王学斌王怀民吴泉源史殿习国防科学技术大学计算机学院网络与信息安全研究所湖南长沙410073

模型转换是MDA(modeldrivenarchitecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代码重用的困难,并使学习和使用模型转换方法的成本增加.受到模型编织技术的... 详细信息

模型转换是MDA(modeldrivenarchitecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代码重用的困难,并使学习和使用模型转换方法的成本增加.受到模型编织技术的启发,提出了一种基于QVT(modelquery/view/transformation)规范的模型转换编织框架QMTW(QVT-basedmodeltransformationweavingframework)来解决以上缺点.展示了模型转换编织的概念、语义、元模型和语法,以及到目标语言的转换定义,并以一个具体实例说明了本框架的使用方法和优点.QMTW提高了模型转换的抽象层次,统一了多种模型转换语言,并支持OMG最新的模型转换规范,在一定程度上消除了模型转换技术的异构性,同时具有简单、规范、扩展性强3个优点.

关键词：模型编织模型转换 MDA(model driven architecture) QVT(model query/view/transformation) 软件体系结构

来源：评论

学校读者我要写书评

暂无评论

气体辅助注射成型模拟中的CAD/CAE模型转换方法

引用

中国塑料 2000年第7期14卷 91-96页

作者：辛勇何成宏柳和生杨国泰南昌大学机电工程学院南昌330029

给出了实现气体辅助注射成型CAE技术的理论方法和重要算法过程 ,研究了气辅注射成型过程中由气辅注塑件CAD模型向其CAE模型转换、保证几何模型的无缝传递和数据完备性的过程和方法。结果表明 ,这一技术可以为气体辅助注射成型模拟构造... 详细信息

给出了实现气体辅助注射成型CAE技术的理论方法和重要算法过程 ,研究了气辅注射成型过程中由气辅注塑件CAD模型向其CAE模型转换、保证几何模型的无缝传递和数据完备性的过程和方法。结果表明 ,这一技术可以为气体辅助注射成型模拟构造复杂的几何分析模型 ,得到高质量的单元网格和求解精度。

关键词：气体辅助注射成型 CAD/CAE 模型转换塑料

来源：评论

学校读者我要写书评

暂无评论

基于MDA的实时软件资源建模与模型转换的方法

引用

计算机科学 2011年第8期38卷 136-141页

作者：吉鸣黄志球祝义王珊珊沈国华南京航空航天大学信息科学与技术学院南京210016

模型驱动体系结构(MDA)是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型转换的方法。首先通过元建模抽象出包含资源信息的MARTE元模型以及价格时间自动机的元模型;然后利用模... 详细信息

模型驱动体系结构(MDA)是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型转换的方法。首先通过元建模抽象出包含资源信息的MARTE元模型以及价格时间自动机的元模型;然后利用模型转换语言ATL对MARTE元模型和价格时间自动机元模型构造转换规则,通过将对应的实例模型进行相互转换,实现在MDA下MARTE模型到价格时间自动机模型的转换;最后通过形式化工具UPPAAL对模型转换结果进行形式化验证。实例分析表明了该方法的可行性与有效性,它能够提高实时软件资源建模的可信性。

关键词：模型驱动体系结构元建模 MARTE 模型转换价格时间自动机

来源：评论

学校读者我要写书评

暂无评论

XPDL模型到WWF模型转换技术的研究

引用

计算机研究与发展 2009年第S2期46卷 540-546页

作者：苗林金涛王建民清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家实验室(筹)北京 100084

WWF(Windows workflow foundation)是一个可扩展框架,用于在Windows平台上开发工作流系统.WWF在.NET平台上构建工作流具有很强的优势,但是WWF对外不符合WfMC制定的XPDL标准的工作流模型,限制了WwF的广泛应用.为了解决上述问题,提出并开... 详细信息

WWF(Windows workflow foundation)是一个可扩展框架,用于在Windows平台上开发工作流系统.WWF在.NET平台上构建工作流具有很强的优势,但是WWF对外不符合WfMC制定的XPDL标准的工作流模型,限制了WwF的广泛应用.为了解决上述问题,提出并开展了XPDL模型到WWF模型的转换研究,通过研究XPDL模型到WWF模型之间的映射,实现了XPDL模型到WWF模型的转换,从而实现了WWF与其他工作流产品在公共格式XPDL基础上进行数据共享,有助于实现基于XPDL的工作流平台向.NET工作流平台的迁移.

关键词：工作流模型模型转换 WWF XPDL

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：