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.2

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, Glossary

Content

Overview
Modularization
Changes
Examples
XSD Schema
Glossary
Validation
Translators
References

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 v. 0.9) and ECA-RuleML (ECA-RuleML) in order to address interoperability with other rule languages and tool support. It add 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
- labelled logic with rule and module object ids and meta data annotations
- scoped queries/goals
- procedural attachments integrated into complex functions
- integration of external data sources / facts and imports of external modules (external rule bases)
- ECA-RuleML: reactive rules with events and action language constructs
- ID-based update primitives and module support with "need-to-know principle" (partial/scoped reasoning)
- complex event processing and state changes (fluents) a la event/action calculus
- complex interval based event / action algebra constructs
- deontic norms for normative reasoning
- defeasible rules and rule / rule set priorities
- formula for computations, equalities, aggregation, lists etc.
- test cases/integrity constraints for verification,  validation and integrity testing of rule bases (V&V&I)
- Semantic Web ontology integration (hybrid integration of RDFS and OWL type vocabularies)

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 XSLT based transformations. Remarkably, the RBSLA approach in contrast to existing languages in the SLA domain such as WSLA, WSOL, WS-Agreement, is not just a pure syntactical specification language with predefined language constructs, but is a declarative rule-based programming language with an operational and a declarative logic- based semantics for formalizing and implementing arbitrary contract-related functionalities and specifications. This declarative implementation-oriented design provides maximum flexibility and extensibility for SLA representation including the use of different contract vocabularies written as Semantic Web ontologies such as WSMO, WS-Policy OWL ontology or KAoS and other ontologies such as OWL time, which can be integrated as external webized type systems into the logical SLA rules, giving them a domain-specific meaning.

Modularization

Examples

RBSLA 0.2 examples

XSD Schemas

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

Glossary

The glossary for RBSLA 0.2

Validation

You can validate the RBSLA 0.2 schema or your RBSLA based XML documents with the RBSLA / RuleML Validator

Translators

You can translate your RBSLA XML documents with the RBSLA / RuleML Translators

References

See publications

 

 

 

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