第2期 蒋运承，等：基于有限状态自动机的服务组合模型 ·53 Bs Ufsoam xee xtrue s0s=1ds.6s.6s, QCrs,y),其中状态集Qres,s=Qs,U amXy extrues.},起始状态为og,接收 sUye=fy0,,”5 状态集=Fs=Fs=(5s,5s},状态条件集 5s,5},输入命令集1s=1s,U QCay=OCs U(sos and吵 5)组合算子If-Then Else根据条件判断从2个 les Ue=ios ites imes foes 服务中选择1个执行，因而服务If-Then Else 输出消息集0g®，=0s,U0s,Ue={ms, (中，eS,,eS)需要增加1个带条件的新的起始状 00m00,y,字母表 态，如图7所示 Iit.es S XOu(tes es Ufgg les XOs Ules,X Os Ufee=(ios,ios iovs icsi (s amd or (t and-) i0,号，转移函数6r=,U,U fX到eX中一s·0yXeX中一 s}={④6,6s，8,8。,88 画西XEX中一0，g他的X到eX中一 ,起始状态为5，接收状态集 Frrtes=Fis U Fes =f sues Sves Sues 图7通过算子If-Therr Else的服务组合 s/,状态条件集QC®s=QCs,UQCs,U Fig.7 Service composition through If-Them Else ((sos andor (so and). 服务If-Then-Else(中，eS,eS,)的形式化模型 6)组合算子Iteration表示1个服务重复执行 CFSA es,y定义如下： 多次(n次)，因而服务Iteration(n,eS)需要在服 CFSAy(tes es2)=Or(ees es),Iides es), 务es的每个接收状态前增加1个带条件的判断状 Oytes es)reesFrtes 态，即判断服务eS是否执行完n次，如图8所示. (s and great(n))or (s,and-grea(n)》 a/b (s;and great(n))or (so and great(n)) E/e (a)服务es (b)服务Iteraton(n,eS) 图8通过算子Iteration的服务组合 Fig.8 Service composition Through Iteration 服务Iteration(n,eS)的形式化模型 &s Ufshs Xe xe'great (n Ufs's Xioxs X CFSA nim.s定义如下： great(W→sus}U…U{s's xeexgreat(nl→ CFSA ntn.es)Onin.es,In(n.es,On(n.es),Ou(n.e, Ufs's Xiors Xgreat (n)-s ves=ds. Fafn.e,aes,QCxw.9,其中状态集Qnta.e= ④s,As,ssxee xgreat(W→0as,ssX Qs Ufs'tes,ss}=fSo。,Si。,Sn。,ss, iovs Xgreat(w→ss,'s'ies Xeexgreat(nml一 s4s},输入命令集1h1a9=1sUE={os,s, ag,'s Xios Xgreat(W→ss/,起始状态为 is,,输出消息集0aa=OsUe={as,0s, aes,接收状态集Faay=Fs=f5s,…5s}, oms,号，字母表In(m.c59 XOw(.yU(g=1 es XOes U 状态条件集Cnn9=QCsU(and great {9号=fi0s,i0s,；i0s,9号，转移函数ms= (n))or (ss and great (n)))((so and 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.netδeS ∪{ s0 Co(φ,eS) ×ε/ε×true →s0 eS } = {δ0 eS ,δ1 eS , …,δh eS , s0 Co(φ,eS) ×ε/ε×true →s0 eS } ,起始状态为 s0 Co(φ,eS) ,接收 状态集 = FCo(φ,eS) = FeS = { su eS , …, sv eS } ,状态条件集 QCCo(φ,eS) = QCeS ∪(s0 eS andφ) . 5) 组合算子 If2Then2Else 根据条件判断从 2 个 服务 中 选 择 1 个 执 行 , 因 而 服 务 If2Then2Else (φ, eS1 , eS2 ) 需要增加 1 个带条件的新的起始状 态 ,如图 7 所示. 图 7 通过算子 If2Then2Else 的服务组合 Fig. 7 Service composition through If2Then2Else 服务 If2Then2Else (φ, eS1 ,eS2 ) 的形式化模型 c FS A If (φ,eS 1 ,eS 2 ) 定义如下 : c FS A If (φ,eS 1 ,eS 2 ) = ( QIf (φ, eS 1 ,eS 2 ) , IIf (φ, eS 1 ,eS 2 ) , OIf (φ,eS 1 ,eS 2 ) ,δIf (φ, eS 1 ,eS 2 ) ,s0 If (φ,eS 1 ,eS 2 ) , FIf (φ,eS 1 ,eS 2 ) , QCIf (φ,eS 1 ,eS 2 ) ) , 其 中 状 态 集 QIf (φ,eS 1 ,eS 2 ) = QeS 1 ∪ QeS 2 ∪s0 If (φ,eS 1 ,eS 2 ) = { s0 If (φ,eS 1 ,eS 2 ) , s0 eS 1 , s1 eS 1 , …, sn eS 1 , s0 eS 2 ,s1 eS 2 , …, sn eS 2 } ,输入命令集 IIf (φ,eS 1 ,eS 2 ) = IeS 1 ∪ IeS 2 ∪ε= { i0 eS 1 , i1 eS 1 , …, imeS 1 , i0 eS 2 , i1 eS 2 , …, imeS 2 ,ε} , 输出消息集 OIf (φ, 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 , ε} , 字 母 表 IIf (φ,eS 1 ,eS 2 ) ×OIf (φ,eS 1 ,eS 2 ) ∪{ε/ε} = IeS 1 ×OeS 1 ∪IeS 2 × OeS 2 ∪{ε/ε} = { io0 eS 1 , io1 eS 1 , …, iot eS 1 , io0 eS 2 , io1 eS 2 , …, iot eS 2 ,ε/ε} , 转移函数δIf (φ,eS 1 ,eS 2 ) =δeS 1 ∪δeS 2 ∪ { s0 If (φ,eS 1 ,eS 2 ) ×ε/ε×φ→s0 eS 1 , s0 If (φ,eS 1 ,eS 2 ) ×ε/ε×┓φ→ s0 eS 2 } = {δ0 eS 1 ,δ1 eS 1 , …,δh eS 2 ,δ0 eS 2 ,δ1 eS 2 , …,δh eS 2 , s0 If (φ,eS 1 ,eS 2 ) ×ε/ε×φ→s0 eS 1 , s0 If (φ,eS 1 ,eS 2 ) ×ε/ε×┓φ→ s0 eS 2 } , 起 始 状 态 为 s0 If (φ,eS 1 ,eS 2 ) , 接 收 状 态 集 FIf (φ,eS 1 ,eS 2 ) = FeS 1 ∪FeS 2 = { su eS 1 , …, sv eS 1 , su eS 2 , …, sv eS 2 } , 状态条件集 QCIf (φ,eS 1 ,eS 2 ) = QCeS 1 ∪QCeS 2 ∪ ( (s0 eS 1 andφ) or (s0 eS 2 and ┓φ) ) . 6) 组合算子 Iteration 表示 1 个服务重复执行 多次( n 次) ,因而服务 Iteration ( n , eS) 需要在服 务 eS 的每个接收状态前增加 1 个带条件的判断状 态 ,即判断服务 eS 是否执行完 n 次 ,如图 8 所示. 图 8 通过算子 Iteration 的服务组合 Fig. 8 Service composition Through Iteration 服 务 Iteration ( n , eS) 的 形 式 化 模 型 c FS A It ( n,eS) 定义如下 : c FS A It ( n, eS) = QIt ( n, eS) , IIt ( n, eS) , OIt ( n,eS) ,δIt ( n,eS) , FIt ( n, eS) , s0 It ( n,eS) , QCIt ( n, eS) , 其 中 状 态 集 QIt ( n, eS) = QeS ∪{ s′u eS , …, s′v eS } = { S0 es , S1 es , …, S n es , s′u eS , …, s′u eS } ,输入命令集 IIt ( n,eS) = IeS ∪ε= { i0 eS , i1 eS , …, imeS ,ε} ,输出消息集 OIt ( n,eS) = OeS ∪ε= { o0 eS , o1 eS , …, omeS ,ε} ,字母表 IIt ( n,eS) ×OIt ( n, eS) ∪{ε/ε} = IeS ×OeS ∪ {ε/ε} = { io0 eS , io1 eS , …, iot eS ,ε/ε} ,转移函数δIt( n,eS) = δeS ∪{ s′u eS ×ε×ε┓ great ( n) →s0 It ( n,eS) } ∪{ s′u eS ×iou eS × great ( n) →su eS } ∪…∪{ s′v eS ×ε/ε×┓ great ( n) → s0 It ( n,eS) } ∪{ s′v eS ×iov eS ×great ( n) →s veS } = {δ0 eS , δ1 eS , …,δh eS , s′u eS ×ε/ε×┓ great ( n) →s0 It ( n,eS) , s′u eS × iou eS ×great ( n) →su eS , …, s′v eS ×ε/ε×┓ great ( n) → s0 It ( n,eS) ,s′v eS ×iov eS ×great ( n) →sv eS } , 起始状态为 s0 It ( n,eS) ,接收状态集 FIt ( n,eS) = FeS = { su eS , …, sv eS } , 状态条件集 QCIt ( n,eS) = QCeS ∪( (s0 It ( n,eS) and ┓ great ( n) ) or ( su eS and great ( n) ) ) ∪…∪( (s0 It ( n,eS) and 第 2 期 蒋运承 ,等 :基于有限状态自动机的服务组合模型 · 35 ·