Jump label

Service navigation

Main navigation

You are here:

Sub navigation

Main content


Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei Rotaru
Incremental Modeling Under Large-Scale Distributed Interaction
Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Hrsg.: Farn Wang, Nr. 3731, S. 542-546, Spr, Taipei, Taiwan, 2005-10-02


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.