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

电力系统自动化 2012年第22期36卷 68-72页

作者：董树锋何光宇刘凯诚张王俊王治华浙江大学电气工程学院浙江省杭州市310027 电力系统及发电设备控制和仿真国家重点实验室清华大学北京市100084 上海市电力公司上海市200122

基于eclipse建模框架,提出了一种简洁、灵活、通用的解决方案,帮助开发者高效地开发基于公共信息模型(CIM)的系统。该方案包含3个方面内容:其一,按照CIM所定义的包、类、对象以及对象之间的关联关系自动生成Java代码,使开发者具备快速... 详细信息

基于eclipse建模框架,提出了一种简洁、灵活、通用的解决方案,帮助开发者高效地开发基于公共信息模型(CIM)的系统。该方案包含3个方面内容:其一,按照CIM所定义的包、类、对象以及对象之间的关联关系自动生成Java代码,使开发者具备快速追踪最新CIM版本的能力;其二,能够以流的方式高速扫描CIM可扩展置标语言(XML)文件,扫描过程中形成CIM对象,扫描结束后建立对象间的关联关系,且能够屏蔽不同厂家、不同版本CIM XML文件之间的差异性,具有较好的兼容性;其三,能够验证对象间关联关系是否满足CIM标准规定的约束。最后,对多个实际系统的CIM数据进行了测试,实验结果验证了该方案的有效性。

关键词： eclipse建模框架公共信息模型文件解析

来源：评论

学校读者我要写书评

暂无评论

基于eclipse建模框架的SMP约束建模研究与实现

基于Eclipse建模框架的SMP约束建模研究与实现

引用

作者：李海兵国防科学技术大学

学位级别：硕士

SMP是欧航局(ESA)基于模型驱动架构(MDA)的思想提出的仿真模型规范,致力于实现仿真模型的可移植性和可重用性。模型设计对仿真应用开发起到关键作用,而实现模型约束能够增强模型的准确性和语义完整性。本文针对SMP元模型对静态语义的定... 详细信息

SMP是欧航局(ESA)基于模型驱动架构(MDA)的思想提出的仿真模型规范,致力于实现仿真模型的可移植性和可重用性。模型设计对仿真应用开发起到关键作用,而实现模型约束能够增强模型的准确性和语义完整性。本文针对SMP元模型对静态语义的定义并不完善,且基于SMP开发的模型需要实现模型约束的问题,提出基于eclipse建模框架(EMF)和对象约束语言(OCL)的SMP约束建模方法。包括SMP元模型和模型约束的定义,支持元模型约束验证的RCP应用开发,支持模型约束定义的方法与工具,基于Free Marker的模型约束代码生成等。主要体现在以下几个方面:(1)分析了SMP元模型待实现的静态语义约束,运用OCL实现SMP元模型静态语义的形式化定义。(2)基于eclipse平台,运用EMF等插件实现EMF Ecore元模型的创建,并运用Complete OCL实现SMP元模型的约束建模,同时开发了工具OCLModeling用于OCL约束的扩展。(3)基于EMF代码生成机制开发RCP应用用于SMP模型开发,并实现其元模型静态语义约束的验证。同时,通过增加Constraint元素扩展了SMP元模型,实现基于SMP标准的SMP模型约束的定义。(4)基于RCP应用进行了一个攻防仿真系统模型及相关的模型约束的设计,并基于Free Marker模板引擎和模板文件实现模型及模型约束代码的生成。

关键词：仿真建模平台 SMP元模型对象约束语言 SMP约束建模模型验证 eclipse建模框架

来源：评论

学校读者我要写书评

暂无评论

MDA方法在网格计算平台Gbuilder开发中的研究与实现

引用

南京邮电大学学报（自然科学版） 2006年第1期26卷 70-75页

作者：季一木王汝传南京邮电大学计算机学院江苏南京210003

利用网格基础中间件GT3(G lobus Toolk it 3.x)进行网格服务设计时代码工作量大,且调试过程不清晰,而在所有的网格服务或同一类型的服务中都有着一些共同的实现模块和操作步骤,对这些部分用模型和模板来实现将减少重复的工作量。所以文... 详细信息

利用网格基础中间件GT3(G lobus Toolk it 3.x)进行网格服务设计时代码工作量大,且调试过程不清晰,而在所有的网格服务或同一类型的服务中都有着一些共同的实现模块和操作步骤,对这些部分用模型和模板来实现将减少重复的工作量。所以文中在开放源码的开发工具Ec lipse平台上实现了基于GT3开发网格服务的流程,该实现的最大目标就是代码自动化生成,达到终极编程的目的。采用的思想是MDA,并给出了GBu ilder平台下用MDA方法实现网格服务工作流的设计框架。

关键词：网格计算模型驱动开发终极编程代码自动生成 eclipse建模框架图形编辑框架

来源：评论

学校读者我要写书评

暂无评论

基于模型驱动架构的数据库重构

引用

计算机工程 2009年第24期35卷 51-53页

作者：王函哲沈备军上海交通大学软件学院上海200240

针对交叉使用数据库重构方法较为困难的问题,提出一种基于模型驱动架构(MDA)的通用数据库重构框架,其中包括数据库重构中的元模型定义和模型转换定义,并采用EMF和Operational QVT构建工具,该框架利用MDA的模型转换能力实现了数据库重构... 详细信息

针对交叉使用数据库重构方法较为困难的问题,提出一种基于模型驱动架构(MDA)的通用数据库重构框架,其中包括数据库重构中的元模型定义和模型转换定义,并采用EMF和Operational QVT构建工具,该框架利用MDA的模型转换能力实现了数据库重构的自动化。

关键词：数据库重构模型驱动架构 eclipse建模框架 Operational QVT技术

来源：评论

学校读者我要写书评

暂无评论

由MDA/PIM到Java代码的转换及验证

引用

计算机工程与设计 2017年第6期38卷 1510-1515,1574页

作者：李凯宁武淑红王耀力太原理工大学计算机科学与技术学院山西太原030024 太原理工大学信息工程学院山西太原030024

在基于模型驱动架构(MDA)的软件开发设计过程中,为简化平台无关模型(PIM)到平台相关模型(PSM)以及PSM到可执行代码的多步转换问题,减少转换所花费的时间和精力,提出基于MDA规则及MOF建模体系的PIM到代码的间接转换方法。采用EMF建模框... 详细信息

在基于模型驱动架构(MDA)的软件开发设计过程中,为简化平台无关模型(PIM)到平台相关模型(PSM)以及PSM到可执行代码的多步转换问题,减少转换所花费的时间和精力,提出基于MDA规则及MOF建模体系的PIM到代码的间接转换方法。采用EMF建模框架建立业务流程建模符号(BPMN)与Java语言之间的联系,直接对其中间模型XML(PSM)完成面向对象建模,将模型检测算法加入模型转换规则,实现对如死锁、活锁等结构问题的检测。通过BPMN的典型实例验证了间接转换方法和模型检测算法的可行性和有效性。

关键词：模型驱动架构 MOF建模体系业务流程建模标注 eclipse建模框架平台无关模型可扩展标记语言

来源：评论

学校读者我要写书评

暂无评论

基于ADL的抽象级嵌入式系统设计方法研究

引用

计算机工程与设计 2010年第14期31卷 3229-3232页

作者：高晓清武汉科技学院计算机科学学院湖北武汉430073

为提高嵌入式系统设计的效率,对一种抽象级嵌入式系统设计方法进行了初步探讨。采用该方法使用基于XML(ex-tensible markup language)的ADL(architecture description language)语言对嵌入式系统进行抽象级的模型描述,并编写与系统对应... 详细信息

为提高嵌入式系统设计的效率,对一种抽象级嵌入式系统设计方法进行了初步探讨。采用该方法使用基于XML(ex-tensible markup language)的ADL(architecture description language)语言对嵌入式系统进行抽象级的模型描述,并编写与系统对应的模板文件,再利用EMF(eclipse modeling framework)提供的JET(Java emitter templates)技术自动生成该系统的硬件描述语言源代码。最后将代码经过综合和适配后下载到FPGA(field programmable gate array)芯片,实现了嵌入式系统。该方法设计效率高,具有灵活和实用的特点。为说明该方法的可行性和特点,描述了利用该方法设计一个八位CISC模型CPU的完整过程,该设计通过仿真和实验得到了验证。

关键词：嵌入式系统体系结构描述语言复杂指令集计算机 eclipse建模框架 Java代码生成模板现场可编程门阵列

来源：评论

学校读者我要写书评

暂无评论

基于J2EE平台的元数据库实现

引用

计算机工程与设计 2006年第12期27卷 2263-2265页

作者：吴英炳冯志勇张道平天津大学电信学院天津300072 天津博和利公司天津300384

分析了采用元数据库统一管理元数据的方法,总结了构建J2EE平台的元数据库4点要求。并且采用MOF和XMI标准,结合开源项目EMF,实现了基于J2EE的平台的元数据库,该元数据库可以对外提供查询、分布和更新元数据等服务,最后结合Hibernate实现... 详细信息

分析了采用元数据库统一管理元数据的方法,总结了构建J2EE平台的元数据库4点要求。并且采用MOF和XMI标准,结合开源项目EMF,实现了基于J2EE的平台的元数据库,该元数据库可以对外提供查询、分布和更新元数据等服务,最后结合Hibernate实现从Model到关系数据库的映射来阐述元数据库的作用。

关键词：元数据库元数据对象设施基于XML的元数据交换格式 eclipse建模框架 O/R映射

来源：评论

学校读者我要写书评

暂无评论

片上系统虚拟原型仿真迹的实时分析与验证

片上系统虚拟原型仿真迹的实时分析与验证

引用

作者：岳岱安华东师范大学

学位级别：硕士

随着信息物理融合系统的萌芽与发展,片上系统正发挥着越来越重要的作用。在片上系统相关的软、硬件开发过程中,开发者通常使用虚拟原型技术,在片上系统的模拟器平台上运行和测试自己的软件系统或硬件模块,以确保系统的设计满足一定的约... 详细信息

随着信息物理融合系统的萌芽与发展,片上系统正发挥着越来越重要的作用。在片上系统相关的软、硬件开发过程中,开发者通常使用虚拟原型技术,在片上系统的模拟器平台上运行和测试自己的软件系统或硬件模块,以确保系统的设计满足一定的约束。模拟器在其运行过程中会产生大量的仿真迹,记录了模拟器执行过程中的状态变化,通常以日志文件的形式记录下来。当用户需要分析系统的运行状态时,一般需要人工查看模拟器生成的日志文件,分析与用户系统相关的仿真迹。但这些日志文件通常数量巨大,内容繁杂,人工分析难度极大,即使借助诸如正则表达式的字符串匹配工具,效果也不够理想。基于此背景,本文设计并实现了一套自动化的仿真迹实时分析工具链——TRAP。TRAP使用模型化的框架,对虚拟原型模拟器产生的仿真迹进行实时验证与分析。它的主要目标是使片上系统相关开发人员能够轻易地表达系统属性,并验证模拟器产生的仿真迹是否满足用户定义的约束。TRAP以时钟约束描述语言(CCSL)为理论基础,用户首先对模拟器的仿真迹进行结构化,再将信息结构映射为逻辑时钟,接着使用逻辑时钟定义系统约束,然后用TRAP生成的C++代码编译并运行验证器,最后通过验证器对系统属性进行实时验证。TRAP使用eclipse建模框架设计了若干领域特定语言,用户可通过这些语言使用工具链中的各个环节,无需了解TRAP的实现原理或理论背景。TRAP良好的设计使得工具链的各个环节之间耦合度极低,允许多个片上系统工程师协同工作。此外,TRAP不局限于具体的模拟器平台,对仿真迹分析与验证的通用性解决方案进行了探索。实验结果表明,本文设计并实现的TRAP工具链可以在极短时间内自动完成对仿真迹的验证,从而帮助用户对系统设计进行分析,找到系统设计中的错误。

关键词：信息物理融合系统模拟仿真迹分析实时验证 eclipse建模框架系统约束表达

来源：评论

学校读者我要写书评

暂无评论

面向嵌入式领域的构件组装平台的设计与实现

面向嵌入式领域的构件组装平台的设计与实现

引用

作者：李超西安电子科技大学

学位级别：硕士

本文通过分析嵌入式软件开发领域的特点,实现了一种针对嵌入式领域的构件建模组装可视化平台。本文首先分析了传统的嵌入式软件开发的方法学的特点,从实际嵌入式软件开发人员角度分析其不足之处。其次,以软件复用的思想为驱使,提出一种... 详细信息

本文通过分析嵌入式软件开发领域的特点,实现了一种针对嵌入式领域的构件建模组装可视化平台。本文首先分析了传统的嵌入式软件开发的方法学的特点,从实际嵌入式软件开发人员角度分析其不足之处。其次,以软件复用的思想为驱使,提出一种构件复用技术,它是一种基于构件组装的软件开发方法；并详细说明了该方法中的几个核心模型,提出了一种基于UML语义的源码构件,并阐明了此模型对应的嵌入式源码构件的提取生成、组装方法；最后,详细介绍了该方法的基于EMF+GEF框架的可视化嵌入式源码构件组装平台的设计与实现,以推动软件开发CASE工具的发展,以及嵌入式软件开发的方法学研究。

关键词：嵌入式系统组装平台 eclipse建模框架图形编辑框架

来源：评论

学校读者我要写书评

暂无评论

网格计算平台GBuilder的设计研究

引用

南京邮电学院学报（自然科学版） 2005年第4期25卷 85-89,94页

作者：季一木王汝传南京邮电大学计算机科学与技术系江苏南京210003

针对GT3对网格开发存在的不足,提出了基于开放源码的开发工具Ec lipse平台,通过相应的面向对象方法学知识,以插件形式来封装对OGSA标准的事务调度,构建网格计算平台GBu ilder,使用户开发网格服务实现可视化操作。主要工作包括基于GT3开... 详细信息

针对GT3对网格开发存在的不足,提出了基于开放源码的开发工具Ec lipse平台,通过相应的面向对象方法学知识,以插件形式来封装对OGSA标准的事务调度,构建网格计算平台GBu ilder,使用户开发网格服务实现可视化操作。主要工作包括基于GT3开发网格服务流程的设计、网格计算平台GBu ilder的体系结构设计和功能描述、以及设计该平台的支撑软件Ec lipse和EMF插件的介绍。

关键词：网格计算开放网格服务体系 Globus工具箱 eclipse建模框架

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：