[Reaction-tg] Reaction RuleML News

[Adrian Paschke]

Dear All,

We are sending this email to everybody who is interested in the renewed work on reaction rules in the Reaction RuleML Technical Group.

In a nutshell, Reaction RuleML is a general, practical, compact and user-friendly XML-serialized language for the family of reaction rules. It incorporates different kinds of production, action, reaction, and KR temporal/event/action/process logic rules into the native RuleML syntax using a system of step-wise extensions. In particular, the approach covers different kinds of reaction rules from different domains such as active database ECA rules and triggers, forward-directed production rules, temporal KR event/action/process logics, event notification and messaging and active update and transaction logics. Reaction RuleML is integrated into the existing language family of RuleML and enables a tight and homogeneous combination of reaction rules of these various forms with other rule types such as derivation rules or integrity constraints.


=========================================================================

Summary


1. Reaction RuleML Technical Group
2. New Reaction RuleML Web Page and Mailing List
3. Reaction RuleML Consensual Presentation (RRCP) document
4. Working draft versions of the Reaction RuleML design and schemas
5. Roadmap

=========================================================================
   
1. Reaction RuleML Technical Group


In the last months the Reaction RuleML Technical Group has been reactivated and the work on Reaction RuleML has been revived in a series of Reaction RuleML Technical Group and RuleML Steering Committee telephone conferences. The Reaction RuleML Technical Group currently consists of the following members:

Alexander Kozlenkov (Co-Chair) Adrian Paschke (Co-Chair), Harold Boley, Michael Kifer, Said Tabet, Mike Dean, Keara Barrett, Rick Sward

If you want to participate in any way, please send an email to both of the Co-Chairs:
alex.kozlenkov at betfair.com and Adrian.Paschke at gmx.de





2. Reaction RuleML Web Page and Mailing List


In the future, all Reaction RuleML related news will be published on the Reaction RuleML web site and broadcasted using the existing Reaction RuleML mailing list. So, if you are interested, please take a look at the web site and join the mailing list. The URL of the Reaction RuleML web page is:

http://ibis.in.tum.de/research/ReactionRuleML/

Please note, that the web page is currently under construction and the actual contents might change.

The URL of the mailing list is:

http://mail.ruleml.org/mailman/listinfo/reaction-tg





3. Reaction RuleML Consensual Presentation (RRCP) document 

In a series of Reaction RuleML Technical Group and RuleML Steering Committee telephone conferences, where the RuleML Steering Committee has helped, a Reaction RuleML Consensual Presentation (RRCP) document has been developed since late Sept 2006. The newest version of RRCP can always been found at:


http://ibis.in.tum.de/research/ReactionRuleML/docs/RRCP.pdf





4. Working draft version of the Reaction RuleML 0.1 design and schemas


We are currently preparing the first release of the Reaction RuleML schemas 0.1. 


In short, here are the most important language constructs:

- Reaction: General reaction rule construct

- @exec: Denotes execution style of the reaction rule: "active | passive | reasoning"; default = "passive"

- @kind: Required attribute denoting the kind of the reaction rule, i.e. the rule pattern which defines the constituent parts of the reaction rule

- @eval: Attribute denoting the interpretation of the reaction rule: "strong | weak"; default="strong"

- event, body, action, postcond, alternative: Role tags for the reaction rule parts which might be omitted (see RuleML role and type tags)

- Message: Defines an inbound or outbound message

- @mode: Attribute denoting the mode (inbound or outbound) of a message event/action: "inbound/outbound"

- @directive: A directive, e.g. a FIPA ACL performative such as "ACL:inform" or "ACL:confirm"

- Assert, Retract: OID-based update primitives to update the intensional and extensional KB / database

- @safety: Attribute denoting whether the update is transactional or not, i.e. might be rolled-back resp. comitted: "transactional | normal"; default = "normal"

- Initiates, Terminates: KR event/action logics construct initiating or terminating a state (a.k.a. fluent), i.e. a state transition.

- state: Role tag for fluents/states in event / action logics


The core syntax of a general reaction rule is:

Reaction ::= [oid,] [event,] [body,] [action] [,postcond] [,alternative] 

event ::= Naf | Neg | Atom | Message | Reaction 

body ::= Naf | Neg | Atom | And | Or 

action ::= Atom | Assert | Retract | Message | Initiates | Terminates

postcond ::= Naf | Neg | Atom | And | Or

alternative ::= Atom | Assert | Retract | Message


The precise content models and schemas will be published on the Reaction RuleML web page soon. You will also find further information on Reaction RuleML there.
 
 



5. Roadmap
 
 
Until 27 October
- Finalize web page
- First release of Reaction RuleML 0.1 schemas and description

Until the end of November 2006
 
We hope to add the following features:

- Various examples which demonstrate the use of Reaction RuleML in the different domains
- Validation support for Reaction RuleML 0.1 XML documents
- Translators which translate Reaction RuleML documents into different execution syntaxes and environments
- Tool support to engineer Reaction RuleML documents


Kind regards,

Alexander Kozlenkov and Adrian Paschke

(On behalf of the Reaction RuleML Technical Group)

-- 
Der GMX SmartSurfer hilft bis zu 70% Ihrer Onlinekosten zu sparen! 
Ideal für Modem und ISDN: http://www.gmx.net/de/go/smartsurfer

-- 
Der GMX SmartSurfer hilft bis zu 70% Ihrer Onlinekosten zu sparen! 
Ideal für Modem und ISDN: http://www.gmx.net/de/go/smartsurfer