## 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.

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.

Original language | English |
---|---|

Title of host publication | Proceedings of the Symposyum on Theoretical Aspects of Software Engineering |

Publisher | IEEE Computer Society Press |

Pages | 191-198 |

Number of pages | 8 |

ISBN (Print) | 978-1-4799-0735-9 |

Publication status | Published - 1 Jul 2013 |

Event | Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium on - Birmingham, United Kingdom Duration: 1 Jul 2013 → 3 Jul 2013 |

### Conference

Conference | Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium on |
---|---|

Country | United Kingdom |

City | Birmingham |

Period | 1/07/13 → 3/07/13 |

## Keywords

- self-adaptive systems
- Petri nets
- Dynamic behavior adaptation
- Context-awareness