Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2004

Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case

Résumé

We consider large distributed discrete event systems, systems obtained by connecting a possibly large number of elementary components. By «large» we mean that the size of the system prevents its study at a global level. We propose instead a framework to analyse such systems by parts, taking advantage of their modular definition. The key is twofold. We first represent their runs in a true concurrency semantic, which already reduces the state explosion phenomenon¸: trajectories which only differ by the ordering of concurrent events are not distinguished. The convenient data structures to represent sets of trajectories in this semantic are called branching processes of the system, and their maximal representative corresponds to the unfolding of the system. The second idea lies in the following result¸: the unfolding of a modular system factorizes as the product of unfoldings of its components, which gives an even more compact representation of runs of a distributed system. Therefore one should rather perform all computations on this factorized form. We propose an algebraic setting to do so¸: computations take place in the category of «augmented branching processes,» and rely on two operations¸: projection and product. We illustrate this approach on a simple problem¸: find the minimal factorization for the unfolding of the global system, which amounts to determining, for each component, runs that remain possible once this component is inserted in the global system.
Fichier principal
Vignette du fichier
RR-5186.pdf (533.7 Ko) Télécharger le fichier

Dates et versions

inria-00071402 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00071402 , version 1

Citer

Eric Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. [Research Report] RR-5186, INRIA. 2004. ⟨inria-00071402⟩
69 Consultations
97 Téléchargements

Partager

Gmail Facebook X LinkedIn More