Analysis and design of a distributed discrete event system
The goal of this projects was to implement a distributed event system to coordinate distributed systems.
We implemented a java prototype, in which coordination is defined using the Millner's CCS. Descriptions are firstly converted to automata and run locally. Events can be triggered by connected sensors locally or globally to the network. Subscribed automata can then run code routines as reaction to such an event. The prototype is mostly a proof of concept demonstrating the power of process algebras and event-based systems in coordinating distributed processes. Reference models are event-based architectures, the Linda tuple space model and reactive tuple spaces, such as Tucson.