電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
針對Web服務(wù)的組合與驗證問題，在范疇理論描述框架的基礎(chǔ)上，引入進(jìn)程代數(shù)描述服務(wù)組件的外部行為，為Web服務(wù)系統(tǒng)的架構(gòu)描述建立了一種形式化的語義模型。Web服務(wù)作為范疇理論中的對象節(jié)點，服務(wù)間的交互和組合關(guān)系作為態(tài)射，從而以范疇圖表的形式來描述服務(wù)網(wǎng)絡(luò)。在形式化定義服務(wù)接口、Web服務(wù)、服務(wù)組合等概念的基礎(chǔ)上，進(jìn)一步分析討論了服務(wù)組合和交互過程中的語義特性，給出了Web服務(wù)可替代性和服務(wù)請求可滿足性的形式化定義。實例研究表明，該框架增強(qiáng)了Web服務(wù)架構(gòu)的語義描述能力。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 無人機(jī)無線通信協(xié)議的形式化認(rèn)證綜述 9次下載
- 基于主題模型的Web服務(wù)聚類方法綜述 8次下載
- 基于業(yè)務(wù)目標(biāo)和業(yè)務(wù)場景的語義一致性驗證方法 9次下載
- 基于定理證明其的有限域及其形式化研究 1次下載
- 基于用戶社群關(guān)系的Web服務(wù)發(fā)現(xiàn)系統(tǒng)框架 0次下載
- 通信協(xié)議形式化模型的研究 0次下載
- 操作系統(tǒng)匯編級形式化設(shè)計和驗證方法 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è)計 3987次閱讀
- 芯片開發(fā)中形式化驗證的是一個誤區(qū) 1976次閱讀
- 基于VLP模型的語義對齊機(jī)制 1166次閱讀
- 形式化建模（一） 1387次閱讀
- 如何使用ESP8266制作可配置的Web服務(wù)器 1.3w次閱讀
- 嵌入式Web服務(wù)器BOA移植與測試設(shè)計概述 1864次閱讀
- Linux搭建Web服務(wù) 5922次閱讀
- 基于嵌入式系統(tǒng)的Web服務(wù)器建立設(shè)計 3319次閱讀
- 自然語言的語義表示學(xué)習(xí)方法與應(yīng)用 7339次閱讀
- 利用TensorFlow.js，D3.js 和 Web 的力量使訓(xùn)練模型的過程可視化 7017次閱讀
- 知識圖譜系列干貨，理論+實踐 1.2w次閱讀
- Web的四大接口 6533次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費(fèi)
- 2AN158 GD32VW553 Wi-Fi開發(fā)指南
- 1.51MB | 2次下載 | 免費(fèi)
- 3AN148 GD32VW553射頻硬件開發(fā)指南
- 2.07MB | 1次下載 | 免費(fèi)
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費(fèi)
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費(fèi)
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費(fèi)
- 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費(fèi)
- 8AN-1308: 電流檢測放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費(fèi)
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費(fèi)
- 2免費(fèi)開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機(jī)智能手環(huán)心率計步器體溫顯示設(shè)計
- 0.10 MB | 130次下載 | 免費(fèi)
- 4使用單片機(jī)實現(xiàn)七人表決器的程序和仿真資料免費(fèi)下載
- 2.96 MB | 44次下載 | 免費(fèi)
- 53314A函數(shù)發(fā)生器維修手冊
- 16.30 MB | 31次下載 | 免費(fèi)
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費(fèi)
- 8感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評論