一种基于体系结构的Web服务组合描述方法

Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结构的Web服务组合描述方法,采用扩展的XYZ／ADL定义Web服务及描述其交互的连接件,最后结合一个实例描述Web服务组合的工作方式。     

基于并发事务逻辑的语义Web服务组合

并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理。采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法。基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路。     

一种基于DSL的服务组合语言

针对大规模并发应用在组合服务中的服务调度问题,设计一种基于领域专用语言的服务组合语言,给出该语言的主要功能、构造过程和语言执行引擎的详细设计。该语言提供对Web服务组合过程的语义和语法描述,采用自顶向下的组合方式,能解决Web服务组合过程中的组合粒度控制和异构消息匹配等问题。     

基于组合Web服务的电子商务解决方案

Web服务作为一种新兴的Web应用模式,已成为电子商务的有效解决方案。它是崭新的分布式计算模型,是Web上资料和信息集成的有效机制。为提高电子商务中服务的质量,灵活地根据用户需求对子服务进行组合提出了电子商务中保持组合Web服务的一致性的解决方案,并通过实例说明该方案的正确性。     

基于颜色Petri网的服务组合建模与验证

Web服务组合技术能快速、灵活的满足复杂多变的业务需求,Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向.给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述,主要描述了4种组合结构:顺序、选择、并发和循环.给出了一个颜色Petri网建模Web服务组合的实例,并且对模型进行了简单的正确性分析.分析结果表明,该建模方法满足正确性要求.     

一种基于语义的Web服务动态组合及其实现

随着Web Services 的广泛流行以及Web环境下日益增加的Web服务,如何根据用户的需求自动地对Web服务进行有效的组合已经成为一种挑战.文中提出了一种基于领域本体的动态组合方法,该方法利用领域本体以及语义技术首先生成一个基于领域本体的Web服务组合图,根据该Web服务组合图可以进行服务的自动发现、调用、组合.该方法综合考虑了服务的语义支持,领域特性,服务的自动组合.最后通过实例验证了该方法的有效性.     

基于TMS的Web服务动态切换研究

在研究Web服务组合过程中,一旦有新的与需求相符的服务出现,或者原有服务由于某种原因不存在时,就带来了Web服务的动态切换问题。针对此问题提出了一种基于TMS（正确性维持系统）的Web服务动态切换方法。通过产生矛盾节点,并回溯到矛盾节点的根源,从而替换原有服务,消除冲突,以维持Web服务组合序列的正确性和有效性,实现Web服务的动态组合。给出了Web服务的动态切换原理和算法,并提供了一个Web服务动态切换的实例。     

关于Web服务组合的有效Web服务发现机制

随着Web Services的广泛流行,怎样发现适当Web Services来支持Web Services的组合已经成为一种挑战.由于传统的关键字搜索具有太低的记忆性和精确性,因此这种方法是很低效的.基于Web Services的描述信息,介绍了一种有效的Web Services发现机制.此服务发现方法是简单可用的,通过引入语义变得十分高效,因此该机制成功的在服务组合模型上得到了实现.     

基于BPMN的Web服务并发交互机制

如何抽象描述复杂业务流程的交互是服务计算研究的重要问题。大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现。针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型。首先,采用BPMN描述业务流程中的并发交互模式;其次,将BPMN并发交互模式映射到Orc语言;最后,Web服务实例表明,所提方法可有效支持Web服务并发交互抽象建模。     

一种基于OWL-S的Web服务体系结构

Web服务是一个新的分布式计算模型，是Web上数据和信息集成的有效机制。文中分析了当前Web服务体系结构，提出了一种基于OWL-S的Web服务体系结构，并给出在新型Web服务体系结构下的服务发现和调用机制，实现了Internet环境下的动态查找、合成和动态绑定，有效地支持Web服务的动态组合和协调。     

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

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

基于Web Services的高考服务系统的设计和开发

Web Services是一种构建应用程序的应用实体,形成特定条件下的API;同时也是一个可互操作的分布式应用程序平台,并能在所有支持HTTP协议操作系统上实施运行。在网络中服务方提供了一个Web Services平台,该平台不仅提供相关的网络服务,而且会提供一种标准来描述它的服务;而客户可以在网络中其它任何一点调用该服务,并且可以得到足够的信息来得知如何调用。本文设计并开发一款基于Web Services技术的高考服务系统,即在移动终端开发客户端系统,并通过Web Services获取服务器提供的各种信息。在系统中采用多种算法完成模拟志愿填报、高校查询、学习计划等多种模块,并提供高考动态、工具娱乐、心理辅导等多种工具模块,能够帮助考生在高考过程中得到更好的发挥。     

基于混合粒度冲突检测的事务工作流调度算法

事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作流执行不可补偿事务,这大大限制了并发度.定义了基于事务类型和事务实例两种粒度的冲突关系,并提出了一种基于这两种粒度冲突检测的调度算法,保证了并发事务工作流的可串行化和可恢复执行.该算法从两个方面提高了并发度:一方面通过事务实例之间(细粒度)的冲突检测减少了工作流冲突的概率;另一方面通过事务类型之间(粗粒度)的冲突预测,允许多个将来不冲突的工作流执行不可补偿事务.     

CWS服务平台的设计与实现——一个基于Web服务技术的计算资源共享系统

Web服务和网格计算技术,出现了日益融合的趋势,网格计算已经进入了服务为中心的新阶段。在这种情况下,就可以在具有良好跨平台性和互操作性的Web服务框架上实现计算资源的共享。论文提出了CWS服务和支撑CWS服务注册发布和共享运行的平台系统。在平台系统实现的过程中解决了几个关键问题。目前,已在北京大学计算机系的校园网内搭建了CWS服务平台,成功运行了多个服务实例。     

基于相对服务质量的Web服务集成策略

该文提出基于过程定义的Web服务集成模型,给出Web服务在服务群中相对服务质量的计算方法,为Web服务的集成过程提供选择依据。最后把Web服务集成抽象为多段图问题,给出采用动态规划的求解策略。     

服务网格安全体系结构的研究与实践

本文对服务网格中的安全体系结构进行了初步的研究,结合Web Services安全技术提出了一种协议级别上的服务网格安全模型,并讨论了昊翰服务网格原型系统中安全体系的实现,详细论述了安全服务访问模式以及服务端安全服务实例的创建过程。     

基于Embedded Linux的gSOAP的移植和裁剪

Web Services是一种构建应用程序的应用实体,形成在特定条件的API;同时也是一个可互操作的分布式应用程序平台,并能在所有支持HTTP协议操作系统上实施运行。而嵌入式系统如今发展越来越迅速,凭借嵌入式操作系统进行各个开源软件在嵌入式平台上的移植操作,发挥其更强大的软件系统功能。旨在将这两种现在比较流行的技术结合起来,即以gSOAP这款开源的Web Service软件作为研究对象,将其移植到嵌入式Linux系统上,并且针对嵌入式系统特定的应用和资源相对贫乏的特点,对gSOAP进行了有目的性地裁剪。裁剪之后的gSOAP软件占用更小的存储空间,且提高了应用系统的性能。     

Model transformation and formal verification for Semantic Web Services composition

Web services composition is becoming more and more important in today’s service oriented business environment. We need to compose services from different providers together to fulfill the business goals that cannot be satisfied by any single service. However, different services often have semantic inconsistencies which may lead to the failure of the services composition. In order to verify the correctness of the Semantic Web Services composition, this paper proposed a composition model of Coloured Petri Nets which is transformed from OWL-S model. This model can express the logical relations among the sub-processes of the services composition explicitly, and verify the correctness of the services composition using formalized methods of Coloured Petri Nets. This paper presented the verification algorithms for the reachability, boundness and semantic consistency of composed services. Furthermore, an example of collaborating design process was given to simulate and execute the model.     

Web服务调整策略研究

随着SOA技术的快速发展,由于分布式Web服务的不稳定性导致的服务组合失效问题逐渐成为Web服务领域的一个重要研究内容。为解决部分Web服务失效造成的组合服务失效问题,文中简要介绍了Web服务及其QoS属性指标,研究了几种常见的Web服务自适应调整方法,分析比较了典型的Web服务调整策略的优缺点。研究表明,建立服务备份集的方法能够有效地提高服务故障修复效率,同时在服务选择阶段引入评估优化机制能够大大降低服务失效率,因此,将两种方法进行有效结合将很好地提高组合服务的稳定性。     

基于Web服务的电子商务业务流程中间件引擎的研究

从数个企业提供的逻辑相关的Web服务整合为可运行的电子商务业务流程的角度出发，分析Web服务的业务流程协议模型BPEIAWS(Business Process Execution Languagefor Web Service，Web服务的业务流程执行语言)，在此基础上设计业务流程的中间件引擎以方便企业之间的业务集成并管理、执行、监控生成的业务流程实例，设计的同时充分考虑引擎的可扩充性，以利于引擎功能的完善和智能扩展。