本文關(guān)鍵詞：一種基于余代數(shù)單子的Web服務(wù)形式化模型

  更多相關(guān)文章： 服務(wù)計算 Web服務(wù) 單子技術(shù) 余代數(shù)方法

【摘要】：為拓展服務(wù)計算的形式化研究視野、手段和方法,建立并實現(xiàn)了一種針對Web服務(wù)的服務(wù)計算形式化模型。鑒于開放環(huán)境下的服務(wù)實體主要來源于不同的第三方提供者,將軟件實體抽象成余代數(shù)單子,從而以一種黑盒方式給出軟件服務(wù)的語義模型。給出了余代數(shù)單子的一般性定義,在此基礎(chǔ)上對軟件服務(wù)進行單子描述,進而提出一種基于余代數(shù)方法和單子技術(shù)的Web服務(wù)參考模型。最后,實現(xiàn)了一個基于單子的Web服務(wù)計算平臺原型系統(tǒng),可支持從遺留系統(tǒng)中進行服務(wù)抽取、發(fā)布、發(fā)現(xiàn)和度量等。
【作者單位】： 南京郵電大學(xué)理學(xué)院;桂林電子科技大學(xué)廣西可信軟件重點實驗室;南京郵電大學(xué)計算機學(xué)院;
【關(guān)鍵詞】： 服務(wù)計算 Web服務(wù) 單子技術(shù) 余代數(shù)方法
【基金】：國家自然科學(xué)基金(61562015)資助項目 廣西高等學(xué)校高水平創(chuàng)新團隊及卓越學(xué)者計劃資助項目 江蘇省“青藍工程”中青年學(xué)術(shù)帶頭人項目資助項目
【分類號】：TP393.09
【正文快照】： 引用格式:許碧歡,錢俊彥,張迎周,等.一種基于余代數(shù)單子的Web服務(wù)形式化模型[J].南京航空航天大學(xué)學(xué)報,2016,48(5):668-676.Xu Bihuan,Qian Junyan,Zhang Yingzhou,et al.Formal method of web service based on coalge-braic monads[J].Journal of Nanjing University of Aer，

本文編號：777987