Context Petri Nets: Enabling Consistent Composition of Context-Dependent Behavior

Authors
Nicolás Cardozo, Jorge Vallejos, Sebastián González, Kim Mens, Theo DHondt'
Tags
,
Title
Context Petri Nets: Enabling Consistent Composition of Context-Dependent Behavior
Authors
Nicolás Cardozo, Jorge Vallejos, Sebastián González, Kim Mens, Theo DHondt'
 cardozo12pnse.pdf Δ   512Kb   14 Aug 2012
 cardozo2pnse.pdf Δ   512Kb   14 Aug 2012
Type
In Proceedings
Book title
International Workshop on Petri Nets and Software Engineering
Series
PNSE'12
Volume
851
Pages
155 -- 169
Publisher
CEUR-WS
Editor
Lawrence Cabac
Address
Hamburg, Germany
Year
2012

Abstract

Ensuring the consistent composition of context-dependent behavior is a major challenge in context-aware systems. Developers have to manually identify and validate existing interactions between behavioral adaptations, which is far from trivial. This paper presents a run-time model for the consistency management of context-dependent behavior, called context Petri nets. Context Petri nets provide a concrete representation of the execution context of a system, in which it is possible to represent the interactions due to dynamic and concurrent context changes. In addition, our model allows the definition of dependency relations between contexts, which are internally managed to avoid inconsistencies. We have successfully integrated context Petri nets with Subjective-C, a context-oriented programming language. We show how our model can be cleanly combined with the abstractions of the language to define and manage context-dependent behavior.

Tags Tags: ,


BibTeX Record
  @inproceedings{RELEASeD-2012-228032,
    title = {Context Petri Nets: Enabling Consistent Composition of Context-Dependent Behavior},
    author = {Nicolás Cardozo and Jorge Vallejos and Sebastián González and Kim Mens and Theo DHondt'},
    year = {2012},
    volume = {851},
    pages =  {155 -- 169},
    booktitle = {International Workshop on Petri Nets and Software Engineering},
    publisher = {CEUR-WS},
    editor = {Lawrence Cabac},
    address = {Hamburg, Germany},
    series = {PNSE'12},
  }