電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
針對Web服務(wù)的組合與驗(yàn)證問題，在范疇理論描述框架的基礎(chǔ)上，引入進(jìn)程代數(shù)描述服務(wù)組件的外部行為，為Web服務(wù)系統(tǒng)的架構(gòu)描述建立了一種形式化的語義模型。Web服務(wù)作為范疇理論中的對象節(jié)點(diǎn)，服務(wù)間的交互和組合關(guān)系作為態(tài)射，從而以范疇圖表的形式來描述服務(wù)網(wǎng)絡(luò)。在形式化定義服務(wù)接口、Web服務(wù)、服務(wù)組合等概念的基礎(chǔ)上，進(jìn)一步分析討論了服務(wù)組合和交互過程中的語義特性，給出了Web服務(wù)可替代性和服務(wù)請求可滿足性的形式化定義。實(shí)例研究表明，該框架增強(qiáng)了Web服務(wù)架構(gòu)的語義描述能力。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 無人機(jī)無線通信協(xié)議的形式化認(rèn)證綜述 9次下載
- 基于主題模型的Web服務(wù)聚類方法綜述 8次下載
- 基于業(yè)務(wù)目標(biāo)和業(yè)務(wù)場景的語義一致性驗(yàn)證方法 9次下載
- 基于定理證明其的有限域及其形式化研究 1次下載
- 基于用戶社群關(guān)系的Web服務(wù)發(fā)現(xiàn)系統(tǒng)框架 0次下載
- 通信協(xié)議形式化模型的研究 0次下載
- 操作系統(tǒng)匯編級形式化設(shè)計(jì)和驗(yàn)證方法 1次下載
- 基于SCL的數(shù)字化變電站語義交換模型 21次下載
- 一種服務(wù)網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)的形式化描述方法_陳鵬 2次下載
- 基于擴(kuò)展UDDI語義Web服務(wù)發(fā)現(xiàn)框架的研究
- 基于語義Web服務(wù)的智能電信業(yè)務(wù)模型
- 基于Chord的帶有QoS的語義Web服務(wù)發(fā)現(xiàn)方法研究
- 基于CAN協(xié)議P2P網(wǎng)絡(luò)的語義web服務(wù)模型
- 形式化方法和測試技術(shù)及其在安全中的應(yīng)用
- 基于工作流技術(shù)的復(fù)合語義Web服務(wù)框架
- 圖像分割與語義分割中的CNN模型綜述 1069次閱讀
- Web開播系統(tǒng)的技術(shù)演進(jìn) 713次閱讀
- 大型語言模型能否捕捉到它們所處理和生成的文本中的語義信息 746次閱讀
- 基于ESP32的簡易web服務(wù)器設(shè)計(jì) 3987次閱讀
- 芯片開發(fā)中形式化驗(yàn)證的是一個(gè)誤區(qū) 1976次閱讀
- 基于VLP模型的語義對齊機(jī)制 1166次閱讀
- 形式化建模（一） 1387次閱讀
- 如何使用ESP8266制作可配置的Web服務(wù)器 1.3w次閱讀
- 嵌入式Web服務(wù)器BOA移植與測試設(shè)計(jì)概述 1864次閱讀
- Linux搭建Web服務(wù) 5922次閱讀
- 基于嵌入式系統(tǒng)的Web服務(wù)器建立設(shè)計(jì) 3319次閱讀
- 自然語言的語義表示學(xué)習(xí)方法與應(yīng)用 7339次閱讀
- 利用TensorFlow.js，D3.js 和 Web 的力量使訓(xùn)練模型的過程可視化 7017次閱讀
- 知識圖譜系列干貨，理論+實(shí)踐 1.2w次閱讀
- Web的四大接口 6533次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評論