基于领域的快速协同开发平台的研究与实践

在全面分析研究企业信息系统和大量实践的基础上,为解决传统企业信息系统开发存在的问题,提出并设计了一个企业级的基于领域的快速协同开发平台.通过对信息系统进行领域分析,得出了平台的总体架构,该平台采用了业务流程管理、模型驱动架构、面向服务架构等技术思想进行实现,并将这些思想有效结合,使其协同工作.通过具体的应用,验证了平台能有效地提高软件复用率,极大地缩短企业信息系统的开发周期,减少信息系统的成本支出.     

一种面向图形化建模语言表示法的元模型

对于图形化的建模语言,为定义其表示法一般需要解决3个问题:如何定义每个建模元素的图形符号,如何定义图形符号之间的位置关系以及如何将表示法映射到抽象语法.为了方便进行模型转换和代码生成,还需要使用模型化的方式描述建模语言的表示法.通过对UML及其语言家族中的表示法进行总结、分析和归纳,提出了一种表示法定义元模型(notation definition metamodel,简称NDM).针对定义表示法所面临的3个问题,NDM被分成基本图元及其布局、基本位置关系和抽象语法桥三部分.使用NDM定义好的表示法模型还可以通过代码生成技术生成可使用的源代码.将NDM与其他几种定义表示法的方法进行了比较,结果表明,NDM与其他方法相比具有优势.NDM已经在元建模工具PKU MetaModeler中实现.介绍了NDM在实际应用中的几个案例.     

基于MDA的设计模式建模与模型转换

MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA的框架下,将设计模式作为一种独立的建模和转换单元能够在较高的抽象层次上充分支持复用并提高建模粒度,从而进一步发挥设计模式的优点,提高软件开发效率、降低生产成本.然而,要在MDA的框架下将设计模式作为完整的开发单元来使用,必须解决以模式为单元的建模及转换两个具体问题.针对单元化模式建模的问题,通过扩展MOF(meta object facility)的方式定义了模式单元元模型,并提供了基于此元模型的单元化建模支撑机制,以分离业务模型与模式模型的方式解决了该问题.针对单元化模式模型转换问题,在模式单元元模型的基础上定义了向EJB平台的转换规则.该转换规则使用QVT标准描述,支持单元化的模式模型转换,并具有良好的复用性.     

基于MDA的地理信息系统开发方法

从模型驱动开发的角度研究如何利用模型驱动体系结构(MDA)指导地理信息系统(GIS)建设。对OMG的模型驱动架构作了研究,分析了MDA的系统架构和核心技术,并结合地理信息相关标准、规范,提出一种利用MDA技术实现GIS领域建模,模型转换和应用开发的方法。该方法提高了软件开发效率、增强了系统的跨平台互操作性、可移植性、平台无关性和易维护性。     

AADL建模工具的设计

设计一种架构分析与设计语言(AADL)建模工具,便于用户建立AADL模型.基于模型驱动体系结构思想,在Eclipse插件开发平台上开发可扩展的插件集合AADL模型设计工具.用户根据该工具建立的嵌入式系统AADL架构模型,通过XML文档保存,分析与验证工具以第三方插件的形式集成到该工具中,提取系统的AADL架构模型.通过应用实例验证了该工具的有效性.     

酸雨对黄棕壤的致酸作用与对小麦幼苗膜脂过氧化水平的影响

通过模拟酸雨淋洗土壤,造成了土壤酸化和盐基流失。将小麦幼苗栽培于由酸雨致酸的土壤上,导致小麦幼苗的膜脂过氧化水平提高。其中致酸土壤对根系膜脂过氧化水平的影响大于对叶片膜脂过氧化水平的影响。     

MDA开发中的模型一致性检验

为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构——MDA,该结构将应用模型分为平台无关模型(PIM)和平台相关模型(PSM),通过融合UML用例图、类图、序列图,得到了需求模型和设计模型,给出了类图和序列图的形式化语义,以及模型间的协调性条件,并在此基础上进行一致性检测,为模型驱动的开发提供了基础.     

Architectures to Survive Technological and Business Turbulences

Survivable architectures are needed so that the current and future systems can tolerate the usual turbulences of technology and business climate. This paper, based on insights gained through practical experience with several architectural projects in the telecom industry and active participation in the standards bodies, highlights the work being done on survivable architectures. Instead of presenting theoretical models, this paper relies on best practices and explains the concepts through a detailed case study. In particular, the concepts of separating the technology independent models from the technology specific models and externalizing the business process flows from the system components are shown to be of practical value.     

Extending UML with coordination contracts

Coordination contracts are a software analysis and design construct which enable separation between the stable components of a system and the rules which define the interactions of these components. This separation supports rapid evolution of rules without requiring modification to components. In this paper we show that contracts can be defined in UML, and we define an MDA-based development process which makes use of contracts.Communicated by Jos Warmer     

从xUML模型到J2EE应用系统的转换方法研究

Executable UML(xUML)是统一建模语言(UML)的一个剖面(Profile),它可以看作是由传统UML加上精确的语义构成。在阐述xUML和J2EE平台基本概念的基础上,提出了一种从xUML业务模型生成基于J2EE平台的Java代码的方法,对从平台无关模型到应用代码的转换进行了尝试。