Incremental Modeling Under Large-Scale Distributed Interaction

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.

Folded Interaction Systems and Their Application to the Survivability Analysis of Unbounded Systems

“…We propose Folded Interaction Systems (FIS), a combination of Interaction System (IS) [5] and structure preserving foldings to close this gap. In the next section we briefly describe IS before introducing foldings between IS-models.…”

“…The dynamics of an IS is described by the "firing rule" in Algorithm 1, an axiomatic foundation of which can be found in [5].…”

“…The FIS-approach is based on the IS framework which has been shown to be more expressive than comparable modeling methodologies like Petri Nets or communicating FSM [5]. The latter ones suffer from inherent difficulties in enunciating restrictions, violations, and enforcements.…”

“…Such a framework is not available today. In this paper we propose supplementing Interaction Systems (IS) [5] with foldings for closing this gap. The basic idea is to use IS for modeling systems and foldings for model transformations.…”