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