A formal service contract model for accountable SaaS and cloud services

Joe Zou*, Yan Wang, Kwei Jay Lin

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

34 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010
Place of PublicationPiscataway, NJ
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages73-80
Number of pages8
ISBN (Print)9780769541266
DOIs
Publication statusPublished - 2010
Event2010 IEEE 7th International Conference on Services Computing, SCC 2010 - Miami, FL, United States
Duration: 5 Jul 201010 Jul 2010

Other

Other2010 IEEE 7th International Conference on Services Computing, SCC 2010
CountryUnited States
CityMiami, FL
Period5/07/1010/07/10

    Fingerprint

Keywords

  • Accountability
  • Cloud
  • SaaS
  • Service contract

Cite this

Zou, J., Wang, Y., & Lin, K. J. (2010). A formal service contract model for accountable SaaS and cloud services. In Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010 (pp. 73-80). [5557217] Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/SCC.2010.85