临沂大学信息学院 许作萍
Web服务组合的相关研究
临沂大学信息学院许作萍
随着经济的发展和竞争的加剧,企业为了提高自身的综合实力和竞争力,对一些新的技术如应用集成技术的需要进一步加深。在本文中,笔者详细的介绍了Web服务组合的一些相关的知识和发展现状以及未来的发展方向,本文的研究对于促进Web服务组合的发展有着积极的意义。
Web服务组合;语义Web;构建组装方法
在上个世纪80年代,美国着名学者 Marty Tnenbaume 针对当时互联网的发展提出了一个“因特网服务”的概念。时至今日,“因特网服务”已经转变成了“Web服务组合”。其转变的进程,也正是经济发展的结果。随着经济的发展,企业要想抓住机遇,迎合市场的需求,就要在信息的处理上快人一步,能够迅速地抓住客户的需求,了解市场的动态、充分的利用自己所拥有的资源。基于上述要求,“Web服务组合”应运而生,该方法能够在一定程度上改进企业软件系统的敏捷性、灵活性和可用性,使得企业更好的发展。
Web服务是一种软件系统,它可以支持在网络的环境下各个机器的交互,它有一个通用的标准来对其相应的运行进行规范。其余的系统按照其Web说明的方式与其进行相应的交互,交互非常快捷。其范围可扩展至全球的任何的互联网中。基于其全球性和快捷性,Web服务越来越多的被应用在企业当中。
Web服务组合就是基于Web服务的平台,对于一些用户的需求进行详细的分析,总结出用户所需要的方面,按照一定的规则来完成信息的搜集和处理,Web服务组合可用一些比较简单的轻量级的服务来创建出一些比较复杂的重量级的服务。从而可以把互联网上一些零碎的信息汇聚成一些系统的对于企业发展有帮助的信息有机体,来满足企业在发展中对于信息的需求。
按照目前对于Web服务组合的研究,我们可以将Web服务组合分为动态的Web服务组合和静态的Web服务组合。所谓静态的Web服务组合就是根据用户的需求,提前建立相应的一些解决措施来面对用户的一些需要。而所谓的动态Web服务组合,就是根据用户的实时的需求,通过目前的Web服务来组合出相应的Web服务组合来面对目前的用户需求。下面我们主要从Web服务组合的工作流程、构建组装方法和形式化方法来对其进行详细的分析。
所谓的工作流我们可以把它看做是一种具有不同功能的相连的任务。在目前的Web服务组合中,有三种技术来进行相应的操作,分别是 Web服务的业务流程执行语言、业务流程建模语言和W3C 的 Web服务编排定义语言。
Web服务的业务流程执行语言本质上是一套语法,它是一套调用服务的控制流。它的工作过程是由两个部分组成的,这两个工作过程分别是执行流程业务模式和抽象流程业务模式。执行流程业务模式主要是指在业务的运行中一个参与者的信息行为。抽象流程业务模式主要是指在业务的运行中,多个信息使用者对于信息的相互交换的行为。
业务流程建模语言是一种能够组建企业在日常运营中所有业务的一种模型,这种模型涵盖了企业的所有日常所进行的业务。其目的是促进企业的电子商务的管理。
W3C的 Web服务编排定义语言定义了交互信息的几种类型和信息在交互时所需要的一些序列和条件。一个编排描述指一个多方的合约,从全局的视点描述多个客户间的客观可观察的行为。
所谓的构件的组装,是将基于某一个问题范围内的一些构件组合成一个所需要的某些功能的一种软件。
面向对象技术中的类的概念,提出了 Web构件的概念。它的主要思想是把组合逻辑信息放入类(表示一个 Web构件)的定义中去。组合逻辑一般情况下是由消息依赖和组合类型等组成的。为充分的说明SCSL对Web构件进行相关的定义就需要提供一个轻量级的服务组合,当然这还要提供内部实现的脚本。开发一个相应的规划语言来进一步的说明相关的服务规则和如何被规划出来的。最后,以服务组合执行图 SCEG的形式提供了一个组合服务的执行结构,SGEC负责在执行期间调用相应的服务并协调它们。
加拿大 Carleton大学提出了一种能够支持动态服务组合的框架。这种框架能够支持为用户的一些实时的信息进行相应的服务。这个服务的框架功能比较齐全,包含了一些信息的供应和管理,以及一些用户的需求等一些数据。这个服务组件包含一个接口,其接口能够描述这个组件的一些行为和属性。
形式化方法是一种能够提高服务软件使用性能和功能的一些方法。这种方法是以系统的方式对框架结构进行相应的描述和相应的开发。通过形式化的方法,可以帮助我们发现系统的一些不完善和错误的漏洞并进行相应的修补。在我们所研究的Web服务组合的相关的领域内,对于其形式化方法的运用主要是指文本服务组合的规划阶段。在规划阶段对于该服务进行相应的检查,检查的内容包括流程的正确性、完整性和过程中的死锁检查等。
Web服务组合要完整的运行需要满足以下几个条件:
首先要确定准备采用什么样的模型作为我们所研究的Web服务组合的框架、在一些可以替换的服务中怎样根据QoS的相应的要求对质量的驱动来进行相应的服务的选择、采取什么样的方法来对Web服务组合的性能进行相应的检测,来确定Web服务组合所具有的价值,使Web服务组合的价值达到最大化的发展等等一系列的问题。这些问题涵盖了Web组合服务运行中的所有的问题。这些问题得不到解决,那么Web组合服务也得不到彻底的发展和相应的开发。要解决这些问题我们需要从以下两个方面来进行相应的探讨。
其中,考虑到 Web服务组合的结果将会直接面对最终的用户,QoS在应用的过程中占有着极其重要的地位,而提高 QoS的途径离不开语义信息的支持,接下来的研究将围绕这两方面展开。
经济竞争的加剧和市场的扩大需要企业能够对市场和用户需求的变化快速反应,这需要能够利用已有的服务来动态组合出新服务,服务组合问题的提出是应用需求驱动的结果。总之在Web服务组合运行的过程中,其运行的质量的差异与多种因素有着直接的关系,所以Web服务组合在未来的发展中要想稳定的发展还有很长的路要走,这也正是我们努力的方向。
[1]雷丽晖,段振华.一种基于扩展有限自动机验证组合Web服务的方法[J].软件学报,2007,12:2980-2990.
[2]蒋黎明.基于BPEL和SOA的Web服务组合技术研究与应用[D].南京理工大学,2007.
[3]郭玉彬,杜玉越,奚建清.Web服务组合的有色网模型及运算性质[J].计算机学报,2006,07:1067-1075.
[4]朱俊.基于Petri网的Web服务组合的交互模型及其应用机理的研究[D].国防科学技术大学,2011.
[5]张佩云,黄波,孙亚民.基于Petri网的Web服务组合模型描述和验证[J].系统仿真学报,2007,12:2872-2876.
[6]辜希武,卢正鼎.基于Pi-演算的BPEL4 WS Web服务组合形式化模型[J].计算机科学,2007,03:69-74.
[7]马炳先,相东明,张正明.Web服务组合的Petri网自动生成方法[J].小型微型计算机系统,2013,02:332-337.
[8]李景霞.基于扩展颜色Petri网的Web服务组合建模研究[D].中国科学院研究生院(计算技术研究所),2006.
[9]门鹏.基于Petri网的Web服务组合相关技术研究[D].西安电子科技大学,2009.
[10]王玉英.基于赋时有色Petri网的Web服务组合建模验证与测试技术研究[D].西安电子科技大学,2012.