Distributed context Petri Nets : managing context interaction in distributed environments

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

Full description

Autores:
Fandiño de la Hoz, José Daniel
Sosa Flórez, Juan Sebastian
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2019
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
eng
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/45166
Acceso en línea:
http://hdl.handle.net/1992/45166
Palabra clave:
Programación orientada a objetos (Computadores)
Sistemas distribuidos
Redes de Petri
Ingeniería
Rights
openAccess
License
http://creativecommons.org/licenses/by-nc-nd/4.0/
Description
Summary: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