Title of article :
Semantics for consistent activation in context-oriented systems
Author/Authors :
Cardozo، نويسنده , , Nicolas and Gonzalez-Velazquez، نويسنده , , Sebasti?n and Mens، نويسنده , , Kim and Van Der Straeten، نويسنده , , Ragnhild and Vallejos، نويسنده , , Jorge and D’Hondt، نويسنده , , Theo، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2015
Abstract :
AbstractContext
t-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those adaptations dynamically according to sensed context changes. Some of these languages feature programming abstractions to explicitly define interaction dependencies among contexts. However, the semantics of context activation and the meaning of dependency relations have been described only informally, which in some cases has led to incorrect specifications, faulty implementations and inconsistent system behavior.
ive
he aim of avoiding faulty implementations and inconsistencies during system execution, this paper proposes both a formal and run-time model of contexts, context activation and context interaction.
ormal and computational basis, we introduce context Petri nets, a model based on Petri nets, which we found to match closely the structure of contexts in context-oriented systems. The operational semantics of Petri nets permits the modeling of run-time context activations. Existing Petri net analyses allow us to reason about system properties. As validation, we carried out small and medium-sized case studies.
s
cases explored, context Petri nets served effectively as underlying run-time model to ensure that declared context interaction constraints remain consistent during context manipulation. Moreover, context Petri nets enabled us to analyze certain properties regarding the activation state of particular contexts.
sion
t Petri nets thus proved to be appropriate to encode and manage the semantics of context activation, both formally and computationally, so as to preserve the consistency of context-oriented systems.
Keywords :
Context-oriented programming , Program semantics , Petri Nets , Dynamic behavior adaptation , Self-adaptiveness
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology