·54· 智能系统学报 第1卷 "great(n)or (s.s and great(n)). (中，eS)需要在服务eS的每个接收状态前增加1个 7)组合算子Repeat-Until表示执行某个服 带条件的判断状态，即判断服务es是否满足条件 务，直到满足一定的条件，因而服务Repeat-Until 中，如图9所示. (s and or (s and-) a/b (s,and or (suand-p） E/E (a)服务es (b)服务Repeat_Untikp.eS) 图9通过算子Repeat-Until的服务组合 Fig.9 Service composition through Repeat-Until 服务Repeat-Until(中，eS)的形式化模型 ssXe人中0ua9,s's Xiors中s},起始 CFSA RUrhe定义如下： 状态为0us,接收状态集F则=Fs={5s CFSA RU(e.es ORu(d.es)IRu(d.es),ORu(d.es), Ss},状态条件集QCue9=QCsU(0S 可ur,Fauy,ury,QCus),其中状态集 and or (ss and)U((so and or Qwure.es Qes Ufs hes,stes=(s0s Stes,Sns (ss and). s6,…ss},输入命令集1mey=1sUe=f而s, 8)组合算子Repeat-While表示当满足某个条 es,is,y,输出消息集Ouey=OsUe= 件就执行服务，直到该条件不满足为止，可以看出， {s,0s,0ms,,字母表IuA9XOU®esU 组合算子Repeat-While是组合算子Condition和 e les XOes Ugg=(ias,ios,ios., 组合算子Repeat-Until的结合，因而服务Repeat- 转移函数y=④s Uls'ts xgex中0侧y}U While(中，eS)需要增加1个带条件的新的起始状 fs'sXi0sXφ→ss}U…U{s's XgEx中一 态，并在服务es的每个接收状态前增加一个带条件 0uas}U{ssXi0sX中→ss}={6s,④s, 的判断状态，如图10所示」 8s,ssX9中→0uag,5sXi0sX中→Ss, (sand-p)） or (rs,and) a/b (s and-)or (rs,and c/t c/ E/E (a)服务cs (b)服务Repeat._whle(p.eS) 图I0通过算子Repeat-While的服务组合 Fig.10 Service composition through Repeat_While 服务Repeat-While(中，eS)的形式化模型 8ry,Fn,0we,QCe),其中状态集 CFSA RW(.eS)定义如下： Our(d.es Qes Ufs 4s,stes Uso gares =150e Stes, C FSA RW快ey=（QRr(仲e,IRw(.es,ORw体.ey, 5,5s,5s,0m9},输入命令集 1994-2008 China Academic Journal Electronie Publishing House.All rights reserved.http://www.cnki.net┓ great ( n) ) or (sv eS and great ( n) ) ) . 7) 组合算子 Repeat Until 表示执行某个服 务 ,直到满足一定的条件 ,因而服务 Repeat Until (φ, eS) 需要在服务 eS 的每个接收状态前增加 1 个 带条件的判断状态 ,即判断服务 eS 是否满足条件 φ,如图 9 所示. 图 9 通过算子 Repeat Until 的服务组合 Fig. 9 Service composition through Repeat Until 服务 Repeat Until (φ, eS) 的形式化模型 c FS A RU (φ, eS) 定义如下 : c FS A RU (φ,eS) = ( QRU (φ,eS) , I RU (φ, eS) , ORU (φ,eS) , δRU (φ,eS) , FRU (φ, eS) , s0 RU (φ,eS) , QCRU (φ,eS) ) , 其中状态集 QRU (φ,eS) = QeS ∪{ s′u eS , …, s′v eS } = { s0 eS , s1 eS , …, sn eS , s′u eS , …,s′v eS } ,输入命令集 I RU (φ,eS) = IeS ∪ε= { i0 eS , i1 eS , …, imeS ,ε} , 输出消息集 ORU (φ,eS) = OeS ∪ε= { o0 eS , o1 eS , …, omeS ,ε} , 字母表 I RU (φ,eS) ×ORU (φ,eS) ∪ {ε/ε} = IeS ×OeS ∪{ε/ε} = { io0 eS , io1 eS , …, iot eS ,ε/ε} , 转移函数δRU (φ,eS) =δeS ∪{ s′u eS ×ε/ε× ┓φ→s0 RU ( n,eS) } ∪ { s′u eS ×iou eS ×φ→su eS } ∪…∪{ s′v eS ×ε/ε× 」φ→ s0 RU ( n,eS) } ∪{ s′v eS ×iov eS ×φ→sv eS } = {δ0 eS ,δ1 eS , …, δh eS ,s′u eS ×ε/ε」φ→s0 RU ( n,eS) , s′u eS ×iou eS ×φ→su eS , …, s′v eS ×ε/ε× 」φ→s0 RU ( n,eS) , s′v eS ×iov eS ×φ→sv eS } ,起始 状态为 s0 RU (φ,eS) , 接收状态集 FRU (φ,eS) = FeS = { su eS , …,sv eS } ,状态条件集 QCRU (φ,eS) = QCeS ∪ ( (s0 RU (φ,eS) and 」φ) or (su eS andφ) ) ∪…∪( (s0 RU (φ,eS) and 」φ) or (sv eS andφ) ) . 8) 组合算子 Repeat While 表示当满足某个条 件就执行服务 ,直到该条件不满足为止 ,可以看出 , 组合算子 Repeat While 是组合算子 Condition 和 组合算子 Repeat Until 的结合 ,因而服务 Repeat While (φ, eS) 需要增加 1 个带条件的新的起始状 态 ,并在服务 eS 的每个接收状态前增加一个带条件 的判断状态 ,如图 10 所示. 图 10 通过算子 Repeat While 的服务组合 Fig. 10 Service composition through Repeat While 服务 Repeat While (φ, eS) 的形式化模型 c FS A RW (φ,eS) 定义如下 : c FS A RW (φ,eS) = ( QRW (φ,eS) , I RW (φ,eS) , ORW (φ,eS) , δRW (φ,eS) , FRW (φ, eS) , s0 RW (φ,eS) , QCRW (φ, eS) ) , 其中状态集 QRW (φ,eS) = QeS ∪{ s′u eS , …,s′v eS } ∪s0 RW (φ,eS) = { s0 eS ,s1 eS , …, sn eS , s′u eS , …, s′v eS , s0 RW (φ,eS) } , 输 入 命 令 集 · 45 · 智 能 系 统 学 报 第 1 卷