發(fā)布時間：2017-09-02 10:23

  本文關鍵詞：一種基于余代數單子的Web服務形式化模型

  更多相關文章： 服務計算 Web服務 單子技術 余代數方法

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