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 language | English |
|---|---|
| Title of host publication | Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010 |
| Place of Publication | Piscataway, NJ |
| Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| Pages | 73-80 |
| Number of pages | 8 |
| ISBN (Print) | 9780769541266 |
| DOIs | |
| Publication status | Published - 2010 |
| Event | 2010 IEEE 7th International Conference on Services Computing, SCC 2010 - Miami, FL, United States Duration: 5 Jul 2010 → 10 Jul 2010 |
Other
| Other | 2010 IEEE 7th International Conference on Services Computing, SCC 2010 |
|---|---|
| Country/Territory | United States |
| City | Miami, FL |
| Period | 5/07/10 → 10/07/10 |
Keywords
- Accountability
- Cloud
- SaaS
- Service contract