江苏省自然科学基金(BK2003408)
- 作品数：10 被引量：28H指数：3
- 相关作者：李宣东郑国梁赵建华胡军于笑丰更多>>
- 相关机构：南京大学计算机软件新技术国家重点实验室更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术机械工程电子电信更多>>
- J2EE平台上的HTML电子表格工具的设计
- 2005年
- 随着Internet的发展,Web应用也得到了快速发展和广泛普及。同时这也给Web应用开发提出了新的要求。与传统应用程序开发相比,Web应用开发具有如下特点:开发周期短,开发成本高,实现技术复杂。为了适应Web应用开发的新特点,开发人员需要一种可以快速开发Web应用的工具。本文介绍了一种J2EE平台上动态HT-ML表格的设计和实现。开发者可以使用该工具定义一个和数据库相联系的动态HTML表格。这个工具可以根据用户的定义自动生成相应的Servlet代码。
- 谢正良赵建华李宣东郑国梁
- 关键词：WEB应用SERVLETJ2EE平台HTML表格应用程序开发WEB应用SERVLET
- 从Executable UML模型到J2ME程序被引量：1
- 2005年
- 嵌入式系统由于功能的特定性和底层硬件的多样性,使得其代码的重用和易移植性一直是困扰开发者的一大难题。模型驱动体系结构(MDA)是OMG组织提出的一种新的软件开发方法。MDA将关注点集中于业务模型,把平台相关内容和不同的实现技术从中剥离,并利用工具遵循一定的转换规则,实现其到特定平台的自动转换,最终得到目标平台上的代码。MDA针对解决复用和移植问题提出了新的解决途径,在嵌入式系统开发中有广泛的应用前景。本文在研究基于MDA的嵌入式系统开发途径的基础上,提出了一个从Executable UML模型到J2ME平台下JAVA代码的转换框架。
- 袁梁李宣东赵建华郑国梁
- 关键词：J2ME嵌入式系统可执行UML
- 嵌入式软件建模、实现与验证:研究与进展被引量：16
- 2005年
- 随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位。本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要特征,以及由此带来的困难和挑战。然后重点介绍目前在解决嵌入式软件系统开发过程中的问题时所采取的建模思想、实现技术和验证方法。最后对嵌入式软件及其相关技术的发展进行了展望。
- 胡军张岩于笑丰王林章李宣东郑国梁
- 关键词：嵌入式软件嵌入式系统
- 面向Web Services的模型驱动开发方法被引量：2
- 2006年
- 随着分布式对象技术的发展和电子商务应用的扩大,Web Services 技术应运而生。由于在解决异构软件的交互和企业系统集成问题上表现了极大潜力,因此学术界和工业界对 Web Services 都备加关注。MDA 是 OMG 提出的用于解决不同中间件系统交互和集成问题的新的软件开发方法,是目前软件工程领域最引人注目的研究热点。本文阐述了 Web Services 和 MDA 的基本概念,对二者的交叉研究进行了分析和综述,提出了面向 Web Services 的模型驱动开发框架,并对未来工作做了展望。
- 于笑丰胡军李宣东郑国梁
- 关键词：WEBSERVICES模型驱动开发MDA
- SDT:一个面向场景规约的运行时测试工具
- 2006年
- 利用设计模型信息,提高测试自动化程度是测试领域的重要课题。UML 顺序图是广泛使用的场景规约语言。本文研究了面向场景规约的运行时测试方法,并应用该方法实现了一个基于 UML 顺序图场景规约的测试工具SDT;它从 Ration Rose 的规约文件中提取顺序图信息,生成表示预期行为属性的事件有向无环图,对代码进行插装,并利用随机测试用例执行代码,最后将反向工程得到的运行时轨迹与有向无环图进行比较,对实现和设计的一致性进行自动化验证。
- 雷斌王林章李宣东郑国梁
- 关键词：UML顺序图有向无环图测试工具规约
- ME4ET:一个基于EDOCER模型的模型转换工具被引量：1
- 2005年
- 模型驱动体系结构(MDA)是一个以模型和元数据为中心的软件体系结构.在MDA体系中,抽象模型是软件开发的主要产品.与传统的软件开发过程相比,模型转换,特别是平台无关模型和平台相关模型之间的转换,在MDA体系中具有重要作用.模型转换需要自动化的模型转换工具的支持以减少软件开发的成本.介绍一个MDA模型转换工具———ME4ET.该工具支持EDOCER模型的建模,并支持将EDOCER模型自动转换为数据库平台和EJB平台上具体的实现,主要介绍ME4ET工具的模型转换规则和算法.
- 姜泉赵建华李宣东郑国梁
- 关键词：MDAEDOC
- 从EDOC的业务过程建模到J2EE应用程序框架的MDA转换
- 2006年
- OMG(Object Management Group,对象管理组织)提出的模型驱动架构(MDA,Model Driven Architecture)是解决不同中间件平台之间的集成以及技术升级所引起的问题的软件开发方法。MDA 的基本思想是将系统的模型作为软件开发过程的核心制品,并且将模型区分为描述系统业务功能的平台独立模型(PIM,Plaform Independent Mod-el)和描述系统在特定技术平台上实现细节的平台相关模型(PSM,Platform Specific Model)。模型转換是 MDA 开发的核心内容,MDA 的开发效率依赖于良好的支撑工具,特别是支持模型转换的工具的涌现。本文介绍一种对业务过程建模并将模型转换成程序代码的设计思想和实现方法。开发者可以用该工具对企业的业务过程建模。这个工具能将建立的模型自动转换成 J2EE 平台上的程序代码。
- 吴光赵建华李宣东郑国梁
- 关键词：平台独立模型平台相关模型业务过程模型会话BEAN
- J2EE平台上的所见即所得的HTML电子表格工具的设计被引量：1
- 2007年
- 本文介绍了一个MDA软件开发工具的设计思想和实现工具。该工具可以根据MDA中的平台无关模型的信息,由用户通过所见即所得的方式来编辑HTML表格。用户编辑了HTML表格框架后,可以基于PIM中的ER模型来定义表格中各个单元格的值。用户在编辑的过程中就可以直接看到表格的最终显示。这个工具和我们研究的其它两个工具协同使用,可以高效地把PIM转换成为J2EE平台上的应用程序。
- 肖舒赵建华李宣东郑国梁
- 关键词：MDAJ2EE表示层
- 时间自动机可达性分析中的状态空间约减技术综述被引量：3
- 2006年
- 时间自动机是检验实时系统建模的有效工具,其可达性分析可以检验系统是否可能达到某些特定的状态,其算法通常采用对符号状态的枚举来遍历其状态空间。因为引入了时钟变量,时间自动机的可达性分析算法会产生大量的中间状态,需要巨大的存储空间,往往超出了计算机能力的极限,导致分析和检验不能完成。这就是所谓的“状态空间爆炸”。研究人员设计了很多种优化技术来约减可达性分析所需的存储空间,以解决或者缓解这个问题。本文首先介绍了时间自动机及其可达性分析的基本概念,然后分类讨论了现有的空间约减优化技术并对此做出总结,最后提出了一些未来的研究方向。
- 陈铭松赵建华李宣东郑国梁
- 关键词：实时系统时间自动机状态空间爆炸可达性分析
- 针对应用系统ER模型的MDA模型转换方法被引量：4
- 2006年
- MDA是由OMG提出的一种以模型为主要开发产品的软件开发方法。开发人员首先建立与具体技术平台的实现细节无关的高抽象程度的平台无关模型(PlatformIndependent Model,PI M)。然后,开发人员可以通过模型转换,将高层次的模型逐渐转换成为包含了实现细节的平台相关模型(PlatformSpecific Model,PSM),直到最终的代码。模型转换的有效性决定了MDA开发方法的效率。模型转换的难点不在于模型的语法映射,而是保证转换过程中模型语义的一致。本文采用EDOC作为平台无关模型的描述方法。EDOC是OMG制定的、和具体应用平台无关的、适用于企业分布式系统建模的标准。本文针对EDOC中的实体关系模型建立了从这些模型到J2EE平台模型以及目标代码的模型转换规则。我们还在转换规则中引入了多个设计模式。软件开发人员可以根据对软件的非功能性需求,应用这些规则来选择不同的设计模式,将平台无关的ER模型转换成为J2EE平台上的模型。
- 姜泉赵建华李宣东郑国梁
- 关键词：MDAEDOC设计模式
