Context Petri Nets : Definition and Manipulation

Cardozo Alvarez, Nicolas;Gonzalez Montesinos, Sebastian Andres;Mens, Kim;D’Hondt, Theo
(2012)

Files

contextpetrinets_definitionandmanipulation.pdf
  • Restricted Access
  • Adobe PDF
  • 1.64 MB
Request a copy

Details

Authors
  • Cardozo Alvarez, NicolasUCLouvain
    Author
  • Gonzalez Montesinos, Sebastian AndresUCLouvain
    Author
  • Mens, Kimorcid-logoUCLouvain
    Author
  • D’Hondt, TheoVrije Universiteit Brussel
    Author
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 contextdependent adaptations and their dependencies. Petri nets oer 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.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Cardozo Alvarez, N., Gonzalez Montesinos, S. A., Mens, K., & D’Hondt, T. (2012). Context Petri Nets : Definition and Manipulation. https://hdl.handle.net/2078.5/157110