排序方式： 共有4条查询结果，搜索用时 15 毫秒
1
1.
基于支持服务组合运行时容错处理的平台,提出了运行时重构局部流程的故障处理机制,以有效支持流程运行出现故障时的在线自恢复,使流程执行时在业务功能与服务质量两方面均得到保障。 相似文献
2.
本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并发结构表示BPEL4WS规范的出错与补偿处理结构,采用传名机制分别处理程序化显式抛出故障与非程序序化抛出故障的捕获,给出BPEL4WS的出错与补偿处理的pi演算编码,为系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的编码奠定了基础。 相似文献
3.
定义了一个Pi-演算的类型系统，然后利用扩充后的类型化Pi-演算建模BPEIAWS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务组合相容性检测算法。并给出了一个银行贷款审批系统检测实例的片段，说明利用该算法检测服务组合系统相容性的可行性。 相似文献
4.
自从非接触测量受关注以来,基于激光和超声波的测量技术是最常用的方法。但是基于激光和超声波的测量方法的测量精度在很大程度上依赖于被测物表面的反射能力,如果测量表面不理想,那么测量系统通常会表现很差。本文基于数字图像处理技术,提出了以图像像素数来计算被测目标位移的图像测量方法,并分别对测量距离与所选参考点间距对测量精度的影响进行了分析。 相似文献
1