Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/120118
48 Visitors
52 Hits
0 Downloads
- Title
- A Formal service contract model for accountable SaaS and Cloud services
- Related
- IEEE International Conference on Services Computing (7th : 2010) (10 - 15 July 2010 : Miami, Fla.)
- Related
- 2010 IEEE Seventh International Conference on Services Computing : proceedings, Miami, Florida, 5-10 July 2010, p.73-80
- DOI
- 10.1109/SCC.2010.85
- Publisher
- Los Alamitos, Calif : IEEE Computer Society
- Date
- 2010
- FoR/RFCD Code(s)
-
080600 Information Systems
- Author/Creator
- Zou, Jun
- Author/Creator
- Wang, Yan
- Author/Creator
- Lin, Kwei-Jay
- Description
- 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.
- Description
- 8 page(s)
- Subject Keyword
- 080600 Information Systems
- Subject Keyword
- service contract
- Subject Keyword
- accountability
- Subject Keyword
- cloud
- Subject Keyword
- SaaS
- Resource Type
- conference paper
- Organisation
- Macquarie University. Faculty of Science
- Organisation
- Macquarie University. Dept. of Computing
- Identifier
- http://hdl.handle.net/1959.14/120118
- Identifier
- ISBN:9780769541266
- Identifier
- mq-rm-2010001129
- Language
- eng
- Reviewed
