文献类型：会议论文

英文题名：A Novel Verification Method for Contract-Regulated Cloud Service Composition

作者：Zhai, Lie[1];Zhang, Haiteng[1];Shao, Zhiqing[1];He, Gaoqi[1]

机构：[1]ECUST, Dept Comp Sci & Engn, Shanghai, Peoples R China

会议论文集：3rd IEEE International Conference on Progress in Informatcs and Computing (IEEE PIC)

会议日期：DEC 18-20, 2015

会议地点：Nanjing, PEOPLES R CHINA

语种：英文

外文关键词：Generic specification; Contract regulation; GPTS method

摘要：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.