面向服務(wù)計(jì)算形式化表示方法(北航計(jì)算機(jī)學(xué)院)(編輯修改稿)
2024-10-23 01:35 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 ,m21}, ? {output,name,“o2, input,message,m22} ? }} 計(jì)算機(jī)學(xué)院 21 選擇函數(shù) σ( selector) ? σ (Ss,p)? e?{en+1|p?Sp, p=e0\e1\… \en\*, Ss(en+1)∈ Ss(en)∈ …… ∈ Ss(e1)∈ Ss(e0), en+1,*,*?Ss(en)} ? σ (Ss,p,a)? e?{v|p?Sp,p=e0\e1\… \en, Ss(en)∈ …… ∈ Ss(e1)∈ Ss(e0), en,a,v?Ss(en)} 計(jì)算機(jī)學(xué)院 22 選擇函數(shù) σ( selector) ? portType name=p1 ? operation name=“op1 ? input name=i1 message=m11/ ? output name=o1 message=m12/ ? /operation ? /portType ? σ (Ss,portType\*) ? ?operation ? σ (Ss,portType\*,“name) ? ?“op1 ? σ (Ss,portType\operation,“name) ? ?“op1 ? σ (Ss,portType\operation\output,message) ? ?m12 計(jì)算機(jī)學(xué)院 23 函數(shù) δ( car) ? δ (Ss)? S1， Ss={S1,S2,…… ,Sm} ? δ (Ss,p)?S， S?{Ss(en)1|p?Sp, p=e0\e1\… \en, Ss(en)∈ …… ∈ Ss(e1)∈ Ss(e0), Ss(en)={Ss(en)1,Ss(en)2,…… ,Ss(en)m}} ? δ (Ss,p,a)?S， S?{Ss(en)1|p?Sp, p=e0\e1\… \en, Ss(en)∈ …… ∈ Ss(e1)∈ Ss(e0), Ss(en)={Ss(en)1,Ss(en)2,…… ,Ss(en)m}, en,a,*?Ss(en)j} ? δ (Ss,p,a,v)?S， S?{Ss(en)1|p?Sp, p=e0\e1\… \en, Ss(en)∈ …… ∈ Ss(e1)∈ Ss(e0), Ss(en)={Ss(en)1,Ss(en)2,…… ,Ss(en)m},en,a,v?Ss(en)j} 計(jì)算機(jī)學(xué)院 24 函數(shù) θ (cdr) ? θ (Ss)?{S1,S2,…… ,Sm}{S1} ? θ (Ss,p)?Ss(e0) S?{Ss(en)1|p?Sp, p=e0\e1\… \en, Ss(en)∈ …… ∈ Ss(e1)∈ Ss(e0), Ss(en)={Ss(en)1,Ss(en)2,…… ,Ss(en)m}, Ss(en){Ss(en)1} ? θ (Ss,p,a)?Ss(e0)， S?{Ss(en)1|p?Sp, p=e0\e1\… \en, Ss(en)∈ …… ∈ Ss(e1)∈ Ss(e0), Ss(en)={Ss(en)1,Ss(en)2,…… ,Ss(en)m}, en,a,*?Ss(en), Ss(en){Ss(en)1} ? θ (Ss,p,a,v)?Ss(e0)， S?{Ss(en)1|p?Sp, p=e0\e1\… \en, Ss(en)∈ …… ∈ Ss(e1)∈ Ss(e0), Ss(en)={Ss(en)1,Ss(en)2,…… ,Ss(en)m}, en,a,v?Ss(en), Ss(en){Ss(en)1} 計(jì)算機(jī)學(xué)院 25 δ 與 θ 函數(shù)示例 ? portType name=p1 ? operation name=“op1 ? input name=i1 message=m11/ ? output name=o1 message=m12/ ? /operation ? /portType ? δ (S,portType\operation) ? ? {input,name,i1,input,message,m11} ? θ (S,portType\operation) ? ? ? {{portType,name, “p1, ? {operation,name,op2, ? {output,name,“o2, input,message,m22} ? } ? }} 計(jì)算機(jī)學(xué)院 26 連接函數(shù) τ ? τ (s1,s2)?s1+s2 計(jì)算機(jī)學(xué)院 27 Services文法 ? 喬姆斯基文法定義 ? V非終結(jié)符的非空集合； T終結(jié)符的非空集合； P產(chǎn)生式的非空集合； S?V，初始符。 ? 設(shè)文法 G=V,T,P,S, ? 如果 L(G)是遞歸可枚舉集，則 G稱為 0型文法 ； ? 如果 ?????P， |?|≥| ?|，則稱 G為 1型文法 ，即 上下文有關(guān)文法 ； ? 如果 ?????P， |?|≥| ?|，且 ??V，則稱 G為 2型文法 ，即 上下文無(wú)關(guān)文法 ； ? 如果 ?????P， ???均有形式 ,A??或 A?B?，則稱G為 3型文法 ，即 正則文法 。 計(jì)算機(jī)學(xué)院 28 XML文檔文法元語(yǔ)言 ? XML文法為 G=V,T,P,S，其中， ? V={$Str|Str是字符串 }； ? T={sequence,switch,choice,case,?,!?, func,t,S}? {1,2,3,4,5}? {,(,)}? {+,,λ ,σ ,δ ,θ ,τ }； 計(jì)算機(jī)學(xué)院 29 XM
數(shù)學(xué)相關(guān)推薦
鄂ICP備17016276號(hào)-1