Incremental modeling under large-scale distributed interaction

Authors:
Horst F. Wedde;Arnim Wedig;Anca Lazarescu;Ralf Paaschen;Elisei Rotaru
Affiliations:
Informatik III, University of Dortmund, Dortmund, Germany;Informatik III, University of Dortmund, Dortmund, Germany;Informatik III, University of Dortmund, Dortmund, Germany;Informatik III, University of Dortmund, Dortmund, Germany;Informatik III, University of Dortmund, Dortmund, Germany
Venue:
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Year:
2005

Citing 2
Cited 0

Communicating sequential processes

Communications of the ACM
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.