第2期 蒋运承，等：基于有限状态自动机的服务组合模型 ·51· Fs,5s的条件是qCs 0ms,0,0%},字母表1ses,es XOstes1sy= 1)组合算子Sequence表示2个服务可以连续 les XOes Ules XOes2 =(ias ioes,ioes, 执行，即第1个服务的输出是第2个服务的输入，因 i0,i0s,转移函数④s=,U,= 而服务eS,和eS,通过算子Sequence组合成一个 1④。，8，，4，…8s},起始状态 新的服务的条件是eS,的一个接受状态是eS的起 始状态，即3ss∈F=(5,5s/,使得 S0s=6,接收状态集Fs=F,U ss=0s成立.服务Sequence(eS,eSa)的形式化 F5mes=f%,5s,5线’5-5es= 模型cFSAstes,)定义如下： …55*1”55气…55，状 CFS Astes)=(Ostes e)Istes)),Ostes), 态条件集QCe,y=QCs,UQCs,即 &es,0ss,F压e,QCss,其中状态 s6∈sesy八sge年Fs,如果 集0sesy=0sU0s则5={sss，” 5的=s则ss的条件是9G;如果 5,5},输入命令集1 ste5:53=1s,U 5s=5s则ss的条件是g95 ls,={osh,i的0i，…i线，输出 图3是将服务eS!和eS通过算子Sequence组 合成一个新的服务的例子 消息集O5e1=0s1U0s={0s,0s,”01 (s and c)or s:and-c)or s (h andd)or (t:and d or h 访 o/p e 9 (a)服务eS b)服务eS: (s and ci)or s2 and-c)or (1 and d,)or I:and-d)or h a/b o/p (e)服务Sequence(eS,es:) 图3通过算子Sequence的服务组合 Fig.3 Service composition through sequence 2)组合算子Alternative表示2个服务只能执 cFSAA(eS)=(Qa(es )IAfeS,Oafes) 行其中的1个，因而任何2个服务eS和eS:都能 es,0es,Bs,Qes,其中状态 够通过算子Alternative组合成一个新的服务，该服 Qates5)=Qes:UQes:Usto tes(stotes 务需要在服务eS:和eS2前增加一个带条件的新的 起始状态，如图4所示. 4，”55,…55,号，输入命令 服务Alternative(eS,eS,)的形式化模型 集1es=sUls,Ue=fo线，s，…is cFSA4es,y定义如下： shs,is,y,输出消息集Os= 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.netFeS i ,si eS i 的条件是 qci eS i . 1) 组合算子 Sequence 表示 2 个服务可以连续 执行 ,即第 1 个服务的输出是第 2 个服务的输入 ,因 而服务 eS1 和 eS2 通过算子 Sequence 组合成一个 新的服务的条件是 eS1 的一个接受状态是 eS2 的起 始状态 , 即 ϖsweS 1 ∈FeS 1 = { su eS 1 , …, sv eS 1 } , 使得 sweS 1 = s0 eS 2 成立. 服务 Sequence (eS1 , eS2 ) 的形式化 模型 c FS A S (eS 1 ,eS 2 ) 定义如下 : c FS A S (eS 1 ,eS 2 ) = ( QS (eS 1 ,eS 2 ) , IS (eS 1 ,eS 2 ) ) , OS (eS 1 ,eS 2 ) , δS (eS 1 ,eS 2 ) , s0 S (eS 1 ,eS 2 ) , FS (eS 1 ,eS 2 ) , QCS (eS 1 ,eS 2 ) , 其中状态 集 QS (eS 1 ,eS 2 ) = QeS 1 ∪QeS 2 - s0 eS 2 = { s0 eS 1 , s1 eS 1 , …, sn eS 1 , s1 eS 2 , …, sn eS 2 } , 输入命令集 IS (eS 1 ,eS 2 ) = IeS 1 ∪ IeS 2 = { i0 eS 1 , i1 eS 1 , …, imeS 1 , i0 eS 2 , i1 es 2 , …, imeS 2 } ,输出 消息集 OS (eS 1 ,eS 2 ) = OeS 1 ∪OeS 2 = { o0 eS 1 , o1 eS 1 , …, ok eS 1 , o0 eS 2 , o1 es 2 , …, ok eS 2 } , 字母表 IS (eS 1 ,eS 2 ) ×QS (eS 1 ,eS 2 ) = IeS 1 ×OeS 1 ∪IeS 2 ×OeS 2 = { io0 eS 1 , io1 eS 1 , …, iot eS 1 , io0 eS 2 , …, iot eS 2 } , 转移函数 δS (eS 1 ,eS 2 ) =δeS 1 ∪δeS 2 = {δ0 es 1 δ1 eS 1 , …,δh eS 1 ,δ0 eS 2 ,δ1 eS 2 , …,δh eS 2 } , 起始状态 S0 S (eS 1 ,eS 2 ) = s0 eS 1 , 接 收 状 态 集 FS (eS 1 ,eS 2 ) = FeS 1 ∪ FeS 2 - sweS 1 = { su eS 1 , …, sv eS 1 , su eS 2 , …, sv eS 2 } - sweS 1 = { su eS 1 , …,sw - 1 eS 1 , sw + 1 eS 1 , …, sv eS 1 , su eS 2 , …, sv eS 2 } ,状 态 条 件 集 QCS (eS 1 ,eS 2 ) = QCeS 1 ∪ QCeS 2 , 即 Πsi S (eS 1 ,eS 2 ) ∈QS (eS 1 ,eS 2 ) ∧si S (eS 1 ,eS 2 ) | FS (eS 1 ,eS 2 ) , 如果 si S (eS 1 ,eS 2 ) = si eS 1 则 si S (eS 1 ,eS 2 ) 的 条 件 是 qci eS 1 ; 如 果 si S (eS 1 ,eS 2 ) = si eS 2 则 si S (eS 1 ,eS 2 ) 的条件是 qci eS 2 . 图 3 是将服务 eS1 和 eS2 通过算子 Sequence 组 合成一个新的服务的例子. 图 3 通过算子 Sequence 的服务组合 Fig. 3 Service composition through sequence 2) 组合算子 Alternative 表示 2 个服务只能执 行其中的 1 个 ,因而任何 2 个服务 eS1 和 eS2 都能 够通过算子 Alternative 组合成一个新的服务 ,该服 务需要在服务 eS1 和 eS2 前增加一个带条件的新的 起始状态 ,如图 4 所示. 服务 Alternative ( eS1 , eS2 ) 的 形 式 化 模 型 c FS A A (eS 1 ,eS 2 ) 定义如下 : c FS A A (eS 1 ,eS 2 ) = ( QA (eS 1 ,eS 2 ) , IA (eS 1 ,eS 2 ) , OA (eS 1 ,eS 2 ) , δA (eS 1 ,eS 2 ) , s0 A (eS 1 ,eS 2 ) , FA (eS 1 ,eS 2 ) , QCA (eS 1 ,eS 2 ) , 其中状态 集 QA (eS 1 ,eS 2 ) = QeS 1 ∪QeS 2 ∪st0 A (eS 1 ,eS 2 ) = { st0 A (eS 1 ,eS 2 ) , s0 eS 1 ,s1 eS 1 , …, sn eS 1 , s0 eS 2 , s1 eS 2 , …, sn eS 2 ,ε} ,输入命令 集 IA (eS 1 ,eS 2 ) = IeS 1 ∪IeS 2 ∪ε= { i0 eS 1 , i1 eS 1 , …, imeS 1 , i0 eS 2 , i1 eS 2 , …, imeS 2 ,ε} , 输 出 消 息 集 OA (eS 1 ,eS 2 ) = 第 2 期 蒋运承 ,等 :基于有限状态自动机的服务组合模型 · 15 ·