By Topic

A Formal Service Contract Model for Accountable SaaS and Cloud Services

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Joe Zou ; IBM Australia Macquarie, Univ. Sydney, Sydney, NSW, Australia ; Yan Wang ; Kwei-Jay Lin

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.

Published in:

Services Computing (SCC), 2010 IEEE International Conference on

Date of Conference:

5-10 July 2010