A Formalism for Programming Complex Multi-Agent Reactive Systems

Prahlad Sampath

We present a formalism for programming complex multi-agent reactive systems in a structured manner. The motivation behind this work is to obtain a simple and elegant semantic framework for such reactive systems. The approach followed is to build upon a timed extension of concurrent constraint programs that have been used to present an elegant semantic framework for reactive systems. Timed concurrent constraint (TCC) programs are extended with the primitives for defining and manipulating ambients that contain TCC programs. The extension is simple and conservative, in the sense that TCC programs are a subset of the new formalism -- Mobile Timed Concurrent Constraints (MTCC). The semantic model for the extension is also a conservative extension of the semantic model for TCC programs.