一种面向服务构件的高可信组装技术的研究

服务构件的组装和验证是基于构件的软件工程的核心.为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性.其次,提出基于类型理论的组装验证模型并结合实例进行分析.最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点.通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性.     

一种面向服务构件的高可信组装技术的研究

服务构件的组装和验证是基于构件的软件工程的核心。为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性。其次,提出基于类型理论的组装验证模型并结合实例进行分析。最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点。通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性。     

基于XML的具有性能约束构件的组装技术

采用在软总线TAO(The ACE ORB)上利用XML文档中所包含的语义化的抽象数据类型对构件对象进行操作,从而实现语义化的性能约束构件组装。建构的XML模式描述了构件组装相关的构件接口、交互及配置规约,并通过接口显式地表达构件对环境的依赖,使得能在一个分布式的网络环境里,将多个处于不同节点、提供紧密相关服务的构件在运行时动态地组装成功能系统。在给出的示例中,实现了将三个分布在不同节点的性能约束构件通过它们接口的交互及配置,实现在运行时开放的松散式组装。最后给出了下一步研究工作的重点及方向。     

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

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

基于语义的保险构件接口匹配研究与实现

描述了基于语义对构件库中构件接口名称进行匹配的一种方法,并结合保险行业的领域知识,探讨了该方法在保险核心业务系统的可复用构件库中的实现.将接口名称的语义信息概括为环境、对象、操作,结合领域知识和领域分析方法,建立匹配度计算必须的原始语料库,利用语料库对接口名称进行语义计算,生成解析构件库,利用解析构件库对用户的查询进行相似度计算.     

一个集成式的软件构件描述框架

该文提出了一个可扩展、可裁减的集成式软件构件描述框架。该框架采用了相宜的方法对构件的接口、语义、问题空间等方面进行描述，并且通过XML提供了可扩展的机制。实践证明，在该框架基础上实现的构件库管理系统体现了较好的构件描述与检索能力。     

基于决策融合的图像自动标注方法

结合多媒体描述接口（MPEG-7）和MM（MixtureModel）混合模型,实现了基于决策融合的图像自动标注。在图像标注过程中,分别利用颜色描述子和纹理描述子为每个主题下的图像建立MM混合模型,实现低层视觉特征到高层语义空间的映射,利用局部决策融合方式融合在颜色和纹理MM混合模型下的标注结果,实现图像自动标注。通过在corel图像数据集上的实验,表明提出的局部决策融合方式能更充分利用图像的颜色和纹理信息,提高了图像标注性能。     

基于语义的软构件检索

通过对传统的软构件检索技术的研究,在刻面分类检索方法的基础上,提出了一种基于语义的软构件检索方法,这种方法利用领域模型和领域本体对构件检索进行语义上的扩展。具体描述了该方法的设计思想和过程模型,然后利用该方法构造出了基于语义的软构件检索体系构架,实现了对领域构件进行语义查询的目的,提高了构件检索的查全率和查准率。     

基于接口矩阵分析的构件变化检测方法的研究*

针对构件的变化性问题一直都是基于构件的软件工程（CBSE）中的一个关键问题,首先对构件模型以及构件匹配原则进行形式化描述,构造了构件的接口关系矩阵;然后根据构件匹配原则,对构件接口关系矩阵进行分析,动态地检测构件的变化,判断构件变化可能会对其他相关构件以及整个系统产生影响;最后实现了构件变化分析的辅助工具CIDT（component interface detecting tool）,并在软件开发以及维护过程中使用CIDT对系统进行动态的检测和分析。     

基于功能语义的构件描述和检索研究

现有的构件描述和检索技术大多没考虑语义描述能力,其查准率和查全率往往无法令人满意。因此,如何通过引入本体来弥补这种语义缺失成为新的研究热点。本文在刻面描述的基础上引入本体技术,提出利用功能刻面的分类模式建立构件本体的方法,并讨论了该本体对构件语义检索的支持。     

基于部件设计的运行时验证

研究软部件设计中的可靠性问题,对这一问题主要诉是,当一个已存软部件的正确性无法得到确认时,在具具体实现不可知的情况下,如何提高它的运行时可靠性？为解决这一问题,该文首先构造一个能够用于软部件动态语义检测的抽象模型;然后通过在设计中系统地引入一些运行时技术以保证基于部件软件的可靠性。这些运行时技术包括：（１）包裹部件。作为额外的一层设计,根据软部件的接口说明自动生成,用于检测运行时错误;（２）虚拟部     

CCM构件实现框架的分析与研究

CCM构件实现框架(CIF）为构造构件实现定义了的编程模型。作为编程抽象，CIF不但能与现存POA框架兼容，而且还能使编程人员与它的复杂性隔离。CIF使用CIDL描述创建编程框架自动化构件的基本行为。该文对CIF的架构和语义进行了剖析，描述了CCM构件的实现，然后CIF内部元素的关系进行了研究。     

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

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

MPI + MPI: a new hybrid approach to parallel programming with MPI plus shared memory

Hybrid parallel programming with the message passing interface (MPI) for internode communication in conjunction with a shared-memory programming model to manage intranode parallelism has become a dominant approach to scalable parallel programming. While this model provides a great deal of flexibility and performance potential, it saddles programmers with the complexity of utilizing two parallel programming systems in the same application. We introduce an MPI-integrated shared-memory programming model that is incorporated into MPI through a small extension to the one-sided communication interface. We discuss the integration of this interface with the MPI 3.0 one-sided semantics and describe solutions for providing portable and efficient data sharing, atomic operations, and memory consistency. We describe an implementation of the new interface in the MPICH2 and Open MPI implementations and demonstrate an average performance improvement of 40 % to the communication component of a five-point stencil solver.     

基于进程代数的构件语义标注技术研究

针对组合构件的语义标注问题,提出基于进程代数的自动标注方法,以减小构件库开发人员手工标注大粒度组合构件语义的工作量。采用本体描述构件的语义,对于不同结构的组合行为,通过进程演算抽取交互行为的执行序列,给出组合构件语义的抽取、合成方法及相应的语义标注算法。将该技术集成到JTangComponent平台上进行实验,结果标明其提高了语义标注的自动化程度,可以为复用构件提供语义保障。     

RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog

We present the RFuzzy framework, a Prolog-based tool for representing and reasoning with fuzzy information. The advantages of our framework in comparison to previous tools along this line of research are its easy, user-friendly syntax, and its expressivity through the availability of default values and types.In this approach we describe the formal syntax, the operational semantics and the declarative semantics of RFuzzy (based on a lattice). A least model semantics, a least fixpoint semantics and an operational semantics are introduced and their equivalence is proven. We provide a real implementation that is free and available. (It can be downloaded from http://babel.ls.fi.upm.es/software/rfuzzy/.) Besides implementation details, we also discuss some actual applications using RFuzzy.     

An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car

An interesting formal approach to specify component interfaces is interface automata based approach, which is proposed by L. Alfaro and T. Henzinger. These formalisms have the ability to model both the input and output requirements of components system. In this paper, we propose a method to enrich interface automata by the semantics of actions in order to verify components interoperability at the levels of signatures, semantics, and protocol interactions of actions. These interfaces consist of a set of required and offered actions specified by Pre and Post conditions. The verification of the compatibility between interface automata reuse the L. Alfaro and T. Henzinger proposed algorithm and adapt it by taking into account the action semantics. Our approach is illustrated by a case study of the vehicle CyCab.     

基于部件设计的可靠性研究

研究基于部件设计的可靠性问题,首先提出了一个基于部件设计的模型：如何抽象地描述一个部件？如何利用已存在的部件构造新的部件？如何在给定部件实现的情况下,静态地验证部件的正确性？然后讨论在部件实现不可知的情况下,如何利用包裹（ｓｒａｐｐｅｒ）技术和虚拟部件行为模式动态地检测并保证部件运行的正确性。     

The PEPPHER composition tool: performance-aware composition for GPU-based systems

The PEPPHER (EU FP7 project) component model defines the notion of component, interface and meta-data for homogeneous and heterogeneous parallel systems. In this paper, we describe and evaluate the PEPPHER composition tool, which explores the application’s components and their implementation variants, generates the necessary low-level code that interacts with the runtime system, and coordinates the native compilation and linking of the various code units to compose the overall application code to optimize performance. We discuss the concept of smart containers and its benefits for reducing dispatch overhead, exploiting implicit parallelism across component invocations and runtime optimization of data transfers. In an experimental evaluation with several applications, we demonstrate that the composition tool provides a high-level programming front-end while effectively utilizing the task-based PEPPHER runtime system (StarPU) underneath for different usage scenarios on GPU-based systems.