郑国梁

作品数：140被引量：540H指数：13
导出分析报告
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文主题：面向对象软件工程软件开发UML程序设计更多>>
发文领域：自动化与计算机技术机械工程医药卫生理学更多>>
发文期刊：《计算机学报》《计算机工程与设计》《南京大学学报（自然科学版）》《计算机工程与应用》更多>>
所获基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
UML行为图驱动的Java程序运行时验证工具被引量：2
《计算机科学》2007年第12期273-277,共5页邱晓康 陈铭松 王林章 李宣东 郑国梁 
UML是一种标准的可视化建模工具,广泛应用于软件系统的描述、可视化、构建和建立文档。本文介绍了一种UML行为图驱动的Java程序运行时验证工具。该工具以一个随机的测试用例集作为输入,运行经过插装的被测Java程序,得到一组用于验证的...
关键词：运行时验证 UML行为图 插装 随机测试 JAVA 
J2EE平台上的所见即所得的HTML电子表格工具的设计被引量：1
《计算机科学》2007年第12期291-293,共3页肖舒 赵建华 李宣东 郑国梁 
国家自然科学基金(批准号60203009;60233020);江苏省自然科学基金(批准号BK2003408);国家973项目(批准号2002CB312001)的资助
本文介绍了一个MDA软件开发工具的设计思想和实现工具。该工具可以根据MDA中的平台无关模型的信息,由用户通过所见即所得的方式来编辑HTML表格。用户编辑了HTML表格框架后,可以基于PIM中的ER模型来定义表格中各个单元格的值。用户在编...
关键词：MDA J2EE 模型转换 表示层 
支持共享的Ftp客户端的设计被引量：1
《计算机科学》2007年第11期124-126,153,共4页林耿仕 赵建华 郑国梁 
本文介绍了一种新型Ftp客户端的设计。它可以充分利用本地网络资源,实现共享与方便快速的文件下载。这个客户端主要适用于具有共同的兴趣并在同一个局域网内或者邻近网络内工作的使用者,比如某个研究方向上的研究小组。该客户端结合了P2...
关键词：P2P Ftpurl XML 客户缓冲区 多线程 
场景驱动的构件行为抽取被引量：16
《软件学报》2007年第1期50-61,共12页张岩 胡军 于笑丰 张天 李宣东 郑国梁 
国家自然科学基金;国家重点基础研究发展规划基金(973);江苏省自然科学基金~~
如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境...
关键词：接口自动机 消息序列图 极大包含环境 构件 行为抽取 
一种动态消减时间自动机可达性搜索空间的方法被引量：1
《计算机科学》2007年第1期213-218,共6页陈铭松 赵建华 李宣东 郑国梁 
国家自然科学基金(No60573085);国家重点基础研究973计划(No2002CB312001)的资助
时间自动机的可达性分析算法通常采用对符号状态的枚举来遍历其状态空间。符号状态由位置与时间区域组成,时间区域用形如x-y≤(<)n的原子公式的合取式来表示。在对时间自动机进行可达性分析的过程中,分析算法将生成大量的符号状态,往往...
关键词：时间自动机 模型检验 符号状态 时间区域 
针对应用系统ER模型的MDA模型转换方法被引量：4
《计算机科学》2006年第7期236-241,共6页姜泉 赵建华 李宣东 郑国梁 
国家自然科学基金(批准号60203009;60233020);江苏省自然科学基金(批准号BK2003408);国家973项目(批准号2002CB312001)资助项目
MDA是由OMG提出的一种以模型为主要开发产品的软件开发方法。开发人员首先建立与具体技术平台的实现细节无关的高抽象程度的平台无关模型(PlatformIndependent Model,PI M)。然后,开发人员可以通过模型转换,将高层次的模型逐渐转换成为...
关键词：MDA 模型转换 EDOC 设计模式 
时间自动机可达性分析中的状态空间约减技术综述被引量：3
《计算机科学》2006年第6期1-6,100,共7页陈铭松 赵建华 李宣东 郑国梁 
国家自然科学基金(No.60203009;No.60233020;No.60425204);江苏省自然科学基金(BK2003408);国家重点基础研究973计划(No.2002CB312001)的资助。
时间自动机是检验实时系统建模的有效工具,其可达性分析可以检验系统是否可能达到某些特定的状态,其算法通常采用对符号状态的枚举来遍历其状态空间。因为引入了时钟变量,时间自动机的可达性分析算法会产生大量的中间状态,需要巨大的存...
关键词：实时系统 时间自动机 状态空间爆炸 可达性分析 
面向Web Services的模型驱动开发方法被引量：1
《计算机科学》2006年第4期260-265,共6页于笑丰 胡军 李宣东 郑国梁 
国家自然科学基金(批准号60203009;60233020);江苏省自然科学基金(批准号 BK2003408);国家973项目(批准号2002CB312001)的资助
随着分布式对象技术的发展和电子商务应用的扩大,Web Services 技术应运而生。由于在解决异构软件的交互和企业系统集成问题上表现了极大潜力,因此学术界和工业界对 Web Services 都备加关注。MDA 是 OMG 提出的用于解决不同中间件系统...
关键词：WEB SERVICES 模型驱动开发 MDA 
基于场景规约的构件式系统设计分析与验证被引量：40
《计算机学报》2006年第4期513-525,共13页胡军 于笑丰 张岩 王林章 李宣东 郑国梁 
国家自然科学基金(60425204;60233020;60573085);国家"九七三"重点基础研究发展规划项目基金(2002CB312001);江苏省自然科学基金(BK2004080)资助
使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验...
关键词：构件式系统设计 接口自动机 模型检验 顺序图 统一建模语言(UML) 
从EDOC的业务过程建模到J2EE应用程序框架的MDA转换
《计算机科学》2006年第4期230-233,共4页吴光 赵建华 李宣东 郑国梁 
国家自然科学基金(批准号60203009.60233020);江苏省自然科学基金(批准号 BK2003408);国家973项目(批准号2002CB312001)资助
OMG(Object Management Group,对象管理组织)提出的模型驱动架构(MDA,Model Driven Architecture)是解决不同中间件平台之间的集成以及技术升级所引起的问题的软件开发方法。MDA 的基本思想是将系统的模型作为软件开发过程的核心制品,...
关键词：模型驱动架构 平台独立模型 平台相关模型 业务过程模型 会话BEAN 
全选清除导出
共14页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部