...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Information Technology Journal >Formal Verification of Cloud Manufacturing Service Composition and BPEL Codes Generation Based on Extended Process Calculus
【24h】

Formal Verification of Cloud Manufacturing Service Composition and BPEL Codes Generation Based on Extended Process Calculus

机译：基于扩展过程演算的云制造服务组合和BPEL代码生成的形式验证

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

摘要

To solve the problem of the formal verification of cloud manufacturing services composition and generating corresponding BPEL codes, a new Extended Process Calculus for Cloud Manufacturing Service Composition (XPC4CMSC) was proposed based on the Calculus for Orchestration of Web Service (COWS) and QoS information. Its syntax and operational semantics were researched. For a typical service composition, activity diagram was established and formal model was built in XPC4CMSC. Six quality elements were calculated and standardized. Service composition formal verification scheme and BPEL code generation method were given. A flexible multi-shop scheduling problem was taken as an example to illustrate its application process. Case study showed that the proposed Cloud Manufacturing service composition formal verification scheme and BPEL code generation method were feasible and practical.
机译：为了解决云制造服务组合形式验证的问题，并生成相应的BPEL代码，基于Web服务编排演算和QoS信息，提出了一种新的云制造服务组合扩展过程演算（XPC4CMSC）。研究了其语法和操作语义。对于典型的服务组合，在XPC4CMSC中建立了活动图并建立了正式模型。计算并标准化了六个质量要素。给出了服务组合形式验证方案和BPEL代码生成方法。以一个灵活的多车间调度问题为例来说明其应用过程。案例研究表明，提出的云制造服务组合形式验证方案和BPEL代码生成方法是可行的。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号