DEN-ng Policy Language
Keara Barrett
Reaction RuleML, November 23rd, 2006
Waterford Institute of Technology
Telecommunication Software & Systems Group
Model Driven PBM
•
Why Model-Driven
• Heterogeneity
• Changeable
•
DEN-ng Information Model
• UML-based network and
Service Model
•
Contained Policy Addendum
• ECA policy Language
• Specified xtext grammar of
language
• Produced ECore Abstract
syntax of DEN-ng policy
language
November 23rd, 2006
DEN-ng Policy Language
2
Event Trigger Details
November 23rd, 2006
•
Contains 0..1
EventTriggerDetails
•
EventTriggerDetails references
1..n Events
•
eventEvaluationScheme
Attribute indicates pattern of
events that must occur for
conditions of Policy Rule to be
evaluated
• Any
• And
• Between
• Sequence
DEN-ng Policy Language
3
Policy Condition Rule Details
November 23rd, 2006
•
Contain 0..1
PolicyConditionRuleDetails
•
PolicyConditionRuleDetails
references 1..n Condition
•
conditionEvaluationScheme
determines strategy for
evaluating conditions that must
hold before an action may be
executed
• And
• OR
DEN-ng Policy Language
4
Policy Action Rule Details
November 23rd, 2006
•
Contain 1
PolicyActionRuleDetails
•
PolicyActionRuleDetails
references 1..n Actions
•
executionStrategy
• Do All
• Do until Success
• Do Until Failure
• Do All Without Failure or Do
Nothing
•
sequencedActions
• Mandatory
• Recommended
• Best Effort
•
No post condition in DEN-ng but
executionStrategy implies it is
required. Determinist
DEN-ng Policy Language
5
Policy Rule Contd…
November 23rd, 2006
DEN-ng Policy Language
6
Policy Inherits From…
November 23rd, 2006
DEN-ng Policy Language
7
Policy Rule Contd…
November 23rd, 2006
DEN-ng Policy Language
8
Policy Rule Event
November 23rd, 2006
DEN-ng Policy Language
9
Policy Rule Event Contd…
November 23rd, 2006
DEN-ng Policy Language
10
Policy Condition
November 23rd, 2006
DEN-ng Policy Language
11
Policy Rule Condition Contd…
November 23rd, 2006
DEN-ng Policy Language
12
Policy Rule Action
November 23rd, 2006
DEN-ng Policy Language
13
Policy Rule Action Continued
November 23rd, 2006
DEN-ng Policy Language
14
Policy Rule Statement
November 23rd, 2006
DEN-ng Policy Language
15
Policy Statement Contd…
November 23rd, 2006
DEN-ng Policy Language
16
Policy Statement Contd…
November 23rd, 2006
DEN-ng Policy Language
17
Policy Condition And Policy Action Example
November 23rd, 2006
DEN-ng Policy Language
18
Policy Rule Example
November 23rd, 2006
DEN-ng Policy Language
19
Modelling and Knowledge Engineering
• Machine learning, reasoning and inference techniques for
analysing/creating model information for policies
Textual
Description
MOF Spec
QVT Spec
Formalise
UML2 Spec OCL Spec
Proprietary
Query Languages
Proprietary
APIs
Proprietary Model
and Instance Checkers
November 23rd, 2006
QVT-OWL
UML2-OWL OCL-OWL
Non-standardised
Instantiation
Various
Versions of XMI
MOF-OWL
W3C OWL-DL
XML Representations
Standardised
Instantiation
Formalise
W3C OWL-DC
XML Representations
Standardised
Query Lanuages
(SPARQL, OWL QL)
Standardised APIs
(ie JENA2 API)
Standardised Tools
(ie RACER, PELLET, FaCT)
DEN-ng Policy Language
20
Semantic Representation of Policy
• Semantically Rich Policy Representation
• KAoS
• KAoS denotic logic based policies
• KAoS uses ontology concepts encoded in OWL to build Policies
• DL encounters problems with policies that require the definition of
variables
• KAoS handels with role-value maps as OWL extensions
• Rei
• Defines rule-based representation of policies
• Rei rule knowledge is treated separately from OWL representation
of domain knowledge
• SWRL = OWL + Unary/Binary Datalog RuleML sublanguages
• Extends Abstract syntax of OWL-Lite and DL
• OWL extension based on Reaction RuleML sublanguage
• Better Representation for ECA policy languages
November 23rd, 2006
DEN-ng Policy Language
21