面向服務(wù)計(jì)算形式化表示方法(北航計(jì)算機(jī)學(xué)院)-資料下載頁(yè)
2025-09-26 01:35本頁(yè)面
【正文】 標(biāo)集， ? fi： Di,1 Di,2 ... Di,k?Di,k+1 ? 使得 Si,j和諸類子 Di,j之間有一一對(duì)應(yīng)關(guān)系，諸操作 Oi和諸運(yùn)算 fi之間有一一對(duì)應(yīng)關(guān)系，則稱Application=D, F是一個(gè)應(yīng)用。 應(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；。 ? 定義： k?Signature， d?Description， k變換為 d，記為 k?d； d變換為 k，記為 d?1k。 ? 定義： d?Description， a?Application， d變換為a，記為 d?a， a變換為 d，記為 a?1d ? 定義： a?Application， s?Service， a變換為 s，記為 a?s。 ? 定義： r? Registry并且 r39。?Registry，如果 r和 r39。相互可以訪問(wèn)，則稱 r和 r39。可達(dá)，簡(jiǎn)記為 r?r39。 計(jì)算機(jī)學(xué)院 44 ? Services(p:Provider) ? ={p,s|p?Provider ?s?Services} ? 簡(jiǎn)記為 Services(p) ? Signatures(p:Provider,s:Service) ? = {p,k|p,s?Services(p) ?k?Signature?s∝k} ， ? 記為 Signatures(p:Provider),或簡(jiǎn)記為Signatures(p) 計(jì)算機(jī)學(xué)院 45 ? Abstract(p:Provider, k:Signature) ? ={p,d|p,k?Signatures(p)?d?Description? k?d} ? 記為 Descriptions(p:Provider),或簡(jiǎn)記為Descriptions(p) ? Publish(p: Provider, d:Description) ? ={r,d|p,d?Descriptions(p,d)?r?Registry} ? 記為 Descriptions(r:Registry),或簡(jiǎn)記為Descriptions(r) 計(jì)算機(jī)學(xué)院 46 ? Find(c:Consumer, r:Registry) ? ={c,d|r?Registry?r39。?Registry?r?r39。? r39。,d?Descriptions(r39。)} ? 記為 Descriptions(c:Consumer, r:Registry),或簡(jiǎn)記為Descriptions(c,r) ? Find(c:Consumer,p:Provider) ? ={c,d|p,d?Descriptions(p)} ? 記為 Descriptions(c:Consumer,p:Provider),或簡(jiǎn)記為Descriptions(c,p) ? Descriptions(c:Consumer) ? =Descriptions(c,r)∪Descriptions(c,p) ? 簡(jiǎn)記為 Descriptions(c) 計(jì)算機(jī)學(xué)院 47 ? Bind(c,d) ? ={c,a|c,d?Descriptions(c)?a?Application?d?a} ? 記為 Applications(c:Consumer),或簡(jiǎn)記為 Applications(c) ? Invoke(c,a) ? ={c,a,p,s|c,a? Applications(c) ?c,dDescriptions(c)?a?1d ?p?ψ(d)?p,d?Descriptions(p) ?p,k?Signatures(p)?d?1k ?p,s? Services(p)?k∝ 1s} ? 簡(jiǎn)記為 a?s 計(jì)算機(jī)學(xué)院 48 ? Services ? ={p,s|p,s?Services(p)? p?Provider} ? Signatures ? ={p,k|p?Provider?p,k?Signatures(p)} ? Descriptions ? ={p,d|p?Provider?p,d?Descriptions(p)} ∪{r,d|r ? Registry?r,d? Descriptions(r)} ∪{c, d|c ?Consumer?c,d?Description(c)} ? Applications ? ={p,a|p?Provider?p,a?Applications(c)} 更多資料請(qǐng)?jiān)L問(wèn)：
數(shù)學(xué)相關(guān)推薦
鄂ICP備17016276號(hào)-1