Context Petri Nets: Definition and Manipulation

Authors
Nicolás Cardozo, Sebastián González, Kim Mens, Theo DHondt'
Tags
,
Title
Context Petri Nets: Definition and Management
Authors
Nicolás Cardozo, Sebastián González, Kim Mens, Theo DHondt'
 copn-techreport.pdf Δ   1,684Kb   23 Apr 2012
Type
Unpublished work
Organisation
Université catholique de Louvain, Vrije Universiteit Brussel
Year
2012

Abstract

Context-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to recompose them dynamically according to sensed context changes. Additionally, some of these languages have proposed abstractions to explicitly define dependency relations between adaptations. Such dependency relations enable programmers to specify allowed and disallowed interactions between behavioral adaptations at a high abstraction level. In this paper, we explore Petri nets as an underlying formalism to model context-dependent adaptations and their dependencies. Petri nets offer a precise notation and semantics for behavioral adaptations and the dependency relations between them. Even more, Petri nets can be used as an underlying representation to manage dependency relations, and activations and deactivations of behavioral adaptations at runtime. We illustrate the ideas through the context-oriented programming language Subjective-C.

Tags Tags: ,


BibTeX Record
  @unpublished{RELEASeD-2012-322050,
    title = {Context Petri Nets: Definition and Management},
    author = {Nicolás Cardozo and Sebastian Gonzalez and Kim Mens and Theo DHondt'},
    year = {2012},
    organisation = {Université catholique de Louvain, Vrije Universiteit Brussel},
  }