Monday, 15 July 2013
 
Home arrow RBSLA  
Main Menu
Home
ContractLog
RBSLA
RBSLM
User Menu
Download
Documentation
Translator
Validator
Publications
News
Other Menu
Prova
Reaction RuleML
RuleML
Rule Responder
ITSOM
The Rule Based Service Level Agreement Language
Written by Adrian Paschke   
Friday, 24 November 2006

Rule Based Service Level Agreement Markup Language

RBSLA v. 0.0.1

Adrian Paschke

Version history:
2005-04-15 - RBSLA 0.0.1
2005-08-15 - RBSLA 0.1
2005-12-15 - RBSLA 0.2
2006-10-01 - RBSLA 0.3

Quick Links:

Schema, Examples, Info

>

Content

Overview
Examples
XSD Schema
Info
Translators

Overview

The Rule Based Service Level Agreement language (RBSLA) is a mark-up language to serialize rule-based policy- and contract specifications such as SLAs in XML. It is implemented as an extension to the emerging XML-based Rule Markup language (RuleML) in order to address interoperability with other rule languages and tool support. It adds additional modelling power and expressivenss to RuleML to specify higher-level policies and SLAs. In a nutshell, it adds the following features to RuleML:

- typed logic with types and input / output modes
- procedural attachments integrated into complex functions
- integration of external data sources / facts and imports of external unitized modules
- reactive ECA rules with events and action language constructs
- ID-based update primitives and module support with "need-to-know principle" (partial reasoning)
- complex event processing and state changes (fluents) a la event calculus
- complex interval based event / action algebra constructs
- deontic norms for normative reasoning
- defeasible rules and rule priorities
- formula for computations, equalities, aggregation, lists etc.
- test cases/integrity constraints for verification and validation (V&V&I)
- Semantic Web ontology integration

The RBSLA simplyfies writing and interchaning SLAs / policies by means of abstracted mark-up language constructs to define SLA / policy rules and facilitates the use of existing XML tools. It provides means for optimizing/refactoring and validation of rule sets during the transformation into an executable rule language, e.g. the ContractLog KR (Prova syntax) via a Java translet based transformations.

Examples

RuleML 0.86 examples
RBSLA 0.0.1 examples

XSD Schemas

A stable XML Schema specification of RBSLA 0.0.1 has been created providing additional layers and modules which can be used on top of the hornlog layer of RuleML.

More Info

Paschke, A.: Rule Based Service Level Agreement Language, International Conference on Intelligent Agents, Web Technology and Internet Commerce (IAWTIC 2005), Vienna, Austria, 2005. (pdf)

For more information see publications

Translators

RuleML2Prova Java Translator for RBSLA 0.0.1 and RuleML 0.8x-0.86 (download)

Online Translator

References

see publications

Last Updated ( Tuesday, 02 January 2007 )
 
2013 rbsla
Contact: Adrian.Paschke@gmx.de
Copyright Adrian Paschke - Some rights reserved