·50· 智能系统学报 第1卷 也是条件； e-Service结束交互的状态集；QC:QXC是状态的条 4)条件只能由上述规则生成： 件集 条件的语义解释是：条件porq表示状态p和 图2是一个基于带条件的有限状态自动机的旅 g只选择一个；条件p and g表示状态p,g都选择： 游购票服务，定义为： 条件p and e表示当e的值为真时才选择状态p;对 cFSA=(Q,1,O,6,m,F,QCg,其中状态集Q= 于复杂条件a and c和aora类似进行解释. 0,n,2,3,y,s,6,}:输入命令集合I=fuser- 定义5（带条件的有限状态自动机）带条件的 Data,continue,buy,stop},输出消息集合O= 有限状态自动机(inite state automata with condi- checkedAccount,notValidClient,displayed Ticket tion,cFSA)是一个六元组(Q,∑，6，，F,Qg,其 -Data,displayedResults,emailNotification, 中Q是一个有穷集合，叫做状态集；Σ是一个有穷 IXO={userData/checkedAccount,userData/ 集合，叫做字母表，6：Q×∑×QC→Q是转移函数： not Valid -Client,continue/displayed TicketData, p∈Q是起始状态；FSQ是接收状态集；QC:Q×C buy/displayed -Results,stop/emailNotification: 是状态的条件集 转移函数6为：so XuserData/checkedAccount Xha- 定义6（服务形式化模型）给定一个服务 sAir Ticket -st,so XuserData/checkedAccount X e-Service,则e-Service可以表示为一个带条件的有hasAir Ticket,so XuserData/not ValidClient X 限状态自动机cFSA,并且cFSA是一个七元组(g,true→s,s X continue/displayedStockData X I,O,6,m,F,QCg,其中Q是一个有穷集合，是true,Xbuy/displayed-Results Xtrue→4， cFSA的状态集，其中状态表示客户与e-Service交 ss Xbuy/displayedResults Xtrue -ss,s X stop/ 互序列中的历史记录或条件判断记录：1是输入命 emailNotification Xtrue -s6.ss Xstop/emailNotifi- 令input-command的有穷集合，O是输出消息 cation Xtrue→；so∈Q是起始状态；接收状态集 output-message的有穷集合，IXO是cFSA的字 F={3,%,5}:状态条件集QC是：状态So的条件 母表；6：Q×1X0×QC→Q是转移函数，即给定一 S and hasAir Ticket or S2 and 个状态，根据<input-command,output-message> hasAir Ticket)orS,状态s,2,s4,s的条件都 和条件，cFSA可以转移到另一个或几个状态；∈ 是true,而s3,%,m没有带条件. Q是起始状态；F三Q是接收状态集，即用户能够与 (s and hasAirTicket)or(s:and-hasAirTicket)or s; buy/displayedResults continue/displayedTicketData stop/emailNotification userData/checkedAccount userData/checkedAccount continue/displayedTicketData stop/emailNotification user Data/not ValidClient buy/displayedResults 图2旅游购票服务 Fig.2 Travel book service 2服务组合模型 fs455,输入命令集s=fos,s …is/,输出消息集0s=f0505,5/,字 2.1 简单结构的服务组合模型 母表10s,=fim5ios5,ios,转移函数 假设服务eS.的形式化模型cFSAes,=(Qs, =1④s,④5,8，接收状态集F=f55, es,0s,④，Sos,F,Cs),其中状态集Qs= ss},状态条件集QCs为：ss∈Qs八s年 1994-2008 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net也是条件; 4) 条件只能由上述规则生成. 条件的语义解释是 :条件 p or q 表示状态 p 和 q 只选择一个;条件 p and q 表示状态 p , q 都选择; 条件 p and e 表示当 e 的值为真时才选择状态 p ;对 于复杂条件 c1 and c2 和 c1 or c2 类似进行解释. 定义 5 (带条件的有限状态自动机) 带条件的 有限状态自动机 (finite state automata wit h condi2 tion , cFSA) 是一个六元组 ( Q , ∑,δ, q0 , F, QC) ,其 中 Q 是一个有穷集合 ,叫做状态集; ∑是一个有穷 集合 ,叫做字母表;δ: Q ×∑×QC →Q 是转移函数; q0 ∈Q 是起始状态; F Α Q 是接收状态集; QC: Q ×C 是状态的条件集. 定义 6 (服务形式化模型) 给定一个服务 e2Service ,则 e2Service 可以表示为一个带条件的有 限状态自动机 cFSA , 并且 cFSA 是一个七元组( Q , I , O ,δ, q0 , F, QC) , 其中 Q 是一个有穷集合 , 是 cFSA的状态集 ,其中状态表示客户与 e2Service 交 互序列中的历史记录或条件判断记录; I 是输入命 令 inp ut command 的有穷集合 , O 是输出消息 outp ut message 的有穷集合 , I ×O 是 cFSA 的字 母表;δ: Q ×I ×O ×QC →Q 是转移函数 ,即给定一 个状态 ,根据 < input command , output message > 和条件 ,cFSA 可以转移到另一个或几个状态 ; q0 ∈ Q 是起始状态; F ΑQ 是接收状态集 ,即用户能够与 e2Service 结束交互的状态集 ; QC:Q ×C 是状态的条 件集. 图 2 是一个基于带条件的有限状态自动机的旅 游购票服务 ,定义为 : cFSA = ( Q , I , O ,δ,s0 , F, QC) ,其中状态集Q = { s0 ,s1 ,s2 ,s3 ,s4 ,s5 ,s6 , s7 } ;输入命令集合 I = { user2 Data , continue , buy , stop } , 输出消息集合 O = {checkedAccount , notValidClient , displayedTicket 2Data , displayedResults , emailNotification} , 字母 表 I ×O = { userData/ checkedAccount , userData/ notValid 2Client , continue/ displayedTicketData , buy/ displayed 2Results , stop/ emailNotification } ; 转移函数δ为 :s0 ×userData/ checkedAccount ×ha2 sAir Ticket →s1 , s0 ×userData/ checkedAccount × ┓ hasAir Ticket →s2 , s0 ×userData/ notValidClient × true →s3 , s1 ×continue/ displayedStockData × true →s4 , s4 ×buy/ displayed 2Results ×true →s4 , s5 ×buy/ displayedResults ×true →s5 , s4 × stop/ emailNotification ×true →s6 , s5 ×stop/ emailNotifi2 cation ×true →s7 ; s0 ∈Q 是起始状态; 接收状态集 F = { s3 ,s6 ,s7 } ;状态条件集 QC 是 :状态 S0 的条件 是 ( S1 and hasAir Ticket ) or ( S2 and ┓ hasAir Ticket) or S3 ,状态 s1 , s2 , s4 , s5 的条件都 是 true ,而 s3 , s6 , s7 没有带条件. 图 2 旅游购票服务 Fig. 2 Travel book service 2 服务组合模型 2. 1 简单结构的服务组合模型 假设服务 eSi 的形式化模型 c FS AeS i = ( QeS i , IeS i , OeS i ,δeS i , S0 eS i , FeS i , QCeS i ) , 其中状态集 QeS i = { s0 eS i ,s1 eS i , …, sn eS i } , 输入命令集 IeS i = { i0 eS i , i1 eS i , …, imeS i } ,输出消息集 OeS i = { o0 eS i , o1 eS i , …, ok eS i } ,字 母表 IeS i ×OeS i = { io0 eS i , io1 eS i , …, iot eS i } , 转移函数 δeS i = {δ0 eS i ,δ1 eS i , …,δh eS i } ,接收状态集 FeS i = { su eS i , …,sv eS i } ,状态条件集 QCeS i 为 : Πsi eS i ∈QeS i ∧si eS i | · 05 · 智 能 系 统 学 报 第 1 卷