On Synchronous and Asynchronous Interaction in Distributed Systems - Computer Science > Logic in Computer ScienceReportar como inadecuado




On Synchronous and Asynchronous Interaction in Distributed Systems - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: When considering distributed systems, it is a central issue how to deal withinteractions between components. In this paper, we investigate the paradigms ofsynchronous and asynchronous interaction in the context of distributed systems.We investigate to what extent or under which conditions synchronous interactionis a valid concept for specification and implementation of such systems. Wechoose Petri nets as our system model and consider different notions ofdistribution by associating locations to elements of nets. First, weinvestigate the concept of simultaneity which is inherent in the semantics ofPetri nets when transitions have multiple input places. We assume that tokensmay only be taken instantaneously by transitions on the same location. Weexhibit a hierarchy of `asynchronous- Petri net classes by differentassumptions on possible distributions. Alternatively, we assume that thesynchronisations specified in a Petri net are crucial system properties. Hencetransitions and their preplaces may no longer placed on separate locations. Wethen answer the question which systems may be implemented in a distributed waywithout restricting concurrency, assuming that locations are inherentlysequential. It turns out that in both settings we find semi-structuralproperties of Petri nets describing exactly the problematic situations forinteractions in distributed systems.



Autor: Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke

Fuente: https://arxiv.org/







Documentos relacionados