-
题名一个支持模型驱动开发的元建模平台的研制
被引量:7
- 1
-
-
作者
麻志毅
刘辉
何啸
张乐
吉喆
戈牧
-
机构
北京大学信息科学技术学院软件所
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2008年第4期731-736,共6页
-
基金
国家自然科学基金(No.60773152)
国家863高技术研究发展计划(No.2007AA01Z127,No.2007AA010301)
+1 种基金
国家科技支撑计划(No.2006BAH02A02)
国家973重点基础研究发展规划(No.2005CB321805)
-
文摘
由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,以及针对所建立的建模语言和转换定义语言提供自动生成相应工具的设施.
-
关键词
元建模
模型驱动开发
平台
-
Keywords
meta-modeling
model driven development
platform
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于UML的分布式服务合约库系统建模
- 2
-
-
作者
麻志毅
邹艳珍
-
机构
北京大学信息科学技术学院软件所高可信软件技术教育部重点实验室
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2007年第8期1425-1431,共7页
-
基金
国家科技支撑计划(No.2006BAH02A02)
国家973重点基础研究发展规划(No.2005CB321805)
国家自然科学基金(No.60473064)
-
文摘
由于服务的分布与协作特性,有必要在服务合约库系统间进行协作.然而,目前的大多数服务合约库系统都遵循自己的服务合约标准和服务合约分类标准.针对这种状况,本文提出了一个用于对分布式服务合约库系统进行建模的元模型.首先,本文描述了一个大多数服务合约库系统所遵循的功能模型,然后基于此从服务合约库系统的结构和互连体系这两方面详细地阐述了这个元模型,并在UML2.0中进行了扩展,形成一个UML外廓.本文进一步地阐述了利用该外廓对青鸟分布式服务合约库系统所建立的模型.
-
关键词
分布式服务合约库系统
元模型
UML建模
-
Keywords
distributed service contract library system
meta-model
UML modeling
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-