基于网的服务链表示

时间：2022-05-05 百科知识版权反馈

【摘要】：基于网的服务链表示4.2　基于Petri网的服务链表示服务链是实现应用模型服务集成的有效方式,用户可以通过三种链模式构建服务链。Petri网由于具有严格的定义,并可实现推理,验证网的合理性等,是服务链建模与表示的有效工具之一。服务链是多个服务的有限集合,服务链可以直接映射为Petri网的各要素,操作可用变迁建模、状态可用库所表示、操作与状态之间的关系通过有向弧表示。

基于网的服务链表示

4.2　基于Petri网的服务链表示

服务链是实现应用模型服务集成的有效方式,用户可以通过三种链模式构建服务链。为了有效组合表达服务链,对服务链的合理性、可达性、有效性进行评价,服务链建模方法研究是十分重要的,服务链的建模方法包括UML的状态图、Petri网等。Petri网是一种适用于多种系统的图形化、数学化建模工具,为描述和研究具有并行、异步、分布式和随机性特征的复杂系统提供了强有力的手段。Petri网由于具有严格的定义,并可实现推理,验证网的合理性等,是服务链建模与表示的有效工具之一。服务链定义语言是建立在服务链建模与表示的基础上的。

服务链是多个服务的有限集合,服务链可以直接映射为Petri网的各要素,操作可用变迁建模、状态可用库所表示、操作与状态之间的关系通过有向弧表示。利用Petri网表达一个服务链还包括输入库所与输出库所两个特殊的库所。而服务的状态可以分为:代绪、就绪、运行、悬挂和完成五种。基于Petri网的服务定义（Hamadi,2003）如下:

服务链是标定了库所与事务的链,可以用六元组的方式表达:

SN=（P,T,W,i,o,l）,式中:

P表示有限的库所集；

T表示服务操作事务的有限集；

W≤（P×T）∪（T×P）表示有向弧或关系流的集合；

i表示输入库所；

o表示输出库所；

l:T→A∪｛τ｝是一标签函数,A是操作名称的集合；

库所i是服务的初始标记,服务的执行始于库所i中的一个token,且终止在输出库所的另一个token。

服务链的组成可以细化为如下十种原子方式:

ε表示空服务,例如一个服务不执行相关操作,SN=（｛p｝,ф,ф,p,p,ф）,如图4.5所示；

X表示一个具体服务,可认为是基本或原子服务S,如图4.5所示；

图4.5　空服务与具体服务S₁、S₂、S₃

S₁ΘS₂表示服务顺序执行,即仅在S₁执行完以后,才能运行S₂,Θ表示了顺序关系,如图4.6所示；

图4.6　服务顺序组合

S₁＋S₂表示两个服务是可选择的,一旦选择了S₁将放弃S₂,反之亦然,＋表示可选操作；

S₁□S₂表示服务双向执行,具有不定顺序,即可以从S₁到S₂,或者S₂到S₁,□表示双向不定顺序；

μS表示具有执行时间限制的服务,μ表示操作的规则；

S₁‖cS₂表示服务交互执行,S₁与S₂独立执行,但可在成对的操作集上进行交互,‖c表示可交互的平行操作；

（S₁｜S₂）→S₃表示服务可选顺序执行,S₃的执行必须在S₁与S₂任一服务执行完后执行,→是一鉴别器,S₁与S₂独立执行,不能进行交互；

［S₁（p₁,q₁）:S_n（p_n,q_n）］表示服务选择执行,在n个可选的服务S₁,…,S_n中选择一个服务并执行。该操作执行过程为:一个具体请求消息发送到在n个可获取服务提供端的访问点p₁,…,p_n,根据服务提供端返回的出口访问点q₁,…,q_n,以及集成条件（价格、传输时间等）,选择最好的服务。［:］表示选择操作,如图4.7所示。