-
题名一个支持模型驱动开发的元建模平台的研制
被引量：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
[自动化与计算机技术—计算机软件与理论]
-
-
题名分级ad hoc网络中的一种应用层故障诊断算法
被引量：3
- 2
-
-
作者
李冬妮
王亚沙
李喆
王光兴
-
机构
东北大学网络与通信中心
北京大学信息科学技术学院软件所
-
出处
《通信学报》
EI
CSCD
北大核心
2004年第11期166-172,共7页
-
基金
国家高技术研究发展计划基金资助项目(2002AA784030)
-
文摘
针对应用层故障提出了一种故障诊断算法--"基于簇的比较诊断算法",该算法在分级adhoc网络中利用簇首对簇内节点的集中控制功能优化了诊断过程,实现了诊断期间网络拓扑变化时对移动节点的诊断。证明了算法的正确性,并分析了算法的性能。仿真结果表明,该算法突破了"基于比较的故障诊断"在诊断过程中网络拓扑不能发生变化的限制,大大减小了"基于比较的故障诊断算法"由于诊断消息的洪泛导致的大量的系统开销。
-
关键词
AD
HOC网络
故障诊断
基于簇的比较诊断算法
簇
-
Keywords
Ad hoc networks
fault diagnosis
cluster-based comparison diagnosis algorithm
cluster
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名基于UML的分布式服务合约库系统建模
- 3
-
-
作者
麻志毅
邹艳珍
-
机构
北京大学信息科学技术学院软件所高可信软件技术教育部重点实验室
-
出处
《电子学报》
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
[自动化与计算机技术—计算机软件与理论]
-
