只为小站
首页
域名查询
文件下载
登录
基于MDA的语义Web服务的组合与验证
针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.
2021-02-23 14:04:04
225KB
UML;语义Web服务;组合验证模型;MDA
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
空间谱估计理论与算法------程序.rar
离散时间信号处理第三版课后习题答案
2020年数模国赛A题论文(省一等奖)和代码.rar
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
ios无人直播 虚拟视频实用版 可以导入视频
scratch版 我的世界.sb2
2019西门子杯六部十层电梯群控参考程序.zip
VideoDownloadHelper去除120分钟时间限制-高级版.zip
超大规模集成电路先进光刻理论与应用.pdf
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
王万良-人工智能导论(第五版)课件
quartus II13.0器件库.zip
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
中小型企业网络建设.pkt
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
最新下载
使用opencv3.1.0识别图形进行精准定位
python-opencv的表针识别、自动读数
基于Gabor滤波指纹识别算法matlab完整程序
opencv 识别圆心
华为HCIP所有实验《华为技术认证HCNP路由交换实验指南》实验拓扑带基础配置.zip
图形化硬件编程加法器和乘法器.zip
AD域控批量管理操作工具
AD域服务器经典图文教程
Spire.Pdf.zip
AD域配置详解
其他资源
第三次国土调查工作分类图示符号库
基于MATLAB的状态反馈的极点配置
Opencv2.0.0
pytorch-resnet18和resnet50官方预训练模型
线性系统与信号
常用电子元器件3D模型
java高校家教管理系统毕业设计程序
京东最新抢购助手V1.5.exe
fileTemplates
单像空间后方交会 C++实现
Clover_v5.1_r5129_X64黑果四叶草引导
HTML5从入门到精通(第2版)配套光盘资源资源【完整版】.txt
Android数独游戏开发
2016国科大算法分析与设计考试题
简谱入门基础教程.pdf
经典485程序
HEC-RAS工程数据处理
《计算机软件工具及维护实验》期末考试
c语言控制pc扬声器代码
将TS流文件发送到以太网络上(源码)
Foodie 3D LUT luts 美食滤镜PS PR AE fcpx/预设/视频调色
机票在线订购系统