基于MDA的语义Web服务的组合与验证
针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.
文件下载
评论信息
其他资源
- HT1381驱动C
- 编译原理-语义分析器（C语言源码）
- 相位跟踪算法计算条纹图相位
- 汇编程序-输入学生成绩并进行排名显示
- 计算机组装与维护教案（完整版）
- 校园网需求分析.doc
- Unity3D贪吃蛇源码
- Android手机之间的蓝牙通信客户端和服务端代码
- 计算机网络实验 分析Ethernet II帧.rar
- C#ImageEnhance图像增强
- 用C语言对图像加高斯噪声
- 基于汇编语言的万年历的设计
- android使用webview上传文件兼容问题解决支持5.0以上系统
- 凯立德配置文件修改器.exe
- 短语_猜猜_游戏-源码
- 蚂蚁集团-2021全球10大金融科技趋势.pdf
- TL1769_Initial_Ver0.7_20060213.pdf
- 2021年HCIE3.0 新数通 LAB完整版【拓扑+TS+TAC+解法】解法题库赠HCIE笔试题库
- 重庆邮电大学《低频电子电路》历年期末考试试卷（含答案）.pdf
- 原软件+简易条码1.5注册机（自己注册使用过）
- 计算机网络原理学习指导376页
- 交通路灯控制的multisim仿真电路
- 中兴mf253s 全网通 固件
- 组态王教程——使用手册+命令语言函数速查手册
- 中柏/jumper 4s pro 原装BIOS
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明