@inproceedings{854eeb6a07884c5e893a8514565ffc84,
title = "A novel verification method for contract-regulated cloud service composition",
abstract = "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.",
keywords = "Contract regulation, GPTS method, Generic specification",
author = "Jie Zhai and Haiteng Zhang and Shao, \{Zhiqing S.\} and Gaoqi He",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 3rd IEEE International Conference on Progress in Informatics and Computing, PIC 2015 ; Conference date: 18-12-2015 Through 20-12-2015",
year = "2016",
month = jun,
day = "10",
doi = "10.1109/PIC.2015.7489873",
language = "英语",
series = "Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "379--383",
editor = "Liang Xiao and Yinglin Wang",
booktitle = "Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015",
address = "美国",
}