資料介紹
針對Web服務(wù)的組合與驗證問題,在范疇理論描述框架的基礎(chǔ)上,引入進程代數(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ǔ)上,進一步分析討論了服務(wù)組合和交互過程中的語義特性,給出了Web服務(wù)可替代性和服務(wù)請求可滿足性的形式化定義。實例研究表明,該框架增強了Web服務(wù)架構(gòu)的語義描述能力。
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
- 无人机无线通信协议的形式化认证综述9次下载
- 基于主题模型的Web服务聚类方法综述8次下载
- 基于业务目标和业务场景的语义一致性验证方法9次下载
- 基于定理证明其的有限域及其形式化研究1次下载
- 基于用户社群关系的Web服务发现系统框架0次下载
- 通信协议形式化模型的研究0次下载
- 操作系统汇编级形式化设计和验证方法1次下载
- 基于SCL的数字化变电站语义交换模型21次下载
- 一种服务网络拓扑结构的形式化描述方法_陈鹏2次下载
- 基于扩展UDDI语义Web服务发现框架的研究19次下载
- 基于语义Web服务的智能电信业务模型13次下载
- 基于Chord的带有QoS的语义Web服务发现方法研究9次下载
- 基于CAN协议P2P网络的语义web服务模型11次下载
- 形式化方法和测试技术及其在安全中的应用25次下载
- 基于工作流技术的复合语义Web服务框架16次下载
- 如何配置Linux防火墙和Web服务器1175次阅读
- Ubuntu 系统部署 Caddy Web 服务器全攻略!464次阅读
- 如何使用HTTP服务器搭建本地Web网站2545次阅读
- 图像分割与语义分割中的CNN模型综述2036次阅读
- 显示Web服务器中的内存使用情况1135次阅读
- 大型语言模型能否捕捉到它们所处理和生成的文本中的语义信息968次阅读
- 基于ESP32的简易web服务器设计4650次阅读
- 芯片开发中形式化验证的是一个误区2365次阅读
- 基于VLP模型的语义对齐机制1583次阅读
- 形式化建模(一)1633次阅读
- 嵌入式Web服务器BOA移植与测试设计概述2118次阅读
- Linux搭建Web服务6143次阅读
- 基于嵌入式系统的Web服务器建立设计3508次阅读
- 利用TensorFlow.js,D3.js 和 Web 的力量使训练模型的过程可视化7319次阅读
- 知识图谱系列干货,理论+实践12363次阅读
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關(guān)電源設(shè)計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關(guān)電源設(shè)計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論