期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于Atlas语言的数据库模型转换方法的研究 被引量:1
1
作者 张博 李亚芬 王普 《计算机工程与设计》 CSCD 北大核心 2013年第2期507-514,共8页
为了减少需求变更对软件开发的影响,提高软件开发效率和系统的可维护性,针对面向对象的数据库建设环节,在MDA思想的基础上,提出了基于元模型的UML模型到数据库模型的自动转换,建立了平台无关模型和平台相关模型的元模型,分析了Atlas的... 为了减少需求变更对软件开发的影响,提高软件开发效率和系统的可维护性,针对面向对象的数据库建设环节,在MDA思想的基础上,提出了基于元模型的UML模型到数据库模型的自动转换,建立了平台无关模型和平台相关模型的元模型,分析了Atlas的转换语言及其特点。以Web信息管理系统为例,说明了在模型转换中自动化地生成目标模型,并在一定程度上验证了MDA在软件开发中的可行性。 展开更多
关键词 模型转换 模型驱动架构 UML模型 数据库模型 atlas转换语言
下载PDF
一种多目标平台分布式对象模型编译器设计方法
2
作者 邓磊 吴健 +1 位作者 张涛 张森 《西北工业大学学报》 EI CAS CSCD 北大核心 2014年第6期994-997,共4页
模型编译器通过词法和语法分析,解析出模型信息,并生成特定平台的模型框架代码,提高了模型框架代码生成的速度和质量。然而大多数模型编译器都是生成某一特定平台的框架代码,可扩展性和可维护性较差。文中提出了一种基于MDA的分布式对... 模型编译器通过词法和语法分析,解析出模型信息,并生成特定平台的模型框架代码,提高了模型框架代码生成的速度和质量。然而大多数模型编译器都是生成某一特定平台的框架代码,可扩展性和可维护性较差。文中提出了一种基于MDA的分布式对象模型编译器设计方法,该方法通过灵活的转换规则配置,可以生成多目标平台模型,进一步生成该平台框架代码,从而有效提高分布式对象模型编译器的扩展性和可维护性。 展开更多
关键词 程序编译器 模型驱动架构 atlas转换语言 模型转换 模板
下载PDF
一种B语言描述的需求模型到PIM的转换方法
3
作者 曾一 王艳丽 +2 位作者 洪媛 王健 刘引 《计算机工程与科学》 CSCD 北大核心 2010年第3期85-88,共4页
MDA为软件的自动化构造提供了一种良好的途径,但是MDA更多地关注PIM到PSM的转换,却忽视了需求阶段对PIM精确性的影响。本文针对这种问题,首先对MDA的基本过程进行改进,提出对需求进行必要的形式化描述的思路,使得需求模型到PIM的转换变... MDA为软件的自动化构造提供了一种良好的途径,但是MDA更多地关注PIM到PSM的转换,却忽视了需求阶段对PIM精确性的影响。本文针对这种问题,首先对MDA的基本过程进行改进,提出对需求进行必要的形式化描述的思路,使得需求模型到PIM的转换变得更为容易,从而达到增强PIM精确性的目的;其次,通过对三种形式化语言的对比研究,发现B语言在需求模型的表示及转换方面具有优势,并结合例子展示了如何使用B语言对软件需求进行形式化描述;最后,本文结合模型转换框图,给出了B方法和类图的ecore元模型的图形化描述,进一步给出了用B语言描述的需求模型到PIM的基本转换规则,并借助JavaCC、JJTree和ATL插件等工具实现了需求模型到PIM的转换。 展开更多
关键词 MDA 软件需求 B语言 atl 模型转换
下载PDF
基于元模型的HBase数据模型转换方法 被引量:1
4
作者 覃嗣凤 顾平 张超 《计算机与现代化》 2015年第8期32-37,共6页
模型驱动架构方法(MDA)可以减少需求变更对软件开发的影响,提高软件开发效率和系统的可移植性、可维护性。本文在MDA思想的基础上,建立平台无关模型和平台相关模型的元模型,在元模型层次上提出UML类图模型到HBase数据模型的转换思想。最... 模型驱动架构方法(MDA)可以减少需求变更对软件开发的影响,提高软件开发效率和系统的可移植性、可维护性。本文在MDA思想的基础上,建立平台无关模型和平台相关模型的元模型,在元模型层次上提出UML类图模型到HBase数据模型的转换思想。最后,在ATL模型转换框架中实现UML类图模型到HBase数据模型的转换,证明了自动生成数据库目标模型和MDA在软件开发中的可行性。 展开更多
关键词 MDA 元模型 UML类图 HBASE atl模型转换语言
下载PDF
Formal Verification of TASM Models by Translating into UPPAAL 被引量:1
5
作者 胡凯 张腾 +3 位作者 杨志斌 顾斌 蒋树 姜泮昌 《Journal of Donghua University(English Edition)》 EI CAS 2012年第1期51-54,共4页
Timed abstract state machine(TASM) is a formal specification language used to specify and simulate the behavior of real-time systems. Formal verification of TASM model can be fulfilled through model checking activitie... Timed abstract state machine(TASM) is a formal specification language used to specify and simulate the behavior of real-time systems. Formal verification of TASM model can be fulfilled through model checking activities by translating into UPPAAL. Firstly, the translational semantics from TASM to UPPAAL is presented through atlas transformation language(ATL). Secondly, the implementation of the proposed model transformation tool TASM2UPPAAL is provided. Finally, a case study is given to illustrate the automatic transformation from TASM model to UPPAAL model. 展开更多
关键词 timed abstract state machine(TASM) formal verification model transformation atlas transformation language(atl) UPPAAL
下载PDF
AADL2TASM: a Verification and Analysis Tool for AADL Models
6
作者 蒋树 胡凯 +3 位作者 杨志斌 顾斌 张腾 姜泮昌 《Journal of Donghua University(English Edition)》 EI CAS 2012年第1期94-98,共5页
Architecture analysis and design language (AADL) is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion an... Architecture analysis and design language (AADL) is an architecture description language standard for embedded real-time systems and it is widely used in safety-critical applications. For facilitating verifcafion and analysis, model transformation is one of the methods. A synchronous subset of AADL and a general methodology for translating the AADL subset into timed abstract state machine (TASM) were studied. Based on the arias transformation language ( ATL ) framework, the associated translating tool AADL2TASM was implemented by defining the meta-model of both AADL and TASM, and the ATL transformation rules. A case study with property verification of the AADL model was also presented for validating the tool. 展开更多
关键词 architecture analysis and design language AADL timed abstract state machine TASM model transformation atlas transformation languaee( atl
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部