The Chemical Reaction Model Recent Developments and Prospects

作者: Jean-Pierre Banâtre , Pascal Fradet , Yann Radenac

DOI: 10.1007/978-3-540-89437-7_14

关键词:

摘要: In 2001, we gave a survey of more than fifteen years research on the chemical paradigm which had been source inspiration in many different areas. The present article presents digest recent advances concerning reaction model. We focus to large extent on: (1) upgrading basic model higher order formalism allowing reactions be part solutions and take (2) generalizing standard multisets hybrid infinite multisets, thus providing new forms interactions between elements. These novelties, incorporated HOCL language (High Order Chemical Language), provide natural elegant ways expressing properties related coordination self-organization systems. Finally, current directions strive make effective particularly programming large-scale, highly parallel applications such as Grids.

参考文章(55)
Katia Gladitz, Herbert Kuchen, Parallel implementation of the gamma-operation on bags ,(1994)
M. P. Papazoglou, D. Georgakopoulos, Introduction: Service-oriented computing Communications of The ACM. ,vol. 46, pp. 24- 28 ,(2003) , 10.1145/944217.944233
Jean-Pierre Banâtre, Thierry Priol, Yann Radenac, Service Orchestration Using the Chemical Metaphor software technologies for embedded and ubiquitous systems. pp. 79- 89 ,(2008) , 10.1007/978-3-540-87785-1_8
Pascal Fradet, Jean-Pierre Banâtre, Yann Radenac, Chemical Specification of Autonomic Systems 13th International Conference on Intelligent and Adaptive Systems and Software Engineering. pp. 72- 79 ,(2004)
M. P. Papazoglou, D. Georgakopoulos, SERVICE-ORIENTED COMPUTING Communications of The ACM. ,vol. 46, pp. 24- 28 ,(2003)
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac, Classical coordination mechanisms in the chemical model From Semantics to Computer Science. pp. 29- 50 ,(2009) , 10.1017/CBO9780511770524.003
C. Hankin, D. LeMétayer, D. Sands, A Calculus of Gamma Programs languages and compilers for parallel computing. pp. 342- 355 ,(1992) , 10.1007/3-540-57502-2_57
D. Gries, The maximum-segment-sum problem Formal development programs and proofs. pp. 33- 36 ,(1989)
Michel Chaudron, Edwin Jong, Towards a Compositional Method for Coordinating Gamma Programs international conference on coordination models and languages. pp. 107- 123 ,(1996) , 10.1007/3-540-61052-9_42