Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2008

Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems

Résumé

The chemical paradigm is an unconventional programming paradigm well fitted to the high-level specification of parallel systems. Based on the fixed point iterations of local rules, its use has been advocated for the programming of autonomic and amorphous systems . However, this model lacks an explicit handling of spatial relationships. In this contribution, we first show how the chemical paradigm can be extended beyond multisets to arbitrary topological collections . Topological collections handle in a uniform way sophisticated data structures required in algorithmics as well as distributed data structures needed for the programming of autonomic or amorphous systems. Then we adapt a well-known result on multiset ordering to the more general case of topological collections. Well-founded ordering on topological collection can be used to prove the termination of the fixed point iteration of local rules.

Dates et versions

hal-00645997 , version 1 (29-11-2011)

Identifiants

Citer

Jean-Louis Giavitto, Olivier Michel, Antoine Spicher. Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems. M. Wirsing, J. Banâtre, M. Hölzl, A. Rauschmayer. Software-Intensive Systems and New Computing Paradigms, Springer Verlag Berlin, Heidelberg, pp.235--254, 2008, Lecture Notes in Computer Science, vol. 5380, ⟨10.1007/978-3-540-89437-7_15⟩. ⟨hal-00645997⟩
74 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More