• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>2010 IEEE Asia-Pacific Services Computing Conference >A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification
【24h】

A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification

机译：BPEL规范的流程构造方法及其三性质验证

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

A kind of concurrent-based model of control flow is proposed for the analysis and verification of interactions of composite web services which are specified in BPEL. First, a verification framework of concurrent construct is presented, then we convert the choice flow into concurrent flow with link semantics to simplify the description and verification methods of formal model. Furthermore, deadlock-free, meaning-full and non-conflict, three properties of this model are defined. Meanwhile, the meaning and verification methods for the three properties are discussed. Finally, an example of composite service is given to prove the usability of the model and verification methods.
机译：提出了一种基于并发的控制流模型，用于分析和验证BPEL中指定的复合Web服务的交互。首先提出了并发构造的验证框架，然后将选择流转换为具有链接语义的并发流，以简化形式化模型的描述和验证方法。此外，定义了该模型的三个属性，即无死锁，充满含义和无冲突。同时，讨论了这三个属性的含义和验证方法。最后以复合服务为例，验证了模型的有效性和验证方法。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号