国家高技术研究发展计划(2002AA116090)

作品数：10被引量：50H指数：5
导出分析报告
相关作者：李宣东郑国梁赵建华王林章史耀馨更多>>
相关机构：南京大学更多>>
相关期刊：《计算机应用与软件》《计算机应用研究》《计算机工程与设计》《计算机科学》更多>>
相关主题：MDAPIM顺序图类图MODEL更多>>
相关领域：自动化与计算机技术医药卫生机械工程建筑科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向设计流图的代码支撑工具被引量：1
《计算机科学》2005年第11期203-206,共4页戴清涵 李宣东 赵建华 郑国梁 
国家自然科学基金(6027036;602339291);863计划(2002AA116090);江苏省自然科学基金(BK2002079)
在通信网络软件中,代码的可靠性格外重要,编码与测试在很大程度上决定着代码的可靠性。如果让机器自动生成代码,将会减少人工编码出错的概率,而且,也为代码的跟踪、测试提供了方便。为此,本文结合UML的相关理论,提出了设计流图的概念并...
关键词：设计流图 任务节点 转换边 面向设计 代码生成 支撑工具 流图 自动生成算法 集成开发环境 测试方法 
模型驱动的软件测试研究被引量：6
《计算机科学》2005年第10期230-235,共6页王林章 李宣东 郑国梁 
863项目(2002AA116090);自然科学基金项目(60207036.60233020);973项目(2002CB312001)
MDA(Model-DrivenArchitecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试...
关键词：MDA MDT PIM PSM PIT PST 模型驱动 测试研究 软件开发 生成平台 软件测试过程 过程集成 Web应用 相互转换 测试生成 
UML时间顺序图的可达性分析被引量：5
《计算机科学》2005年第6期169-175,共7页龚嘉宇 李宣东 郑国梁 
国家自然科学基金(6027036;602339291);863计划(2002AA116090);江苏省自然科学基金(BK2002079)
对于实时系统来说,UML顺序图描述了对象之间的交互。对象之间的交互展现了系统行为的场景。本文中,我们针对描述多场景的UML顺序图组合中的可达性问题进行研究。尽管这个问题可以转换为相应的时间自动机,然后进行处理,但其转化为之后,...
关键词：顺序图 UML 可达性分析 时间自动机 实时系统 系统行为 状态空间 解决方案 线性规划 行处理 片断 路径 节点 遍历 循环 不确定 交互 对象 场景 验证 算法 
一种基于J2EE平台的MDA模型转换技术被引量：7
《计算机应用研究》2005年第3期51-54,共4页谢正良 赵建华 李宣东 郑国梁 
国家"863"计划资助项目(2002AA116090)
为了解决不同中间件平台的应用集成和互操作,OMG提出了MDA的概念。MDA的一个重要思想就是将系统模型划分成与平台无关的模型 (PIM)和与平台有关的模型 (PSM),并建立这两种模型之间的映射关系。给出了一个属于PIM的DomainModel和一个属于...
关键词：MDA J2EE DOMAIN MODEL Application MODEL 模型转换 
一个MDA支撑工具的设计与实现被引量：3
《计算机工程与设计》2005年第1期37-40,43,共5页陈晓燕 赵建华 李宣东 郑国梁 
国家863计划基金项目(2002AA116090)。
MDA是OMG提出的用于解决中间件集成问题的软件开发方法。MDA开发方法以系统模型作为软件开发的主线。在这样的开发过程中,强有力的模型转换支撑工具是MDA思想能够得到广泛应用的关键。而从平台无关模型PIM到平台相关模型PSM的转换工具...
关键词：MDA EDOC J2EE 模型转换 软件开发方法 中间件集成问题 
基于MDA的PIM到J2EE平台PSM的转换方法被引量：7
《计算机应用与软件》2005年第1期1-2,102,共3页崔萌 史耀馨 李宣东 郑国梁 
863项目 (2 0 0 2AA1 1 60 90 ) ;自然科学基金项目 (60 2 0 70 36)。
MDA是解决基于不同中间件系统的集成问题。它将不同的系统都结构化成PIM和PSM并针对不同实现技术与平台制订多个映射规则 ,然后通过这些映射规则及辅助工具将PIM转换成PSM ,再将PSM不断求精直至形成最后代码。MDA中的模型转换有 4种 :PI...
关键词：PIM 映射规则 类图 J2EE平台 代码 模型转换 EJB PSM MDA 后代 
MDA的设想与实现被引量：8
《计算机工程与设计》2004年第11期1876-1879,1902,共5页来猛 赵建华 李宣东 郑国梁 
国家863计划基金项目(2002AA116090)国家自然科学基金项目(6027036)江苏省自然科学基金项目(BK2002079)。
模型驱动体系结构(MDA)提出了一种利用模型进行软件开发的方法,它将模型作为软件开发过程的关键。MDA的基本思想是将模型区分为平台独立模型(platform independent model)和平台相关模型(platform specific model),通过不同抽象层次模...
关键词：软件开发过程 model) 模型驱动体系结构 MDA 平台 层次模型 转换 设想 基本思想 问题 
从EDOC模型到J2EE程序:一个MDA工具的实现被引量：1
《计算机科学》2004年第9期106-109,共4页林嵩 赵建华 李宣东 郑国梁 
国家863科技项目(2002AA116090);国家自然基金(6027036);江苏省自然基金(BK2002079)
模型驱动体系结构MDA是OMG组织推出的一种新的软件开发方法。根据MDA的框架,设计者首先建立平台无关模型PIM,然后遵循一定的转换规则转化成平台相关模型PSM,最后转化成目标平台上的代码。为了体现MDA低成本、高效率的优点,模型之间、模...
关键词：代码 J2EE OMG 平台无关模型 PIM 软件开发方法 模型驱动体系结构 MDA PSM 辅助 
一个基于UML顺序图的场景测试用例生成方法被引量：4
《计算机科学》2004年第8期179-184,共6页沈剑乐 王林章 李宣东 郑国梁 
国家863高科技项目(2002AA116090);国家自然基金(6027036);江苏省自然基金(BK2002079)的资助
UML 顺序图是基于 UML 开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件集成测试过程中的一个重要的信息来源。本文提出了一个基于 UML 顺序图的场景测试方法,它以 UML 顺序图为主要测试模型,结合 UML 状态图和类...
关键词：UML顺序图 软件设计模型 测试用例生成 场景测试 面向对象 集成测试 
基于UML顺序图的测试方法被引量：9
《计算机科学》2004年第7期131-136,共6页江泽凡 王林章 李宣东 郑国梁 
国家863科技项目(2002AA116090);国家自然基金(6027036);江苏省自然基金(BK2002079)
本文描述一个在UML顺序图上生成测试用例的方法。我们使用带OCL约束的顺序图,即从类图和状态图中提取信息以OCL形式附加在顺序图的对象生命线的适当位置。首先检查顺序图的完备性和一致性。然后从顺序图中生成测试规格说明以及顺序图的...
关键词：UML顺序图 测试方法 OCL约束 类图 状态图 类别一划分方法 软件开发 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部