A formal service contract model for accountable SaaS and cloud services

Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010

Volumn , Issue , 2010, Pages 73-80

  Zou, Joe ^a   Wang, Yan ^a   Lin, Kwei Jay ^b  

^a MACQUARIE UNIVERSITY   (Australia)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Accountability; Cloud; SaaS; Service contract

Indexed keywords

ACCOUNTABILITY; BUSINESS SERVICE; BUSINESS TRANSACTION; CLOUD COMPUTING; CLOUD SERVICES; E-SERVICES; FORMAL SERVICE; GAINING MOMENTUM; GRAPHICAL MODEL; SAAS; SERVICE CONTRACT; SERVICE DELIVERY; SOFTWARE AS A SERVICE; STATE-SPACE ANALYSIS;

CONTRACTS; FORMAL LOGIC; INFORMATION SERVICES; WEB SERVICES;

MAINTENANCE;

EID: 77957913916     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2010.85     Document Type: Conference Paper

References (28)

1. A. Schedler, Self-Restraining State: Power and Accountability in New Democracies, Lynne Reiner Publishers, 1999, pp. 13-28.
2. K. Lin, J. Zou and Y. Wang, Accountability Computing for e-Society, The Int'l. Conf. on Advanced Information Networking and Applications, IEEE, 2010.
3. A. Dan and et al.: Business-to-Business Integration with TPAML and a Business-to-Business Protocol Framework, IBM System Journal, 40(1), 2001.
4. L. Xu, Monitoring Multi-party Contracts for E-business, Dissertation, Doctor of Philosophy, University of Toronto, 2004.
5. A. Daskalopulu, Logic-Based Tools for the Analysis and Representation of Legal Contracts, Dissertation, Doctor of Philosophy, University of London, 1999.
6. G. Governatori and Z. Milosevic, A Formal Analysis of a Business Contract, Language, Proc. Int'l J. Cooperative Info. Sys., vol. 15, no. 4, 2006, pp. 659-685.
7. A.D.H. Farrell and et al, Performance Monitoring of Service-Level Agreements for Utility Computing Using the Event Calculus, Proc. 1st Int'l W'shop Electronic Contracting, IEEE CS Press, 2004, pp. 17-24.
8. H. Davulcu, M. Kifer, and I.V. Ramakrishnan, "Ctr-s: A logic for specifying contracts in semantic web services," in Proc. WWW 2004, ACM, May 2004, pp. 144-153.
9. H. Liu and et al. Modeling and Reasoning about Semantic Web Services Contract using Description Logic, The Ninth International Conference on Web-Age Information Management, IEEE, 2008.
10. B. Grosof and T. Poon, SweetDeal: Representing Agent Contracts with Exceptions Using XML Rules, Proc. 12th Int'l Conf. World Wide Web, ACM Press, 2003, pp. 340-349.
11. A. Ankolekar and et al, DAML-S: Web Service Description for the Semantic Web, DAML-S Coalition, Proc. Int'l Semantic Web Conf. (ISWC), LNCS 2342, Springer Verlag, 2002, pp. 348-363.
12. I. Horrocks, P.F. Patel-Schneider and F.V. Harmelen, From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics, 2003, 1(1):7-26.
13. W3C, OWL Web Ontology Language Overview, http://www.w3.org/TR/owl- features/.
14. I. Horrocks and P.F. Patel-Schneider, A proposal for an OWL rules language. In The Thirteenth International World Wide Web Conference, New York, May ACM Press, 2004.
15. F. Baader and et al, Integrating description logics and action formalisms for reasoning about web services, LTCS-Report 05-02, 2005. http://lat.inf. tudresden.de/research/reports.html.
16. S. Narayanan and S. A. McIlraith, Simulation, Verification and Automated Composition of Web Services, 11th International World Wide Web Conference, 2002.
17. F. Baader, D. Calvanese and et al, The Description Logic Handbook, Theory, Implementation and Applications, Cambridge Uni., 2003.
18. D. Martin and et al, Describing Web Services using OWL-S and WSDL, available at: http://www.ai.sri.com/daml/services/owl-s/1.1/owl-s-wsdl.html.
19. B. Motik, U. Sattler and R, Studer, Query Answering for OWLDL with Rules, The SemanticWeb ISWC: 3rd International Semantic Web Conference, Hiroshima, Japan, 2004.
20. I. Horrocks and P.F. Patel-Schneider, Reducing OWL Entailment to Description Logic Satisability, 2nd Intl. Semantic Web Conf., Florida, 2003.
21. A. Y. Levy and M.C. Rousset, Combining Horn rules and description logics in CARIN, Artificial Intelligence 104 (1998) 165-209, 1998.
22. C. Golbreich and A. Imai, Combining SWRL rules and OWL Ontologies with Protégé OWL Plugin, Jess, and Racer. 7th International Protégé Conference, Bethesda, MD, 2004.
23. J. Mei, and E. Paslaru Bontas, Reasoning Paradigms for SWRL-enabled Ontologies, Protégé With Rules Workshop, Madrid, 2005.
24. C.L. Forgy, On the Efficient Implementation of Production Systems, Ph.D. dissertation, Carnegie-Mellon University, 1979.
25. Protégé, Available at http://protege.stanford.edu/.
26. CPN-Tools, http://wiki.daimi.au.dk/cpntools-help/-home.wiki.
27. K. Jensen: An Introduction to the Theoretical Aspects of Coloured Petri Nets. In: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.): A Decade of Concurrency, Lecture Notes in Computer Science vol. 803, Springer- Verlag 1994, 230-272.
28. Protegewiki, SWRLTemporalBuiltIns, 2002, Available at http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTemporalBuiltIns.