A COORDINATION ARCHITECTURE FOR TIME-DEPENDENT COMPONENTS

摘要

The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in discrete, fixed time steps but on different local time scales, and which require all components to provide recent data in order to make progress. We introduce an architecture that allows to separate the treatment of the time-based data dependencies among the distributed components from the design of their mutual exchange of data. We prove that our proposal guarantees liveness, safety, and progress of the overall system based on some mild requirements on the single components. We demonstrate the feasibility of our approach by its use in the GLOWA-Danube project.