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.

Are you sure you want to delete your account?
Insert a new password:
Insert the user email and his privileges: