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

Jean-Louis Giavitto 1, * Olivier Michel 1 Antoine Spicher 2
* Auteur correspondant
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.
Type de document :
Chapitre d'ouvrage
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〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00645997
Contributeur : Frédéric Davesne <>
Soumis le : mardi 29 novembre 2011 - 00:20:04
Dernière modification le : jeudi 11 janvier 2018 - 06:26:43

Identifiants

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〉

Partager

Métriques

Consultations de la notice

96