服务本体驱动的构件协同模型

设计构件协同的关键在于向构件提供一种可观测的交互模式,众多协同模型虽然对此问题有所考虑,但并未将其抽象到通用级别。采用描述逻辑对构件服务予以概念化而构成服务本体,并将其作为构件可观测的基准,在软件体系结构的抽象级别上利用服务本体扩展了软件体系结构连接件。基于上述基本思路,设计了协同介质的基本结构并规范了基于脚本语言的协同规则,提出了一种通用的构件协同模型。     

面向体系结构的构件接口模型及其形式化规约

借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。     

基于软件体系结构的可复用构件模型*

在分析了构件间各种操作的基础上,将软件体系结构的概念引入现有的构件模型,用于对复合构件进行描述,从而改进了现有的构件模型,给出了一种基于软件体系结构的可复用构件模型,并给出了该模型的应用.     

面向服务领域软件的参考模型

基于构件和面向服务体系结构（SOA）的软件工程被认为是提高大规模的分布式软件开发效率和质量的有效途径.但是,SOA目前还停留在抽象的高层概念模型层面上,还没有一个实用、具体的应用参考模型.介绍了一种基于Web服务软件体系结构的领域系统构造过程.在此基础上,提出了一种面向Web服务的领域软件体系结构参考模型（WS-DSARD）,对其主要元元素角色、操作、服务构件和服务构件类等进行了较为详细的描述,并从服务构件交互与集成的角度分析了服务构件的组合语义.该研究对于面向服务领域软件开发活动的成功实施具有一定的指导作用.     

构件组装及其形式化推导研究

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.     

面向对象范型体系结构中构件行为相容性研究

软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结构中,构件组装通常是通过接口方法调用加以实现.针对这样一类基于软件体系结构的构件组装问题,形式描述与定义了构件及其对外交互协议,分析了服务请求构件与服务提供构件所能展示的不同行为,给出了组装交互的构件在请求/提供接口上协议级行为相容的一组验证规则及相关定理.最后,通过一个电子商务应用实例来说明所提出途径的可用性和针对性.     

基于软件体系结构的反射工作流

提出了基于软件体系结构的反射工作流模型．作为元层的抽象软件体系结构和物理软件体系结构概念的分离,使得应用语义和实现技术相分离;映射元对象建立抽象软件体系结构到基层工作流任务结构的因果连接;行为元对象执行工作流实例的活动调度等功能．讨论了工作流活动和过程级别的动态性．     

一种基于CCM业务构件的可重构企业信息系统结构

针对制造企业信息系统的软件体系结构和功能应用软件的可重用问题进行研究.基于软件体系结构描述语言ADL的BNF语法和OMG/CCM的构件技术,详细设计了企业信息系统的可重构软件体系结构模型、系统的可重用业务构件和系统的即插即用框架.通过扩充CCM构件的消息和通知服务,描述了企业信息系统软件体系结构和功能应用软件的重用.     

基于CORBA构件的软件体系结构模型

软件体系结构使超大规模软件设计的简化成为可能，提出了基于CORBA构件模型的软件体系结构并给出了一种软件体系结构的模型，通过给出ADL的BNF语法以及扩充CIDL编译器和CORBA的服务来实现此     

网状软件体系结构模型

文章用代数理论对网状软件体系结构的属性和行为特征进行抽象,提出了网状软件体系结构的概念,框架结构及构件的重用度概念,抽象出了网状软件体系结果的抽象模型及相关性质。给出了网状软件体系结构的相关应用。     

基于本体的Web服务发现模型研究

针对传统的Web服务发现机制查准率低的缺点,结合本体技术与OWL-S语义描述语言设计一个Web服务发现模型。该模型主要包括查询处理器、领域本体库和发现引擎三个模块,通过在领域内共同的语义理解基础上抽取服务查询信息中所需的功能信息以及对服务广告信息的语义描述,实现针对服务功能信息的语义匹配,从而提高服务的查准率。     

一种基于FCA的面向关系数据库的本体学习方法

从已有的数据模型中进行语义提取,经过一定的规则映射生成本体的过程称为本体学习。关系数据库模型是当前数据的存取与组织的主要模型,从中学习得到本体,一直是本体工程领域研究的热点之一。利用手工定义的E-R模型到本体的映射规则来完成本体的构建,是国内外大部分学者采用的方法。但这样获得的本体概念层次关系主观依赖性强,不利于本体的实际应用。为了能更加客观地获取数据之间的概念层次关系与语义信息,提出了一种基于FCA(形式概念分析)从关系数据库进行本体学习的方法。该方法既保持了关系数据表中原有的数据语义关系,又发挥了FCA自动提取语义信息的特点,提高了最终本体生成的质量,有利于在具体的领域应用中使用本体。最后结合材料服役安全数据库的数据信息,演示了运用所提出的方法学习得到领域本体的过程。     

Symbolic model checking for channel-based component connectors

This paper introduces a temporal logic framework to reason about the coordination mechanisms and data flow of exogenous coordination models. We take a CTL-like branching time logic, augmented with regular expressions that specify the observable I/O-operations, as a starting point. The paper provides the syntax and semantics of our logic and introduces the corresponding model checking algorithm. The second part of the paper reports an implementation that relies on a symbolic representation of the coordination network and the connected components by means of binary decision diagrams. A couple of examples are given to illustrate the efficiency of the model checking techniques and their implementation.     

流程可定制本体匹配框架:RiMOM2

本体作为语义Web中的语义表示形式,是语义Web体系结构中的核心元素,是实现知识共享、协同工作的关键。然而现实世界中本体自身与生俱来的分布性和异构性,又极大地限制了数据的共享与集成。为了实现知识的共享、数据的集成,近年来针对本体匹配方法的研究得到了广泛的重视。随着本体匹配研究的深入,许多有效的本体匹配方法被提出。RiMOM2正是一种集成了多种有效本体匹配方法的多策略本体匹配框架。它尽可能地向初级用户隐藏不必要的阂值设定和参数设置,而向高级用户提供匹配流程的可定制功能,以期针对不同用户实现一种既能适用于普遍本体匹配任务,操作简易,又能达到具有针对性匹配效果的本体匹配工具。同时该框架具有匹配方法组件的易扩展性。     

基于语义扩展的构件描述模型

根据构件模型的研究现状,针对目前的构件描述模型缺乏语义描述的支持,在刻面分类模式的基础上,提出了基于语义扩展的构件描述模型,采用OWL本体语言对构件本体的知识框架做了描述,并将此构件模型应用于教学评估系统,构造出了基于语义的软件构件检索体系构架,实现了对领域构件进行语义查询的目的.通过实验证明,该模型提高了构件检索的查全率和查准率.     

知识工程中的本体综述

近年来本体在计算机领域里的研究和应用受到人们的重视,该文对本体的概念、概念化、本体的组成以及本体的构造方法进行了简述。     

层次式本体模型的领域分析与设计方法的研究

本体是研究客观事物的系统化表达,即研究主观认识与客观存在之间的关系。在知识工程中,主要研究如何描述知识更加准确,使其更加贴近知识的本来面目。本文提出层次式本体模型,按照知识的通用程度,将本体划分为建模元数据层、顶层本体层和子领域本体层,各层的元素之间具有清晰的、明确的语义关系,从而具有更加丰富和强大的知识表达和建模能力。在领域工程中,层次式本体模型可以用于领域知识建模,并在领域分析和领域设计之间建立规则联系。本文以MES领域为背景,应用上述方法作研究。     

对开展知识本体模型自动构建方法的研究课题的几点想法

本文提出了对于文章,先进行语法语义分析,从而构建本体模型的提取方法,以及对知识对象本体模型的建立和展示。本文以网络知识性文章为例,重点描述针对文章领域的知识对象模型构建过程以及其中用到的主要技术和方法。这种技术方法,直接解决了各种通用本体构建方法对该领域内特殊本体支持不力的问题,并且以现成的网络资源为依托,直接应用于教学设计。并对未来的研究给出了方向。     

应急资源本体模型研究*

针对应急资源在知识表示与理解中存在的语义冲突问题,将本体技术引入领域知识表示,提出一种通用的应急资源概念模型。以SUMO为上位本体,从应急资源的管理和应急资源的配置使用两个方面构建应急资源本体模型 (emergency resource ontology model,EROM),为应急管理和应急资源共享提供语义层次的统一表达和理解。