一种文本理解的知识表示方法

对自然语言文本的理解, 应该把它与一定的情境联系起来。本文正是基于这样的思想, 讨论了一个文本所描述的事物及其有关情境是如何在机内表示的。     

多媒体技术与自然信息处理

人和计算机是信息世界的主体，由于多媒体技术的广泛应用，二者之间的关系发生了深刻的变化。     

JBOO软件开发过程

1 前言 JBOO软件开发过程是青鸟工程中的一项重要成果,遵循青鸟面向对象软件开发规范。该规范包括了面向对象的软件开发概念与表示法、软件开发过程指导和软件开发文档编制三部分。该规范也是青鸟面向对象软件开发工具JBOO2.0所支持的规范之一。象其它的软件开发过程一样,JBOO软件开发过程是为建造高质量的软件而制订的一系列活动,每个活动要完成若干任务。JBOO软件开发过程中的重要因素有开发人员、项目、过程和工具。JBOO软件开发过程以项目为中心,指导相     

一种面向服务的体系结构参考模型

在对当前的面向服务体系结构研究的基础上,提出了一种用于设计面向服务体系结构的参考模型,深入地阐述了有关概念,详述了参考模型的结构以及其中的服务总线和服务合约的元模型,并提出了一个用于评价面向服务体系结构的成熟度模型．该参考模型为进一步设计面向服务的体系结构奠定了基础．     

青鸟面向对象软件建模工具的研究与实现

讨论了青鸟面向对象软件建模工具JBOO（Jade Bird object-oriented)的设计和实现方法，对JBOO所支持的青鸟面向对象规范作了简介，对JBOO的系统结构和功能进行了详细地描述，并提出了一种面向对象的软件建模工具的实现方法，最后，将JBOO与典型的 类工具作了比较。     

UML 2．0述评

在经过4年之久的修订过程之后，OMG采纳了UML 2．0。本文首先介绍了UML 2．0的修订背景和提案需求；然后分别介绍了UML 2.0规范的主体部分：基础结构和上层结构的修订特点，进而总结了UML 2.0基础结构的设计目标和体系结构，归纳了上层结构的设计目标、体系结构组织，着重于比较UML 1．X和2．0在模型构造能力上显著增强的部分；最后针对UML 2．0规范及对其存在的问题给出了一些评述，这些可以作为今后相关研究工作的框架。     

一种支持多种模型转换技术的组合方法

模型转换是模型驱动开发中的核心技术.为了解决复杂的转换问题,需要将多个相对简单的转换组合起来构成组合转换.目前存在多种转换技术,它们之间存在异构性,阻碍了组合转换的实现.首先分析实现组合转换的必要条件,进而提出一个组合转换模型,其中主要包括公共类型表示、公共模型表示、公共转换描述和组合转换定义语言等部分,用以实现支持多种转换技术的组合.另外,还介绍了一个组合转换平台的设计与实现,并通过一个案例说明所提方法及工具的可行性.     

语义可配置的模型转换

模型转换是模型驱动体系结构的核心技术之一.在一个复杂的模型驱动的开发过程中,可能同时使用多种转换语言及相应的工具实现转换程序.这一方面增加了开发人员的学习负担,也会导致各种兼容性问题的出现.提出一种语义可配置的模型转换技术,通过重新定义转换语言的语义,允许开发人员使用一种转换语言解决不同的转换问题.首先,总结出一组常见的转换原语;然后,利用一种基于OCL的脚本语言TSS来描述转换语言的语义;最后,对该方法的完全性、表达能力和复杂度进行了讨论,并通过一组案例对该方法进行了验证.     

基于PaaS的云应用软件部署环境的元模型

PaaS是云计算的一种服务模式,用于提供应用程序容器服务。在PaaS上部署云应用软件的主要方式是调用API和编辑配置文件,这需要很大的学习成本并且容易出错。不同PaaS的API和配置文件有不同的语法,在PaaS上很难进行应用的迁移以及跨平台或多平台部署。提出了基于PaaS的云应用软件的部署环境的元模型,它降低了学习成本,使得部署过程更加自动化,简化了应用迁移,使跨平台或多平台部署成为可能。     

模型转换中特性保持的描述与验证

模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法.