Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets

Authors
Nicolás Cardozo, Sebastián González, Kim Mens, Ragnhild Van Der Straeten?, Theo DHondt'
Tags
, ,
Title
Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets
Authors
Nicolás Cardozo, Sebastián González, Kim Mens, Ragnhild Van Der Straeten?, Theo DHondt'
 cardozo13tase.pdf Δ   199Kb   10 Jul 2013
Type
In Proceedings
Book title
Proceedings of the Symposyum on Theoretical Aspects of Software Engineering
Series
TASE'13
Pages
191 -- 198
Publisher
IEEE Computer Society
Address
Birmingham, UK
Year
2013

Abstract

The development of self-adaptive systems requires the definition of the parts of the

  system that will be adapted, when such adaptations will take place, and how these
  adaptations will interact with each other. However, foreseeing all possible adaptations
  and their interactions is a difficult task, opening the possibility to inconsistencies
  or erroneous system behavior.  To avoid inconsistencies, self-adaptive systems require a
  sound programming model that allows to reason about the correctness of the system in
  spite of its dynamic reconfigurations.
  This paper presents context Petri nets, a Petri net-based programming model for
  self-adaptive systems. This model provides a formal definition of adaptations and their
  interaction, as well as a consistent process for their inclusion in the system. Besides
  serving as an underlying run-time model to ensure that adaptations and their constraints
  remain consistent, context Petri nets allow to analyze properties such as reachability
  and liveness in the configuration of self-adaptive systems.
  Context Petri nets thus are a convenient tool to model and analyze the dynamics of
  self-adaptive systems, both formally and computationally.         

Tags Tags: , ,


BibTeX Record
  @inproceedings{RELEASeD-2013-266763,
    title = {Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets},
    author = {Nicolás Cardozo and Sebastián González and Kim Mens and Ragnhild Van Der Straeten and Theo DHondt'},
    year = {2013},
    pages =  {191 -- 198},
    booktitle = {Proceedings of the Symposyum on Theoretical Aspects of Software Engineering},
    publisher = {IEEE Computer Society},
    address = {Birmingham, UK},
    series = {TASE'13},
  }