Knowledge representation concepts for automated SLA management

Decision Support Systems

Volumn 46, Issue 1, 2008, Pages 187-205

  Paschke, Adrian ^a   Bichler, Martin ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Business rules; Logic Programming (LP); Policy management; Rule based Knowledge Representation (KR); Service Level Agreements (SLA); Service Level Management (SLM)

Indexed keywords

AUTOMATION; COMPUTER PROGRAMMING; INFORMATION TECHNOLOGY; INFORMATION THEORY; KRYPTON; LIQUID MEMBRANES; LOGIC PROGRAMMING; MANAGEMENT; OCEAN CURRENTS;

BUSINESS RULES; POLICY MANAGEMENT; RULE-BASED KNOWLEDGE REPRESENTATION (KR); SERVICE LEVEL AGREEMENTS (SLA); SERVICE LEVEL MANAGEMENT (SLM);

KNOWLEDGE REPRESENTATION;

EID: 56149101020     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.dss.2008.06.008     Document Type: Article

References (51)

1. Andrieux A., et al. WebServices Agreement Specification (WS-Agreement) (2005)
2. Antoniou G., et al. Efficient defeasible reasoning systems. Australian Workshop on Computational Logic (2000) Australia
3. Antoniou G., et al. Representation results for defeasible logic. ACM Transactions on Computational Logic vol. 2 (2001) 255-287
4. Bonner A.J., and Kifer M. Transaction Logic Programming (or a Logic of Declarative and Procedural Knowledge) (1995) University of Toronto
5. Chakravarthy S., et al. Composite events for active databases: semantics contexts and detection. VLDB vol. 94 (1994)
6. Clocksin W.F., and Mellish C.S. Programming in Prolog (2003), Springer, Berlin
7. Damianou N., et al. The ponder policy specification language. Work. on Policies for Distributed Systems and Networks (Policy'01) (2001) Bristol, UK
8. Dan A., et al. Web services on demand: WSLA-driven automated management. IBM Systems Journal, Special Issue on Utility Computing 43 1 (2004) 136-158
9. Daskalopulu A. Modelling legal contracts as processes. 11th Int. Conf. and Work. on Databases and Expert Systems Applications (2000)
10. Dietrich J., and Paschke A. On the test-driven development and validation of business rules. ISTA05 (2005), Massey, New Zealand
11. Emden M.H., and Kowalski R.A. The semantics of predicate logic as a programming language. Journal of the ACM 23 4 (1976) 733-742
12. Grosof B.N. A Courteous Compiler from Generalized Courteous Logic Programs to Ordinary Logic Progams (1999), IBM T.J. Watson Research Center
13. Grosof B.N., Labrou Y., and Chan H.Y. A declarative approach to business rules in contracts: courteous logic programms in XML. EC-99 (1999), ACM Press, Denver UK
14. Hevner A., et al. Design science in information systems research. MIS Quarterly 28 1 (2004) 75-101
15. Hondo M., and Kaler C. Web Services Policy Framework (WSPolicy) (2003). ftp://www6.software.ibm.com/software/developer/library/ws-policy.pdf ftp://www6.software.ibm.com/software/developer/library/ws-policy.pdf.
16. Jonson M., et al. KAoS semantic policy and domain services: an application of DAML to web services-based grid architectures. AAMAS'03 (2003) Melbourne, Australia
17. Kozlenkov A., Paschke A., and Schroeder M. Prova (2006). http://prova.ws http://prova.ws.
18. Kozlenkov A., and Schroeder M. PROVA: rule-based Java-scripting for a bioinformatics semantic web. International Workshop on Data Integration in the Life Sciences (2004)
19. Kowalski R.A., and Sergot M.J. A logic-based calculus of events. New Generation Computing 4 (1986) 67-95
20. LooselyCoupled. SLA (2003). http://looselycoupled.com/glossary/SLA http://looselycoupled.com/glossary/SLA
21. Molina-Jimenez C., et al. Contract representation for run-time monitoring and enforcement. IEEE Int. Conf. on E-Commerce (CEC) (2003) Newport Beach, USA
22. Nute D. Defeasible reasoning and decision support systems. Decision Support Systems 4 1 (1988) 97-110
23. OWL-S (2003). http://www.daml.org/services/owl-s http://www.daml.org/services/owl-s
24. Pan F., and Hobbs J. OWL Time (2004). http://www.isi.edu/~pan/OWL-Time.html http://www.isi.edu/~pan/OWL-Time.html.
25. Parsia B., Kolovski V., and Hendler J. Expressing WS-policies in OWL. Policy Management for the Web Workshop (2005)
26. Paschke A. ContractLog - a logic framework for SLA representation, management and enforcement. IBIS, TUM, Technical Report (2004) Munich
27. Paschke A. RBSLA: a rule based service level agreements language. IBIS, TUM, Technical Report (2004) Munich
28. Paschke A. ContractLog - a logic framework for SLA representation, management and enforcement. IBIS, TUM, Technical Report, 07/2004 (2004) Munich
29. Paschke A. The ContractLog inference engine: a configurable inference service for extended logic programming implementing linear SLE Resolution with goal memoization, loop prevention and a hybrid description logic typed unification for the extended well-founded semantics. IBIS, TUM, Technical Report (2005) Munich
30. Paschke A. ECA-LP: a homogeneous event-condition-action logic programming language. 2005, IBIS, Technische Universität München, Technical Report (11/2005) Munich
31. Paschke A. Typed hybrid description logic programs with order-sorted semantic web type systems based on OWL and RDFS. Internet Based Information Systems, Technical University Munich, Technical Report (12/2005) Munich
32. Paschke A. RBSLA - a declarative rule-based service level agreement language based on RuleML. International Conference on Intelligent Agents, Web Technology and Internet Commerce (IAWTIC 2005) (2005) Vienna, Austria
33. Paschke A. ECA-RuleML: an approach combining ECA Rules with interval-based event logics. 2005, IBIS, TUM, Technical Report (2005) Munich
34. Paschke A. The ContractLog approach towards test-driven verification and validation of rule bases - a homogeneous integration of test cases and integrity constraints into evolving logic programs and rule markup languages (RuleML). 2005, IBIS, TUM, Technical Report (2005) Munich
35. Paschke A. OWL2Prova: a typed hybrid description logic programming language with polymorphic order-sorted DL-typed unification. Int. Workshop on OWL: Experiences and Directions (RuleML/OWLED'06) (2006), Springer LNCS, Athens, Georgia, USA
36. Paschke A. ECA-RuleML/ECA-LP: a homogeneous event-condition-action logic programming language. http://2006.ruleml.org. Int. Conf. on Rule Markup Languages (RuleML'06) (2006) Athens, Georgia, USA
37. Paschke A. Verification, validation and integrity of distributed and interchanged rule based policies and contracts in the semantic web. Int. Semantic Web Policy Workshop (SWPW'06) (2006), Springer, LNCS, Athens, GA, USA
38. Paschke A. Evaluation of the ContractLog KR: worst case complexity and experimental results. IBIS, TUM, Technical Report (2006) Munich
39. Paschke A. Rule-Based Service Level Agreements - Knowledge Representation for Automated e-Contract, SLA and Policy Management (2007), Idea Verlag GmbH, Munich. 978-3-88793-221-3
40. Paschke A., and Bichler M. SLA representation, management and enforcement - combining event calculus, deontic logic, horn logic and event condition action rules. IEEE EEE'05 (2005) Hong Kong, China
41. Paschke A., and Kozlenkov A. A rule-based middleware for business process execution. Multi-Conference Information Systems (MKWI08) (2008) Munich
42. Paschke A., and Schnappinger-Gerull E. A categorization scheme for SLA metrics. Multi-Conference Information Systems (MKWI06) (2006), Passau, Germany
43. Paschke A., Bichler M., and Dietrich J. ContractLog: an approach to rule based monitoring and execution of service level agreements. RuleML 2005 (2005) Galway, Ireland
44. Paschke A., Dietrich J., and Kuhla K. A logic based SLA management framework. Semantic Web and Policy Workshop (SWPW) at 4th Semantic Web Conference (2005) (ISWC 2005). (Galway, Ireland
45. Paschke A., et al. On self-validating rule bases. Int. Workshop on Semantic Web Enabled Software Engineering (SWESE 2006) (2006), Springer, LNCS, Athens, GA, USA
46. Paschke A., Kozlenkov A., and Boley H. A homogenous reaction rules language for complex event processing. International Workshop on Event Drive Architecture for Complex Event Process (EDA-PS 2007) (2007) Vienna, Austria
47. Rei (2002). http://rei.umbc.edu/ Rei, http://rei.umbc.edu/.
48. Ryu Y.U., and Lee R.M. Defeasible deontic reasoning and its applications to normative systems. Decision Support Systems 14 1 (1995) 59-73
49. A.D., Sahai A., and Machiraju V. Towards Automated SLA Management for Web Services (2001), HP Labs, Palo Alto
50. Tosic V., et al. Management applications of the web service offerings language (WSOL). 15th Int. Conf. on Advanced Information Systems Engineering (CaiSE03) (2003) Velden, Austria
51. Web Services Modelling Ontology (2005). http://www.wsmo.org/ http://www.wsmo.org/.