@inproceedings{fcd730b80c7a4e7d896c420fd6dbe145,
title = "A formal service contract model for accountable SaaS and cloud services",
abstract = "Enabled by Service-Oriented Architecture (SOA), recently Software as a Service (SaaS) and Cloud computing are gaining momentum in the industry. An open issue is how to ensure accountability in business services offered through Internet. Traditionally a contract is an effective legal means to uphold accountability in business transactions. In this paper, we propose a novel service contract model called OWL-SC for e-Services. Based on OWL-DL and SWRL, OWL-SC model can be used to disclose obligations of both e-Services consumer and e-Services provider. More importantly, the model allows service participants to monitor the service contract execution and keep track of obligation fulfillment for each party during service delivery. We also propose a graphical model SC-CPN based on Colored Petri-Nets (CPN) to formally model contract obligations and their interdependencies. SC-CPN can also be used to validate the correctness of obligations in OWL-SC through simulation and state space analysis. Finally, we use the Congo Book service as an example to illustrate how to use OWL-SC and SC-CPN to build a service contract model.",
keywords = "Accountability, Cloud, SaaS, Service contract",
author = "Joe Zou and Yan Wang and Lin, {Kwei Jay}",
year = "2010",
doi = "10.1109/SCC.2010.85",
language = "英语",
isbn = "9780769541266",
series = "Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010",
pages = "73--80",
booktitle = "Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010",
note = "2010 IEEE 7th International Conference on Services Computing, SCC 2010 ; Conference date: 05-07-2010 Through 10-07-2010",
}