Incremental Modeling Under Large-Scale Distributed Interaction

We present I–Systems as a formal constraint-based approach for modeling and analyzing both autonomous and reactive behavior in a distributed system. Essentially it is a formalism of interacting finite automata. We demonstrate its incremental potential by stepwise modeling a solution for a synchronous communication problem.