Distributed context Petri Nets : managing context interaction in distributed environments

Abstract

Distributed systems allow interaction between multiple devices to take advantageof information each of them provides. In these type of systems, the use of context-oriented programming to allow them to dynamically adapt to context changes isan interesting possibility that currently has some limitations. Currently, context-oriented programming may introduce inconsistencies at run time when there aresimultaneous changes in the context. On a single system that uses context-orientedprogramming, a model to avoid such inconsistencies is context Petri nets. Butthis model was not designed for distributed systems.For this reason, we propose a new model, distributed context Petri nets, thatcan handle connections and disconnections of distributed nodes in dynamicallyadaptive software systems. This new model must behave as a distributed systemand represent its global state.We validate the approach by exploring all possible types of interactions betweencontexts as defined by context dependency relations. In these interactions weobserve the effects of node connection and disconnection, and how the systemdetects and solve inconsistencies that may arise

Los sistemas distribuidos permiten la interacción entre múltiples dispositivos para aprovechar la información que proporciona cada uno de ellos. En este tipo de sistemas, el uso de la programación orientada al contexto para permitirles adaptarse dinámicamente a los cambios de contexto es una posibilidad interesante que actualmente tiene algunas limitaciones. Actualmente, la programación orientada al contexto puede introducir inconsistencias en el tiempo de ejecución cuando hay cambios simultáneos en el contexto. En un sistema único que usa programación orientada al contexto, un modelo para evitar tales inconsistencias son las redes de Petri de contexto. Pero este modelo no fue diseñado para sistemas distribuidos. Por este motivo, proponemos un nuevo modelo, redes de Petri de contexto distribuido, que pueden manejar conexiones y desconexiones de nodos distribuidos en sistemas de software dinámicamente adaptativos. Este nuevo modelo debe comportarse como un sistema distribuido y representar su estado global. Validamos el enfoque explorando todos los tipos posibles de interacciones entre los contextos definidos por las relaciones de dependencia del contexto. En estas interacciones, observamos los efectos de la conexión y desconexión de los nodos, y cómo el sistema detecta y resuelve las inconsistencias que puedan surgir.