面向服務(wù)計(jì)算形式化表示方法(北航計(jì)算機(jī)學(xué)院)-全文預(yù)覽
【正文】 =sequence|switch|func|t|元素名 計(jì)算機(jī)學(xué)院 31 XML文檔文法元語(yǔ)言 ? $狀態(tài)屬性 ::= ? ?|$狀態(tài) =$狀態(tài)函數(shù) ? $狀態(tài) ::= ? S|S$狀態(tài)下標(biāo) ? $狀態(tài)下標(biāo) :: ? =1|2|3|4|5 ? $case屬性 ::= ? case =$case屬性值 |case =$case元素名 ? $case屬性值 ::= ? ?|!?|$元素名 |$屬性值 ? $狀態(tài)函數(shù) ::= ? +函數(shù) |函數(shù) |λ 函數(shù) |σ 函數(shù) |δ 函數(shù) |θ 函數(shù) |τ 函數(shù) 計(jì)算機(jī)學(xué)院 32 ? 端口類型序列 S1=S1 S2=S2 ? switch choice=S1 ? φ 元素 case=φ ? funcφ /func ? /φ 元素 ? sequence case=!φ ? 接口類型類定義 S1=δ (S1) S2=S2/ ? 端口類型序列 S1=θ (S1) S2=S2/ ? /sequence ? /switch ? /端口類型序列 計(jì)算機(jī)學(xué)院 33 ? element變量 S1=S1 ? tprivate /t ? switch choice=σ (S1,element,type) ? func case=!φ ? σ (S1,element,type) ? /func ? func case=φ ? τ (C,σ (S1,element,name)) ? /func ? /switch ? funcσ (S1,element,name)/func ? t。 ? 定義 5：如果 e0是元素名，則 e0是路徑；如果e0\e1\… \ek1是路徑，且 ek是元素名，則 e0\e1\… \ek是路徑；所有路徑集合表示為 Sp。 ? 如果 e是元素，且 e僅有 0型子元素，則稱 e是 1型元素。面向服務(wù)計(jì)算形式化 表示 方法 馬殿富 北航計(jì)算機(jī)學(xué)院 202205 計(jì)算機(jī)學(xué)院 2 主要內(nèi)容 ? 啟示 ? Services集定義 ? Services路徑 ? Services集元操作 ? Services文檔文法元語(yǔ)言 ? SOA體系結(jié)構(gòu)的形式化定義 計(jì)算機(jī)學(xué)院 3 XML示例 ? ?xml version= encoding=gb2312 ? ? 簡(jiǎn)況 ? 姓名 馬殿富 /姓名 ? 單位 北京航空航天大學(xué) 計(jì)算機(jī)學(xué)院 /單位 ? 職稱 職稱系列 =教學(xué) 教授 /職稱 ? 授課 ? 課程 離散數(shù)學(xué) /課程 ? 課程 web 服務(wù)原理 /課程 ? /授課 ? 手機(jī) 13701068603/手機(jī) ? Email/Email ? 住址 北京市海淀區(qū)大有北里 /住址 ? /簡(jiǎn)況 計(jì)算機(jī)學(xué)院 4 XML示例 ? ?xml version= encoding=UTF8? ? schema targetNamespace= xmlns= ? element name=x1 type=int/ ? element name=x2/ ? element name=x3/ ? plexType name=PaymentConfirmation ? sequence ? element name=confirmationNum type=int/ ? element name=patee type=string/ ? element name=amt type=double/ ? /sequence ? /plexType ? /schema 計(jì)算機(jī)學(xué)院 5 啟示 ? 圖靈機(jī)模型 ? qmSiSjqn ? qmSiRqn ? qmSiLqn ? 遞歸函數(shù) ? 復(fù)合、原始遞歸、取極小 (μ運(yùn)算 ) ? 數(shù)理邏輯公理系統(tǒng) ? 命題公理系統(tǒng) ? 謂詞公理系統(tǒng) ? 數(shù)學(xué)模型 計(jì)算機(jī)學(xué)院 6 Services集定義 定義 1： ? 由 XML元素名空間所確定的元素名構(gòu)成的集合稱為元素名集合，記為 Se。 計(jì)算機(jī)學(xué)院 7 XML的元素遞歸定義 定義 2： ? 如果 e是元素，且 e沒(méi)有子元素，則稱 e是 0型元素。 計(jì)算機(jī)學(xué)院 10 Services 集合示例 ? portType name=BookQuote ? operation name=getBookPrice ? input name=isbn ? message=GetBookPriceRequest/ ? output name=price ? message=GetBookPriceResponse/ ? /operation ? /portType 計(jì)算機(jī)學(xué)院 11 Services 集合示例 ? S1={input,name,isbn, input,message, GetBookPriceRequest} ? S2={output,name,isbn, output,message, GetBookPriceResponse} ? S3={operation,name,getBookPrice}?{S1}?{S2} ={operation,name,getBookPrice, {input,name,isbn, input,message, GetBookPriceRequest}, {output,name,isbn,
數(shù)學(xué)相關(guān)推薦
鄂ICP備17016276號(hào)-1