·52· 智能系统学报 第1卷 服务Choice(eS,…,eS.)的形式化模型 CFS A cMes,,es)定义如下： cFSA cles,=(Qates,,Icfes,, Oatess,ates Fares Soates ACavtes,esy其中状态集Qaes,“e=Q,UU Qs.Ushates,5=(stoaless5 5的，6,6。，s,输入命令集1a,= 图4通过算子Alternative的服务组合 Ies U.U les Ue=f ios 1,ites imes toes Fig.4 Service composition through alternative 45，…ia,号，输出消息集0aes,5=0,U as Uos,Ue=faso.os UOes,Ue=(o 0,,字母表1 stes XOsts Uf=es,X 0s,,字母表1aesX0aeU{= Oes Ulesz XOs:U!gg=(ias ias ioes les XOes U...U Ies,XOs,Ufee =ias ios i0sio6:io,9g,转移函数s=④U i0,ioms,i0es.,i0s,,转移函数 s,U{s面，xqe Xtrue%s5面65X Bales.s=ds U...uos.Uf shates,m xex erue0s}=(④s,s,6,, true→s，”sha6s,sXqe Xtrue→s,}= A3面es,X6 Xtrue5面e5X9eX ④，4，…，4，…85s true→/，起始状态为s面，5，接收状态集 ge Xtrue一s,”5hales,xge Xtrue→ FAe)=Fs UFes =f smes Sves s ,,起始状态为s和，，接收状态集 s/,状态条件集QCe=ocs,Uoas,U Fates5)Fes U..U Fs,=(sxes.Stes, (orms,即s∈QyΛs年 ss,5s,,状态条件集QCals=QCsU Bes,如果s=6则5s的条件是 uocs U(andand or q心：如果=5则s的条件是 and.and s.s,）. 4)组合算子Condition表示只有满足一定的条 qcs如果=5而s,则s的条件是 件才执行某个服务，因而服务Condition(中，eS)需 (Ss,0r50s. 要增加1个带条件的新的起始状态，如图6所示， 3)组合算子Choice是组合算子Alternative的 推广，算子Choice表示从n个服务中选择m个服务 执行(m≤n).因而服务Choice(m,n,eS,…,eSn) (简写为Choice(eS,…,eS.)需要增加一个带条 件的新的起始状态，如图5所示。 (Sp and..and s) or ...or 图6通过算子Condition的服务组合 (and..and Su） Fig.6 Service composition through condition 服务Condition(中，es)的形式化模型 CFSAard.es定义如下： CFSAco(t.es (Ocord.es)Icord.es,Ocord.es), fey,Faey,oey,QColt.),其中状态集 Qolt.e Qes Usate =(ar5ts .Sres 输入命令集1ay=1sUe={ios,is,”ims,号， 图5通过算子Choice的服务组合 输出消息集Oaey=OsUe={os,0s,”0ms Fig.5 Service composition through Choice 号，字母表1 rt.es XOcrd.es U{号=Ies XOesL{ 号={i0s,i0s,i0s,以，转移函数as= 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net图 4 通过算子 Alternative 的服务组合 Fig. 4 Service composition through alternative 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 , io1 eS 2 , …, iot eS 2 ,ε/ε} ,转移函数δA(eS 1 ,eS 2 ) =δeS 1 ∪ δeS 2 ∪{ st0 A (eS 1 ,eS 2 ) ×ε/ε×true →s0 eS 1 , st0 A (eS 1 ,eS 2 ) ×ε/ ε×true →s0 eS 2 } = {δ0 eS 1 ,δ1 eS 1 , …,δh eS 2 ,δ0 eS 2 ,δ1 eS 2 , …, δh eS 2 ,st0 A (eS 1 , eS 2 ) ×ε/ε×true →s0 eS 1 , st0 A (eS 1 ,eS 2 ) ×ε/ε× true →s0 eS 2 } , 起始状态为 st0 A (eS 1 , eS 2 ) , 接收状态集 FA (eS 1 , eS 2 ) = FeS 1 ∪FeS 2 = { su eS 1 , …, sv eS 1 , su eS 2 , …, sv eS 2 } , 状态条件集 QCA (eS 1 ,eS 2 ) = QCeS 1 ∪QCeS 2 ∪ (s0 eS 1 or s0 eS 2 ) ,即 Πsi A (eS 1 ,eS 2 ) ∈QA (eS 1 ,eS 2 ) ∧si A (eS 1 ,eS 2 ) | FA (eS 1 ,eS 2 ) ,如果 si A (eS 1 ,eS 2 ) = si eS 1 则 si A (eS 1 ,eS 2 ) 的条件是 qci eS 1 ; 如 果 si A (eS 1 ,eS 2 ) = si eS 2 则 si A (eS 1 ,eS 2 ) 的 条 件 是 qci eS 2 ;如果 si A (eS 1 ,eS 2 ) = st0 A (eS 1 ,eS 2 ) 则 si A (eS 1 ,eS 2 ) 的条件是 (s0 eS 1 or s0 eS 2 ) . 3) 组合算子 Choice 是组合算子 Alternative 的 推广 ,算子 Choice 表示从 n 个服务中选择 m 个服务 执行( m ≤n) . 因而服务 Choice ( m , n , eS1 , …,eSn ) (简写为 Choice (eS1 , …,eSn ) ) 需要增加一个带条 件的新的起始状态 ,如图 5 所示. 图 5 通过算子 Choice 的服务组合 Fig. 5 Service composition through Choice 服务 Choice ( eS1 , …, eSn ) 的 形 式 化 模 型 c FS A Ch (eS 1 , …,eS n ) 定义如下 : c FS A Ch (eS 1 , …,eS n ) = ( QCh (eS 1 , …,eS n ) , ICh (eS 1 , …,eS n ) , OCh (eS 1 , …,eS n ) ,δCh (eS 1 , …,eS n ) , FCh (eS 1 , …,eS n ) , S0Ch (eS 1 , …,eS n ) , A CCh (eS 1 , …,eS n ) 其中状态集 QCh (eS 1 , …,eS n ) = QeS 1 ∪…∪ QeS n ∪st0 Ch (eS 1 , …,eS n ) = { st0 Ch (eS 1 , …,eS n ) , s0 eS 1 , s1 eS 1 , …, sn eS 1 , …,s0 eS n ,s1 eS n , …,sn eS n } ,输入命令集 ICh(eS 1 , …,eS n ) = IeS 1 ∪…∪IeS n ∪ε= { i0 eS 1 } , i1 eS 1 …, imeS 1 , …, i0 eS 1 , i1 eS 1 , …, imeS 1 n ,ε} ,输出消息集 OCh (eS 1 , …,eS n ) = OeS 1 ∪ …∪OeS n ∪ε= { o0 eS 1 , o1 eS 1 , …, omeS 1 , …, o0 eS n , o1 eS n , …, omeS n ,ε} ,字母表 ICh(eS 1 , …,eS n ) ×OCh (eS 1 , …,eS n ) ∪{ε/ε} = IeS 1 ×OeS 1 ∪…∪IeS n ×OeS n ∪{ε/ε} = { io0 eS 1 , io1 eS 1 , …, iot eS 1 , …, io0 eS n , io1 eS n , …, iot eS n ,ε/ε} , 转移函数 δCh (eS 1 , …,eS n ) =δeS 1 ∪…∪δeS n ∪{ st0 Ch (eS 1 , …,eS n ) ×ε/ε× true →s0 eS 1 , …, st0 Ch (eS 1 , …,eS n ) ×ε/ε×true →s0 eS n } = {δ0 eS 1 ,δ1 eS 1 , …,δh eS 2 ,δ0 eS 2 ,δ1 eS 2 , …,δh eS 2 ,st0 A (eS 1 ,eS 2 ) × ε/ε×true →s0 eS 1 , …, st0 Ch (eS 1 , …,eS n ) ×ε/ε×true → s0 eS n } , 起 始 状 态 为 st0 Ch (eS 1 , …,eS n ) , 接 收 状 态 集 FCh (eS 1 ,eS 2 ) = FeS 1 ∪…∪FeS n = { su eS 1 , …, sv eS 1 , …, su eS n , …, sv eS n } ,状态条件集 QCCh (eS 1 , …,eS n ) = QCeS 1 ∪ …∪QCeS n ∪( (s0 eS 1 , and …and s0 eSm ) or …or (s0 eS( n - m) and …and s0 eS n ) ) . 4) 组合算子 Condition 表示只有满足一定的条 件才执行某个服务 ,因而服务 Condition (φ,eS) 需 要增加 1 个带条件的新的起始状态 ,如图 6 所示. 图 6 通过算子 Condition 的服务组合 Fig. 6 Service composition through condition 服 务 Condition (φ, eS) 的 形 式 化 模 型 c FS A Co(φ, eS) 定义如下 : c FS A Co(φ,eS) = ( QCo(φ,eS) , ICo(φ,eS) , OCo(φ,eS) , δCo(φ,eS) , FCo(φ,eS) , s0 Co(φ,eS) , QCCo(φ,eS) ) , 其 中 状 态 集 QCo(φ,eS) = QeS ∪s0 Co(φ,eS) = { s0 Co(φ,eS) , s0 eS , s1 eS , …, sn eS } , 输入命令集 ICo(φ,eS) = IeS ∪ε= { i0 eS , i1 eS , …, imeS ,ε} , 输出消息集 OCo(φ, eS) = OeS ∪ε= { o0 eS , o1 eS , …, omeS , ε} ,字母表 ICo(φ,eS) ×OCo(φ, eS) ∪{ε/ε} = IeS ×OeS ∪{ε/ ε} = { io0 eS , io1 eS , …, iot eS ,ε/ε} , 转移函数δCo(φ,eS) = · 25 · 智 能 系 统 学 报 第 1 卷