资料介绍
构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的形式化建模提供了统一框架和自动化基础。同时,通过分析服务过程自动机的可接受位置及其在组合过程中可能产生的约束,将相容性划分为三个等级,从而能够在不同强度的可靠性要求下进行组合服务的验证工作。

下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于Arduino和OLED元胞自动机
- 基于Arduino和OLED的元胞自动机 0次下载
- 同步有界偏序自动机的同步性问题研究 5次下载
- 自动机终结字查找算法实现优化综述 3次下载
- 基于统计的AC自动机空间优化 0次下载
- 自动机凸轮机构的设计与动作协调性分析 0次下载
- 异步多进程时间自动机的可覆盖性问题 0次下载
- 自动机械设计 0次下载
- 元胞自动机的介绍资料 3次下载
- [自动机与自动线].李绍炎.扫描版 0次下载
- 基于扩展UDDI语义Web服务发现框架的研究
- 用于信息加密的分子自动机的编码研究
- 高可用性双机系统的有限自动机
- 加性细胞自动机的同构性分析
- NFA→FA→GFA自动机转换算法
- 2014款保时捷卡宴车行驶中发动机偶尔自动熄火 451次阅读
- S7-1500做服务器端与三方设备的TCP通信 2017次阅读
- 词法分析-Antlr-1 810次阅读
- 嵌入式软件架构设计之状态机 2145次阅读
- 数字二进制计数器的设计和实现 1868次阅读
- 双脉冲开关的特性是什么,IGBT开通和关断过程描述 8653次阅读
- 自动控制的电动机可逆运行电路 6273次阅读
- 揭开 S 参数的秘密 6365次阅读
- 自动机器学习的研究动机 4023次阅读
- 深度学习服务器组装经验过程分享 3w次阅读
- 自动驾驶汽车的分级标准,其对自动化的描述共有4个级别 2w次阅读
- 用PLC与变频器来控制电动机教你实际操作 2.5w次阅读
- 发动机启停技术怎么用_发动机启停可以关闭吗 2.8w次阅读
- 电动机在运行过程中比较常见的故障处理方法 1w次阅读
- PCB行业新技能:自动化设备+工业机器人 5307次阅读
下载排行
本周
- 1DC电源插座图纸
- 0.67 MB | 2次下载 | 免费
- 2AN158 GD32VW553 Wi-Fi开发指南
- 1.51MB | 2次下载 | 免费
- 3AN148 GD32VW553射频硬件开发指南
- 2.07MB | 1次下载 | 免费
- 4AN111-LTC3219用户指南
- 84.32KB | 次下载 | 免费
- 5AN153-用于电源系统管理的Linduino
- 1.38MB | 次下载 | 免费
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下载 | 免费
- 7SM2018E 支持可控硅调光线性恒流控制芯片
- 402.24 KB | 次下载 | 免费
- 8AN-1308: 电流检测放大器共模阶跃响应
- 545.42KB | 次下载 | 免费
本月
- 1ADI高性能电源管理解决方案
- 2.43 MB | 450次下载 | 免费
- 2免费开源CC3D飞控资料(电路图&PCB源文件、BOM、
- 5.67 MB | 138次下载 | 1 积分
- 3基于STM32单片机智能手环心率计步器体温显示设计
- 0.10 MB | 130次下载 | 免费
- 4使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 44次下载 | 免费
- 5美的电磁炉维修手册大全
- 1.56 MB | 24次下载 | 5 积分
- 6如何正确测试电源的纹波
- 0.36 MB | 17次下载 | 免费
- 7感应笔电路图
- 0.06 MB | 10次下载 | 免费
- 8LZC3106G高性能谐振控制器中文手册
- 1.29 MB | 9次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935121次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420062次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233088次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73810次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65988次下载 | 10 积分
电子发烧友App






创作
发文章
发帖
提问
发资料
发视频
上传资料赚积分
评论