...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE transactions on automation science and engineering >Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets
【24h】

Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets

机译：Web服务组合的定时兼容性分析：基于Petri网的模块化方法

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Recently, the temporal constraint satisfiability is regarded as an important criterion in Web service composition to guarantee its timely completion. This leads to a new challenge in analyzing the compatibility of Web services under temporal constraints. The existing methods either do not consider message mismatches between services in a composition or suffer from state-space explosion by verifying a service composition model as a whole; or lack the ability to generate execution paths of each participating service. In this paper, we present a Petri net-based method to address these three issues in a holistic manner, and also in a modular way. Compared with the existing work, the proposed approach not only composes Web services by adding a mediation net to deal with message mismatches, but also checks the compatibility w.r.t. temporal constraints by generating modular timed state graphs. Furthermore, the reliable and usable execution paths that satisfy the timed compatibility can be derived to guide service execution and avoid any temporal exception.
机译：最近，时间约束可满足性被视为Web服务组合中保证其及时完成的​​重要标准。这导致在时间约束下分析Web服务的兼容性方面提出了新的挑战。现有方法要么不考虑组合中服务之间的消息不匹配，要么通过验证整个服务组合模型而遭受状态空间爆炸；或缺乏生成每个参与服务的执行路径的能力。在本文中，我们提出一种基于Petri网的方法，以整体方式和模块化方式来解决这三个问题。与现有工作相比，所提出的方法不仅通过添加中介网络来处理消息不匹配来构成Web服务，而且还检查了兼容性。通过生成模块化定时状态图的时间约束。此外，可以导出满足时间兼容性的可靠且可用的执行路径，以指导服务执行并避免任何时间异常。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号