国家高技术研究发展计划(2001AA113203)

作品数：4被引量：18H指数：2
导出分析报告
相关作者：李宣东郑国梁史耀馨崔萌裴玉更多>>
相关机构：南京大学更多>>
相关期刊：《计算机工程与应用》《计算机研究与发展》《计算机科学》更多>>
相关主题：UML模型MDAUML自动软件工程状态图更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
LDPChecker——一个实时和混成系统模型检验工具
《计算机研究与发展》2005年第1期38-46,共9页裴玉 李宣东 郑国梁 
国家自然科学基金项目(60073031;60233020)国家"八六三"高技术研究发展计划基金项目(2001AA113203)国家"九七三"重点基础研究发展规划基金项目(2002CB312001)江苏省自然科学基金项目(BK2001033)
混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机,其对于线性时段性质的满足性能够通过...
关键词：实时和混成系统 混成自动机 线性时段性质 模型检验 
基于MDA的UML模型转换技术——从顺序图到状态图被引量：13
《计算机工程与应用》2004年第13期40-45,共6页史耀馨 崔萌 李宣东 郑国梁 
国家863高技术研究发展计划项目(编号:2001AA113203)资助
为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行...
关键词：MDA UML 顺序图 状态图 自动软件工程 
基于J2EE平台的MDA模型转换技术被引量：1
《计算机科学》2003年第10期1-6,共6页史耀馨 崔萌 李宣东 郑国梁 
国家自然科学基金(69703009);国家863高科技发展计划资助项目(2001AA113203)
1.引言 1.1 UML UML[1](Unified Modeling Language)是一种可视化的通用面向对象建模语言.它被用于描述和构建复杂的软件系统.面向对象建模语言产生于20世纪70年代中期,此后曾出现过数十种不同的建模语言.
关键词：UML语言 面向对象 建模语言 MDA模型 转换技术 J2EE平台 扩展机制 
UML模型到COOZ规约的形式化转换被引量：4
《计算机工程与应用》2003年第20期89-91,共3页黄春荣 李宣东 郑国梁 
国家自然科学基金资助(编号:60073031);国家863高技术研究发展计划资助(编号:2001AA113203);江苏省自然科学基金资助(编号:BK2001033)
为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规...
关键词：统一建模语言UML COOZ 面向对象的模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部