文献类型：会议论文

英文题名：A novel verification method for contract-regulated cloud service composition

作者：Zhai, Jie[1]; Zhang, Haiteng[1]; Shao, Zhiqing S.[1]; He, Gaoqi[1]

机构：[1] Department of Computer Science and Engineering, ECUST, Shanghai, China

会议论文集：Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015

会议日期：December 18, 2015 - December 20, 2015

会议地点：Nanjing, China

语种：英文

外文关键词：Distributed database systems - Distributed computer systems - Web services - Quality of service - Contracts

摘要：When cloud services are combined, transactions are regulated by binding contracts specifying obligations of the parties. Contract-regulated cloud is a new class of cloud computing systems. Concerning contract-regulated cloud service compositions, a significant challenge is how to efficiently ensure contract-regulated reliable execution without repeating the proof. This paper describes GPTS (a generic proof approach based on true-situation) method for efficiently and effectively verifying the properties of contract-regulated cloud service composition. We model cloud service behaviours and the contracts governing them as generic specification to reduce the need for proof. We propose the definition of true-situation based on the contracts and PATSS (proof in all true-situations simultaneously) algorithm used to verify completeness of generic specification's properties with more efficiency. Furthermore, a case study is provided to illustrate the proposed method. ? 2015 IEEE.