基于消息传递的构件组装模型

利用构件组装分布式系统是软件开发的流行趋势,但由于构件之间规范不一致,相互联系和相互依赖,降低了构件的复用程度,限制了生成目标系统的灵活性.消息传递是应用程序和软件构件之间进行通信的一种方式,基于消息传递的构件组装模型采用了XML技术,通过连接子和消息总线进行消息传递,实现构件之间的交互,使构件在组装时对外呈现出一致的视图.     

一种面向用户的Web服务组装方法

为了将分布在Internet上异构的Web服务组装成新的服务提供给用户,提出一种面向用户的Web服务组装方法,将组装过程分为需求拆分、服务选择、执行服务组装和服务结果合并四个阶段,并提出了基于组装模式的用户需求输入及拆分方法、基于QoS的服务选择模型和基于中间模式的异构消息转换模型。最后通过物流领域服务组装平台的设计与实现,验证了上述方法的可行性与有效性。     

一种改进的基于Pi演算的Web服务自动组装方法

提出了一种改进的Web服务自动组装的方法,以提高Web服务组装的自动化。组装Web服务时,先用UML对复合Web服务进行建模,从UML模型得到复合服务的Pi演算描述,通过Pi演算的形式化验证,为这些逻辑子服务自动找到匹配的已实现的原子服务,最后生成可执行的复合Web服务。     

一种基于角色的组件动态组装模型

在分析了组件动态组装技术和基于角色访问控制（RBAC）的基础上，提出了一种基于角色的组件动态组装模型，给出了该模型中访问控制表的设计、组件的动态组装模型和客户程序与组件间的交互过程，通过实例说明了文中给出模型的实现技术。     

一种支持领域特性的Web服务组装方法

Web服务为软件构件技术提供了良好的工业化基础．软件构件和构架技术的研究也为Web服务的应用奠定了一定的应用基础．在构件组装中,如何支持适应用户需求的Web服务的组装是当前研究的热点之一．该文提出了一种基于优化算法的、支持领域特性的Web服务组装方法,该方法的核心是面向Web服务应用．按照用户确定的功能和QoS需求,基于现有领域模型和Web服务QoS属性,将特定领域的优化组装转化为数学优化问题加以解决．这一方法可以较好地适应用户需求的更改并可以辅助用户选择服务．该文最后给出了支持该方法的原型工具的实验结果,用以说明该方法的可行性与有效性．     

一个基于偏序事件结构的Web服务模型及其形式化组装

随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务的交互和协同行为可以发现,分布性和并发性是基于软件服务分布计算系统的本质特征。这就往往使得组装的正确性难以得到保证,从而需要提供一定的手段加以支持;同时,基于软件服务分布计算系统的效率问题也值得关注。我们认为,利用偏序关系对这些问题加以处理是一种理想和有效的手段;而同时我们发现,在服务的组装中,服务与服务之间存在着一种自然的偏序关系。本文基于此,从形式化的角度研究了软件服务及其组装,提出了一种基于偏序事件多集的Web服务的形式化模型。本文从服务内部事件而不仅仅是服务的角度来考察并发问题,这使服务内和服务问的更多的事件可以并行执行,并使得组装后的系统可以更高效地进行实施,从而使得Web服务的并发拉度变细;在此基础上给出了一种服务组装语言和规则,以确保在组装过程中出现的局部变化不影响整体的Web服务的正确组装,从而能够从形式化的角度来规范Web服务的集成组装,使其正确性和效率能够得到保证。     

基于KPN的动态服务组装模型

提出了一个基于KPN(Kahn Process Network)的动态服务组装模型,目的是减少动态服务组装的不可预见性以及服务不匹配现象,提高动态组装的成功率。该组装模型采用KPN及相应的KPN调度策略对服务之间的动态交互进行建模。介绍了该组装模型的数据流建模及调度策略,并以一个船舶信息查询系统为例,介绍了该组装模型在实际中的应用。     

基于Web服务的分布式构件库互联模型设计

随着互联网和基于构件的软件复用的飞速发展,公共构件库和企业构件库积聚了大量可复用构件,分布式构件库之间进行信息交互的需求也变得十分迫切。从构件库及其互操作知识入手,进行交互流程和数据交换模型的设计工作,为给企业用户提供个性化服务提供了便利。     

基于Web Service的构件组装的研究

构件组装是基于构件的开发(CBD)研究的核心,为了使构件系统适应网络发展的要求,针对传统的构件组装技术的不足,提出一种基于Web Service的构件组装模式,并给出其组装体系结构.这种组装模式将构件部署包装成Web Service构件,用WSDL(Web服务描述语言)描述单个服务及服务间的依赖,在构件组装平台下,根据一定的组装机制和Web服务间通信机制完成组装,既可屏蔽构件的异构性,又充分利用了系统资源.     

Internet环境下一种基于数据流的构件组装模型

随着Internet上提供在线复用的构件增多，用这种构件服务组装软件系统就成为可能．本文首先针对Internet环境构件组装系统分析了现有相关技术的不足，讨论了组装技术应用上的关键问题．为此将构件与传统的数据流计算模型相结合，设计并实现了支持广域构件组装的DFCM组装框架；给出了DFCM的总体结构，描述了其中的关键技术；经过对原型系统的模拟表明该模型框架是有效的，能够充分利用Internet固有的并行性，具有扩展性．     

服务组合的质量估计模型

分析了目前服务组合的研究现状和存在的问题，从准确性和实用性的角度提出了一个新的服务质量模型，包括服务时间、服务代价、可靠性、可维护性和满意度等5个服务质量标准，并研究了该服务质量模型的计算方法．在服务质量模型的基础上，重点研究了服务组合的质量估计问题，提出了一种服务组合质量估计的数学模型，分析了该模型的特点及相关工作，并用仿真实验验证了该模型的有效性．     

STBM一种多层结构服务组合模型研究

针对目前的服务组合模型网络通信代价较高的问题,提出一种多层结构的服务组合模型-STBM(Spanning Tree BasedModel).STBM分为服务注册层、虚拟服务层和服务提供层三个抽象层次,每个层次提供正交的功能共同为客户端构造一个服务组合平台.服务注册层起到分布式服务注册与索引的作用;虚拟服务层按服务的功能关系组织成不同的生成树,生成树间依据服务的组合关系构成服务虚拟组合网(Services Virtue Composition Networks,SVCN).分析表明,在达到同样服务组合效果的情况下,STBM的平均网络通信流量比Spidernet有很大的降低.     

基于IOQ模型的Web服务组合算法

提出一种IOQ模型及在该模型下求解构成复杂服务的各个子服务的算法,将该类服务组合问题转化为简单问题,即在满足QoS约束的服务集合中,已知服务的输入集合和输出集合,利用输出集合倒序查找各子服务及其输入集合。针对该类服务组合问题,给出算法模型及求解问题算法的伪代码。     

一个基于Petri网的Web服务组合模型

作为企业应用集成的重要手段，Web服务组合需要建立可靠的表达和分析方法。因此，基于Petri网技术定义一个Web服务组合模型，将组合Web服务的要索映射到Petri网结构。利用Petri网提供的分析技术，辅助复杂业务流程的建模，并分析验证其正确性和性能。     

面向安全性需求的构件组装

构件组装技术无法充分考虑安全苛求软件的安全性需求,可能引发软件的失效。该文在保证安全苛求软件的基本构件满足功能性需求的同时,提出采用加入时间字约束的方法来确保构件组装后的结果达到安全性需求,使系统按照严格的时序进行状态的变迁,有效避免了故障的发生。     

面向动态工作流的Web服务组合模型研究

把Web服务与工作流相结合,将Web服务作为工作流中的各项任务,通过Web服务的动态组合技术,建立面向动态工作流的服务组合模型。对Web服务描述进行了扩展,提出了一个基于层次结构的服务发现模型,支持Web服务开发与部署的分离,并通过Web服务的动态查找,对符合要求的可用服务器,引入服务评价函数,根据服务器服务份额、价格策略以及信任度等因素对服务器进行综合评定,实现复合服务在运行时的动态部署与绑定。并通过工作流引擎对各项子任务的交互与完成进行相应控制,最终实现Web服务的动态绑定模型的执行框架。     

面向动态工作流的Web服务组合模型研究

把Web服务与工作流相结合,将Web服务作为工作流中的各项任务,通过Web服务的动态组合技术,建立面向动态工作流的服务组合模型.对Web服务描述进行了扩展,提出了一个基于层次结构的服务发现模型,支持Web服务开发与部署的分离,并通过Web服务的动态查找,对符合要求的可用服务器,引入服务评价函数,根据服务器服务份额、价格策略以及信任度等因素对服务器进行综合评定,实现复合服务在运行时的动态部署与绑定.并通过工作流引擎对各项子任务的交互与完成进行相应控制,最终实现Web服务的动态绑定模型的执行框架.     

支持动态服务组合的Web服务三层组织模型

面对互联网上大量出现的Web服务，如何在动态异构环境中对它们进行组织和管理以便更轻松地构建出各种应用系统是一个亟待解决的问题．本文针对这一问题展开讨论，提出了支持动态服务组合的Web服务三层组织模型，分层次对Web服务进行组织和管理，从而提高了服务发现的效率，实现了灵活的服务组合和替换机制，更高效地支持动态Web服务组合过程．     

基于工作流的Web 服务组合模型设计与实现

单个Web服务无法满足企业的应用需求,对多个Web服务进行组合的研究尤为必要。本文提出了一种基于 工作流模板的服务组合模型,旨在通过定义和发布静态的Web服务,搭建基于工作流的Web 服务业务流程组合模型,实现在 工作流流程中调用静态的服务组合。     

一个基于有色Petri网的自动Web服务合成模型

提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性.该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构.给出了Web服务基于有色Petri网的形式化定义.定义了一个封闭的Web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成.定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成.