Implementation and Comprehensive Study of Distributed Systems in GIPSY

Intensional programming is a programming language paradigm based on the declarative notions where the declarations are evaluated in a multidimensional context space. Program identifiers are evaluated in a context, where each demand is generated, propagated, computed, and stored as an identifier- context pair. General Intensional Programming System (GIPSY) is a hybrid system that includes a framework to propagate demands from one GIPSY execution node to another. A GIPSY program is executed using three components: the Demand Generator, that generates demands according to the compiled Lucid program, the Demand Worker, that executes procedure calls embedded in the Lucid program, and the DMS, that acts as a communication middleware between the latter. This book studies two different implementations and signs of DMS using Java Message Services and JINI. DMS is an investigation toward having the combination of two paradigms of Message- Oriented Middleware and Event-Driven Architecture to handle our demand-driven computation. We also investigate latency, dispatching, availability, scalability,maintainability, and configurability of each design.