Transformation of Graphical ECA Policies into Executable PonderTalk Code

Romeikat, Raphael; Sinsel, Markus; Bauer, Bernhard

doi:10.1007/978-3-642-04985-9_19

Cited by 5 publications

(7 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another approach that works on the transformation of ECA policies is [14]. The authors describe a model-driven approach to transform high-level graphical ECA policies into executable PonderTalk code.…”

Section: Related Workmentioning

confidence: 99%

A Model-Driven Approach for Incorporating Reactive Rules in Declarative Interactive TV Applications

Costa

Almeida

Vale

et al. 2011

2011 IEEE International Symposium on Policies for Distributed Systems and Networks

View full text Add to dashboard Cite

This paper discusses an approach for incorporating ECA rules in interactive TV applications described in the multimedia declarative language adopted for the Brazilian Digital TV (SBTVD) platform. We discuss the limitations which are inherent in this platform and instead of proposing non-conformant extensions to the platform, we propose a model-driven approach which takes a rule model at a high level of abstraction and transforms it into the multimedia declarative language used in the Digital TV platform. This ensures the inclusion of context-aware rules into interactive TV applications such that they can be reactive to the user's context and alter their behavior according to rules referring to events and conditions from the user's environment. We illustrate the approach with a running example that considers contextual information to selectively display certain private information depending on presence detected by context-sources connected to the set-top box. Reactive rules; model-driven approach; interactive television; context-awareness;

show abstract

Section: Related Workmentioning

confidence: 99%

A Model-Driven Approach for Incorporating Reactive Rules in Declarative Interactive TV Applications

Costa

Almeida

Vale

et al. 2011

2011 IEEE International Symposium on Policies for Distributed Systems and Networks

View full text Add to dashboard Cite

show abstract

“…Actually, the approach supports a flexible number of abstraction layers. The lowest layer represents the models such that executable policy code can be generated from them as described in [10].…”

Section: Formal Specificationmentioning

confidence: 99%

Formal Specification of Domain-Specific ECA Policy Models

Romeikat

Bauer

2011

2011 Fifth International Conference on Theoretical Aspects of Software Engineering

Self Cite

View full text Add to dashboard Cite

Policy-based management allows to adapt systems to changed requirements in a flexible and automated way. Policy development usually starts with the specification of high-level policies, which are then refined into a low-level representation. We use models to specify event-conditionaction (ECA) policies at different levels of abstraction and consequently separate domain and policy aspects from each other. Domain-specific concepts are used within policies in their event, condition, and action parts. We present a formal specification of the models by means of a relational algebra. The algebra is used to validate the models at each level. Finally, executable policy code is generated from the low-level models.

show abstract

“…Code generation is realized as proof of concept for Ponder2. Details of the model transformations are presented in [9].…”

Section: Code Generationmentioning

confidence: 99%

“…Finally, the refined models are automatically transformed into the executable Ponder2 code shown in Listing 1. The respective model transformations are described in [9]. The resulting code is directly used in the underlying management system [14].…”

Section: P Cirequestmentioning

confidence: 99%

“…During refinement the semantic gap between the different abstraction levels must be overcome, which is a non-trivial task. Refinement gets policies closer to a machine-executable representation from which executable code can be generated automatically as proposed in [9]. Due to the semantic gap domain experts usually perform policy refinement manually by passing policies from one level down to the next one and re-writing them with the means of the lower level.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Automated refinement of policies for network management

Romeikat

Bauer

Sanneck

2011

The 17th Asia Pacific Conference on Communications

Self Cite

View full text Add to dashboard Cite

Abstract-Policy-based management is a flexible approach for the management of networks as policies make contextsensitive and automated decisions. For their effective development it is desired to specify policies at a high level of abstraction initially and to refine them until they are represented in a machine-executable way. We present an approach that uses models to specify event-condition-action (ECA) policies at different abstraction layers and that uses model transformations to refine them in an automated way. A relational algebra is used to formally validate the models and define the semantics of the refinement process. One benefit of the approach is the automated policy refinement at runtime. Changes at the high-level models are automatically reflected in their low-level implementation through refinement. This allows to manage a system at a high level of abstraction. The approach is applied to the network management domain and demonstrated with policies for physical cell identification (PCI) in a mobile network. It can also be applied to other domains and supports a flexible number of abstraction layers.

show abstract

Transformation of Graphical ECA Policies into Executable PonderTalk Code

Cited by 5 publications

References 9 publications

A Model-Driven Approach for Incorporating Reactive Rules in Declarative Interactive TV Applications

A Model-Driven Approach for Incorporating Reactive Rules in Declarative Interactive TV Applications

Formal Specification of Domain-Specific ECA Policy Models

Automated refinement of policies for network management

Contact Info

Product

Resources

About