面向服務(wù)計(jì)算形式化表示方法(北航計(jì)算機(jī)學(xué)院)(文件)
【正文】 ? 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，初始符。s,message) ? (?y?λ (amp。x,type)?? ? ?σ (amp。y,name)) 計(jì)算機(jī)學(xué)院 36 面向服務(wù)體系架構(gòu) ? 三個(gè)角色 ? 提供者 ? 使用者 ? 注冊(cè)中心 ? 三個(gè)操作 ? Publish ? Find ? Bindamp。 基調(diào)集合 Signature ={Oi, Si,1, Si,2,...,Si,k, Si,k+1|Oi?O?Si,j?S} 計(jì)算機(jī)學(xué)院 40 應(yīng)用 (Application) 定義： ? 如果 Signature=S,O是一個(gè)基調(diào)， S={Si|i?I}并且 O={Oi|i?I }。 ? 定義： d?Description， a?Application， d變換為a，記為 d?a， a變換為 d，記為 a?1d ? 定義： a?Application， s?Service， a變換為 s，記為 a?s。可達(dá)，簡(jiǎn)記為 r?r39。,d?Descriptions(r39。?Registry?r?r39。?Registry，如果 r和 r39。 應(yīng)用集合 Application={fi,Ci,1,Ci,2,...,Ci,k, Ci,k+1|fi?F?Ci,j?C} 計(jì)算機(jī)學(xué)院 41 ? Provider=Services， Signature， Description，Protocol， URL ? Registry=Description， Protocol， URL ? Consumer=Description， Application，Protocol， URL ? Service=C,F ? Signature=S,O ? Application=D,F ? Protocol={p|p是傳輸或通信協(xié)議 } 計(jì)算機(jī)學(xué)院 42 變換序列 ? Represent： ? Provider Service ? Provider Signature ? Abstract： ? Provider Signature ? Provider Description ? Publish： ? Provider Description ? Registry Description ? Find: ? (Registry + Provider) Description ? Consumer Description ? Bind: ? Consumer Description ? Consumer Application ? Invoke: ? Consumer Application? Provider Service 計(jì)算機(jī)學(xué)院 43 變換定義 ? 定義： s?Service， k?Signature， s變換為 k，記為 s∝k ； k變換為 s，記為 k∝ 1s；。服務(wù)可以表示為一組類(lèi)子有限集 C={Ci|i?I}和一組運(yùn)算有限集 F={fj|j?J}，其中 I,J是有限下標(biāo)集，每個(gè)運(yùn)算 fi可表示為 ? fi:Ci,1 Ci,2 ... Ci,k?Ci,k+1 ? Ci,j?C并且 Ci,j能表示為 XMLSchema的類(lèi)型，稱(chēng)Service=C,F是一個(gè)服務(wù)。s,types\schema\plexType) ? (σ (amp。x,name)) ? ?x=y) ? 使用 QName引用 XSD(簡(jiǎn)單類(lèi)型 )或 plexType (復(fù)合類(lèi)型 )， ? ?x?λ (amp。 計(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 XML文檔文法元語(yǔ)言 ? S=$元素文法； ? P是如下文法規(guī)則： ? $元素文法 ::= $元素類(lèi) |$元素類(lèi) $元素文法 ? $元素類(lèi) ::= ? $sequence元素 |$switch元素 |$func元素 | $t元素 |$元素 計(jì)算機(jī)學(xué)院 30 XML文檔文法元語(yǔ)言 ? $sequence元素 ::= ? sequence $狀態(tài)屬性 $元素 /sequence ? $ switch元素 ::= ? switch $choice屬性 $狀態(tài)屬性 $case元素 /switch ? $func元素 ::= ? func $狀態(tài)屬性 $函數(shù)元素 /func ? $t元素 ::= ? t $狀態(tài)屬性 字符串 /t ? $元素 ::= ? 元素名 $狀態(tài)屬性 $元素類(lèi) /元素名 ? $case元素 ::= $case元素名 $case屬性 $狀態(tài)屬性 $元素類(lèi) /元素名 ? $case元素名 ::
數(shù)學(xué)相關(guān)推薦
鄂ICP備17016276號(hào)-1