DocumentCode :
1809041
Title :
A Formal Service Contract Model for Accountable SaaS and Cloud Services
Author :
Zou, Joe ; Wang, Yan ; Lin, Kwei-Jay
Author_Institution :
IBM Australia Macquarie, Univ. Sydney, Sydney, NSW, Australia
fYear :
2010
fDate :
5-10 July 2010
Firstpage :
73
Lastpage :
80
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 :
Petri nets; Web services; software architecture; CPN; SOA; accountable SaaS; cloud services; colored petri nets; e-services provider; formal service contract model; service oriented architecture; software as a service; Cognition; Computational modeling; Contracts; OWL; Ontologies; Semantics; Accountability; Cloud; SaaS; Service Contract;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Services Computing (SCC), 2010 IEEE International Conference on
Conference_Location :
Miami, FL
Print_ISBN :
978-1-4244-8147-7
Electronic_ISBN :
978-0-7695-4126-6
Type :
conf
DOI :
10.1109/SCC.2010.85
Filename :
5557217
Link To Document :
بازگشت