Generic Contract-Regulated Web Service Composition Specification and Verification
暂无分享,去创建一个
[1] Alessio Lomuscio,et al. Towards verifying contract regulated service composition , 2008, 2008 IEEE International Conference on Web Services.
[2] Jie Zhai,et al. Generic Web Services Composition Verification Based on Batch Proof Method , 2011, 2011 International Conference on Computational and Information Sciences.
[3] Alessio Lomuscio,et al. MCMAS: A Model Checker for the Verification of Multi-Agent Systems , 2009, CAV.
[4] David R. Musser,et al. Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications , 2002, ICFEM.