题名 基于EMF和OCL的MDA软件工程方法研究
被引量：11
1
作者
常浩浩 覃征
机构
清华大学软件学院
出处
《计算机科学》
CSCD
北大核心
2007年第1期268-271,共4页
基金
国家863计划项目资助(2003AA412020)
文摘
随着基于模型的软件工程方法的兴起,模型逐渐地变为软件工程中的重要元素,介绍了OMG规范MOF、XMI和OCL及在Eclipse软件工程环境下的相关实现EMF,说明了统一建模语言UML的使用方式和存在的问题,介绍了如何用EMF和OCL来设计建模语言,比较了基于EMF的建模语言和基于EBNF的计算机语言之间的区别与联系,给出了结合模板和OCL的模型转换方法,通过把UML类模型转换到O/R映射框架说明了此方法的有效性,分析了MDA软件工程方法的重用机制。
关键词
元对象设施 对象约束语言 EMF 模型驱动体系结构 UML类模型 模型转换 O/R映射
Keywords
MOF, ocl , EMF, mda , UML, Model transformation, O/R Mapping
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 MDA模型转换的OCL扩展
被引量：4
2
作者
余金山 周武斌
机构
华侨大学计算机学院
出处
《小型微型计算机系统》
CSCD
北大核心
2012年第3期548-551,共4页
基金
福建省自然科学基金项目(A0810013)资助
文摘
模型驱动架构(MDA)是继CORBA,UML之后由OMG推出的重要的软件开发方法学.MDA的核心是模型转换,模型转换语言又是实施模型转换的关键.本文从MOF元模型的角度首先对OCL进行动态特性的扩展,使其具备表达动态行为语义的能力;然后通过扩展相关关键字,定义了一个完整的模型转换程序框架;并提出创建中间转换对象实现了模型转换的可追溯性以及源模型和目标模型转换的同步性.
关键词
模型驱动 模型转换 模型转换语言 对象约束语言
Keywords
mda model transformation model transformation language ocl
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于EMF和OCL的MDA的软件工程方法探究
3
作者
马鸣
机构
南阳理工学院
出处
《电子测试》
2013年第9期37-38,3,共3页
文摘
随着科学技术的发展,软件工程开始广泛运用于各行各业中,比如说在机械设备上运用软件工程来改进机械。软件工程自20世纪60年代产生以来就受到了广泛关注,软件工程方法是软件工程的核心,目前影响力较高的软件工程方法主要有:结构化方法、面向对象方法和形式化方法。伴随着基于模型的软件工程方法的兴起,MDA软件工程方法开始出现在人们的视野中。MDA软件工程方法是为了软件开发的重要方向。本文从EMF和OCL的角度来分析探讨建模语言,探讨结合模板和OCL的模型转换方法,促进模型到代码的转换方法的开发。
关键词
EMF 软件工程方法 ocl mda
Keywords
EMF Software engineering method ocl. mda
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 基于MDA的软件测试用例生成
被引量：2
4
作者
蒋忠炜 张云华 谢轩昂
机构
浙江理工大学信电学院
出处
《计算机工程与应用》
CSCD
北大核心
2007年第17期97-99,共3页
文摘
将MDA中模型驱动的软件代码自动化生成思想应用于模型驱动的软件测试用例自动化生成。从UML/OCL模型出发,采用缺陷测试理论、变异分析技术,结合约束处理规则,开发一个可以自动生成单元测试用例的框架,提高软件测试的自动化程度,从整体上提高软件的开发效率。
关键词
mda ocl 缺陷测试 测试用例生成
Keywords
mda ocl fault-based test test case generation
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于OCL的模型转换语言应用研究
被引量：2
5
作者
周武斌 余金山
机构
华侨大学计算机科学与技术学院
出处
《计算机与现代化》
2009年第9期105-108,共4页
文摘
模型转换语言是实施MDA的关键,在整个MDA体系中必须要有明确完备的转换语言。首先对模型转换语言的特性和现有的主要模型转换语言进行了简要的说明和分析,然后对对象约束语言(OCL)作为模型转换语言进行理论相关分析。在分析的基础上,提出了对对象约束语言进行扩展,最后提出了一个基于对象约束语言的模型转换框架。
关键词
模型驱动架构 对象约束语言 元对象设施 QVT MTF 模型转换语言
Keywords
mda ocl MOF QVT MTF model transformation language
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
题名 对象约束语言在MDA模型转换中的应用
被引量：1
6
作者
杜浩 蒋波
机构
大连海事大学
出处
《交通与计算机》
2006年第1期73-76,共4页
基金
大连市科学技术项目资助(批准号:2003A3GX032)
文摘
介绍了对象约束语言OCL(OB JECT CONSTRA IN T LANGUAGE)的概念、特性,分析了OCL元模型与UM L元模型间的关系,在此基础上对OCL在M DA(M ODE L DRIVEN ARCH ITECTURE)模型转换中的应用进行了研究,指出OCL存在的问题,并对OCL的研究方向提出了几点建议。
关键词
ocl mda 模型转换 元模型 转换规则
Keywords
ocl mda model transformation meta-model transformation rules
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 一种提高元建模语义完整性的方法
被引量：2
7
作者
刘俊莉
机构
华南师范大学南海校区计算机工程系
出处
《计算机技术与发展》
2009年第12期40-43,共4页
基金
2008年度广东省自然科学基金(8151063101000040)
文摘
元建模发生在模型驱动架构中的元元模型、元模型和模型层中,传统的元建模采用统一建模语言UML描述。但是实践证明,UML无法提供与对象有关的所有信息,缺少描述模型中关于对象的附加约束,而且无法描述不同模型之间的转换。针对传统元建模中的语义缺陷,特引入对象约束语言来提高元建模的精确性。文中阐述了如何结合UML和OCL应用于元模型,提高元建模语义完整性,加强元建模的可读性和可执行性,并且使用该方法能够检测出约束冲突。
关键词
元建模 模型驱动架构 统一建模语言 对象约束语言 语义完整性
Keywords
metamodeling mda UML ocl semantics integrity
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 PIM到关系PSM的转换方法研究
被引量：2
8
作者
何曼 刘湘伟 郝成民
机构
合肥电子工程学院软件工程中心
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第3期58-60,63,共4页
文摘
针对模型驱动体系结构中的模型转换问题,提出一种从PIM关系类图到SQL关系PSM的二步转换法,通过依赖、泛化、关联3类关系的初步转换,使其脱离关系线,得到仅与属性类型相关的PIM类图,并对不同类型的属性制定相应的转换规则,利用一个具体示例展示了转换过程及其结果。实验结果表明,与简单的关联关系转换相比,该方法更全面,能够完整实现模型转换。
关键词
模型驱动体系结构 模型转换 关系 对象约束语言
Keywords
Model DrivingArchitecture（mda ） model transformation relation Object Constraint Language（ocl ）
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 对象约束语言及其在精化PIM中的应用
9
作者
邱芬 杜浩
机构
徐州市财经高等职业技术学校 大连海事大学
出处
《电脑开发与应用》
2006年第2期24-26,共3页
基金
大连市科学技术局立项的"软件项目管理系统的设计与实现"(编号:2003A3GX032)
文摘
为了应用精确、完备的PIM自动进行模型转换、校验及编译,分析了OCL元模型与UML元模型间的关系,在此基础上对OCL在精确化平台无关模型(PIM)方面的应用进行了研究,指出OCL面临的挑战,并对OCL的研究方向提出了几点建议。对象约束语言OCL可以对模型中的元素进行约束和查询,可以在MOF的任意一层上定义模型语言,还可以通过各种方法定义模型的转换规则。
关键词
对象约束语言 mda 平台无关模型 ocl 约束元模型
Keywords
object constraint lanaguage, mda , PIM, ocl constraint, metamodel
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
