ContractLog: An approach to rule based monitoring and execution of service level agreements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3791 LNCS, Issue , 2005, Pages 209-217

  Paschke, Adrian ^a   Bichler, Martin ^a   Dietrich, Jens ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b MASSEY UNIVERSITY   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACTUAL BUSINESS LOGICS; LOGICAL FORMALISMS; RULE BASED MONITORING; SERVICE LEVEL AGREEMENTS (SLA);

CONTRACTS; FORMAL LOGIC; MONITORING; SEMANTICS; WORLD WIDE WEB;

COMPUTER ARCHITECTURE;

EID: 33646839765     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11580072_19     Document Type: Conference Paper

References (16)

1. Bichler, M., Diernhofer, N., Fay, F., König, C., MacWilliams, A., Paschke, A., Setzer, T., Völk, G., Dynamic Value Webs for IT-Services: IT-Service Technologies and Management. 2004. Siemens SBS / TUM, research study, 10/2004: Munich.
2. Paschke, A. and M. Bichler, Ride-based Languages for the Representation of Electronic Contracts - A concept for using Knowledge-based Systems in the Development of flexible Internet-based Information Systems, (in german language). 04/2003, IBIS, TUM, Working Paper.
3. Paschke, A., Rule Based SLA Management - A rule based approach on automated IT service management (in german language). 6/2004, IBIS, TUM, Working Paper.
4. Dietrich, J. and A. Paschke. On the Test-Driven Development and Validation of Business Rules. in ISTA05. 2005.
5. Paschke, A. and M. Bichler. SLA Representation, Management and Enforcement - Combining Event Calculus, Deontic Logic, Horn Logic and Event Condition Action Rules. in EEE05. 2005. Hong Kong, China.
6. Paschke, A., ContractLog - A Logic Framework for SLA Representation, Management and Enforcement. 7/2004, IBIS, TUM.
7. Paschke, A., RBSLA: Rule-based SLA, http://ibis.in.tum.de/staff/paschke/ rbsla/index.htm. 2005.
8. Dietrich, J. A Rule-Based System for eCommerce Applications, in KES 2004. 2004.
9. Kowalski, R.A. and M.J. Sergot, A logic-based calculus of events. New Generation Computing, 1986. 4: p. 67-95.
10. Nute, D., Defeasible Logic, in Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, D.M. Gabbay, C.J. Hogger, and J.A. Robinson, Editors. 1994, Oxford University Press.
11. Grosof, B.N., A Courteous Compiler From Generalized Courteous Logic Programs To Ordinary Logic Progams. IBM, 1999.
12. Antoniou, G., et al. A flexible framework for defeasible logics, in AMI-2000. 2000.
13. Levy, A. and M.-C. Roussel. A Representation Language Combining Horn Rules and Description Logics, in ECAI96. 1996.
14. Grosof, B.N., et al. Description Logic Programs: Combining Logic Programs with Description Logic, in WWW03. 2003: ACM.
15. Kozlenkov, A. and M. Schroeder, Prova. 2004, http://comas.soi.city.ac.uk/ prova/.
16. Wagner, G., S. Tabet, and H. Boley. MOF-RuleML: The abstract syntax of RuleML as a MOF model. OMG Meeting. 2003.