Skip to Main content Skip to Navigation
Book sections

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

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
Complete list of metadata
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, November 29, 2011 - 12:20:04 AM
Last modification on : Wednesday, July 8, 2020 - 10:40:18 AM

Links full text




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⟩



Record views