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

Jean-Louis Giavitto 1, * Olivier Michel 1 Antoine Spicher 2
* Corresponding author
1 LIS
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
Abstract : 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.
Document type :
Book sections
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00645997
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, November 29, 2011 - 12:20:04 AM
Last modification on : Thursday, January 11, 2018 - 6:26:43 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

103