Advertisement

The Chemical Reaction Model Recent Developments and Prospects

  • Jean-Pierre Banâtre
  • Pascal Fradet
  • Yann Radenac
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5380)

Abstract

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

Keywords

Software Architecture Mutual Exclusion Graph Grammar Desktop Grid Chemical Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Papazoglou, M.P., Georgakopoulos, D.: Service-oriented computing. Communications of the ACM 46(10) (2003)Google Scholar
  2. 2.
    Plummer, D.C., Cearley, D.W., Smith, D.M.: Cloud computing confusion leads to opportunity (June 2008), http://www.gartner.com/it/products/research/cloud_computing/cloud_computing.jsp
  3. 3.
    Banâtre, J.P., Fradet, P., Radenac, Y.: Chemical specification of autonomic systems. In: Proc. of the 13th Int. Conf. on Intelligent and Adaptive Systems and Software Engineering (IASSE 2004) (2004)Google Scholar
  4. 4.
    Banâtre, J.P., Le Scouarnec, N., Priol, T., Radenac, Y.: Towards “chemical” desktop grids. In: Proceedings of the 3rd IEEE International Conference on e-Science and Grid Computing (e-Science 2007). IEEE Computer Society Press, Los Alamitos (2007)Google Scholar
  5. 5.
    Banâtre, J.P., Priol, T., Radenac, Y.: Service orchestration using the chemical metaphor. In: Brinkschulte, U., Givargis, T., Russo, S. (eds.) SEUS 2008. LNCS, vol. 5287. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Banâtre, J.P., Le Métayer, D.: Programming by multiset transformation. Communications of the ACM (CACM) 36(1), 98–111 (1993)CrossRefGoogle Scholar
  7. 7.
    Banâtre, J.P., Fradet, P., Le Métayer, D.: Gamma and the chemical reaction model: Fifteen years after. In: Calude, C.S., Pun, G., Rozenberg, G., Salomaa, A. (eds.) Multiset Processing. LNCS, vol. 2235, pp. 17–44. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  8. 8.
    Loeb, D.: Sets with a negative number of elements. Advances in Mathematics 91, 64–74 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Banâtre, J.P., Le Métayer, D.: A new computational model and its discipline of programming. Technical Report RR0566, INRIA (September 1986)Google Scholar
  10. 10.
    Hankin, C., Le Métayer, D., Sands, D.: A parallel programming style and its algebra of programs. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol. 694, pp. 367–378. Springer, Heidelberg (1993)CrossRefGoogle Scholar
  11. 11.
    Creveuil, C., Moguérou, G.: Développement systématique d’un algorithme de segmentation d’images à l’aide de Gamma. Techniques et Sciences Informatiques 10(2), 125–137 (1991)Google Scholar
  12. 12.
    McEvoy, H.: Gamma, chromatic typing and vegetation, pp. 368–387 (1996)Google Scholar
  13. 13.
    Ruiz Barradas, H.: Une approche à la dérivation formelle de systèmes en Gamma. PhD thesis, Université de Rennes 1, France (July 1993)Google Scholar
  14. 14.
    Banâtre, J.P., Coutant, A., Le Métayer, D.: A parallel machine for multiset transformation and its programming style. Future Gener. Comput. Syst. 4(2), 133–144 (1988)CrossRefzbMATHGoogle Scholar
  15. 15.
    Banâtre, J.P., Coutant, A., Le Métayer, D.: Parallel machines for multiset transformation and their programming style (1988)Google Scholar
  16. 16.
    Creveuil, C.: Implementation of gamma on the connection machine. In: Research Directions in High-Level Parallel Programming Languages, pp. 219–230 (1991)Google Scholar
  17. 17.
    Huan, L.P., Ng, K.W., Sun, Y.Q.: Implementing gamma on maspar mp-1, pp. 94–99 (1995)Google Scholar
  18. 18.
    Gladitz, K., Kuchen, H.: Parallel implementation of the gamma-operation on bags. In: Proc. of the PASCO (Parallel Symbolic Computation) conference, pp. 154–163 (1994)Google Scholar
  19. 19.
    Vieillot, M.: Synthèse de programmes Gamma en logique reconfigurable. Techniques et Sciences Informatiques 14, 567–584 (1995)Google Scholar
  20. 20.
    Hankin, C., Le Métayer, D., Sands, D.: A calculus of gamma programs. In: Proc. of the 5th International Workshop on Languages and Compilers for Parallel Computing, pp. 342–355. Springer, Heidelberg (1993)CrossRefGoogle Scholar
  21. 21.
    Le Métayer, D.: Higher-order multiset programming. In: Proc. of the DIMACS workshop on specifications of parallel algorithms. Dimacs Series in Discrete Mathematics, vol. 18 (1994)Google Scholar
  22. 22.
    Fradet, P., Le Métayer, D.: Structured gamma. Science of Computer Programming 31(2–3), 263–289 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Communications of the ACM 22(8), 465–476 (1979)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Banâtre, J.P., Le Métayer, D.: The gamma model and its discipline of programming. Science of Computer Programming 15(1), 55–77 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
  25. 25.
    Creveuil, C.: Techniques d’analyse et de mise en œuvre des programmes Gamma. PhD thesis, Université de Rennes 1, France (December 1991)Google Scholar
  26. 26.
    Chaudron, M.R.V., de Jong, E.D.: Towards a compositional method for coordinating gamma programs. In: COORDINATION, pp. 107–123 (1996)Google Scholar
  27. 27.
    McEvoy, H., Hartel, P.H.: Local linear logic for locality consciousness in multiset transformation. In: Swierstra, S.D. (ed.) PLILP 1995. LNCS, vol. 982, pp. 357–379. Springer, Heidelberg (1995)CrossRefGoogle Scholar
  28. 28.
    Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science 96, 217–248 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    Boudol, G.: Some chemical abstract machines. In: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, London, UK, pp. 92–123. Springer, Heidelberg (1994)CrossRefGoogle Scholar
  30. 30.
    Fradet, P., Le Métayer, D.: k Shape types. In: POPL 1997: Proc. of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 27–39. ACM, New York (1997)Google Scholar
  31. 31.
    Inverardi, P., Wolf, A.L.: Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. Softw. Eng. 21(4), 373–386 (1995)CrossRefGoogle Scholar
  32. 32.
    Le Métayer, D.: Describing software architecture styles using graph grammars. IEEE Trans. Softw. Eng. 24(7), 521–533 (1998)CrossRefGoogle Scholar
  33. 33.
    Hoffmann, B.: Shapely hierarchical graph transformation. In: HCC, pp. 30–37 (2001)Google Scholar
  34. 34.
    Mentré, D., Métayer, D.L., Priol, T.: Formalization and verification of coherence protocols with the gamma framework. In: PDSE, pp. 105–113 (2000)Google Scholar
  35. 35.
    Ciancarini, P., Fogli, D., Gaspari, M.: A logic language based on gamma-like multiset rewriting. In: ELP, pp. 83–101 (1996)Google Scholar
  36. 36.
    Banâtre, J.P., Fradet, P., Radenac, Y.: Principles of chemical programming. In: Abdennadher, S., Ringeissen, C. (eds.) Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004). ENTCS, vol. 124, pp. 133–147. Elsevier, Amsterdam (2005)Google Scholar
  37. 37.
    Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  38. 38.
    Chaudron, M.: Schedules for multiset transformer programs. Technical Report tr94-36, Rijksuniversiteit Leiden (December 1994)Google Scholar
  39. 39.
    Blizard, W.: Negative membership. Notre Dame Journal of Formal Logic 31(3), 346–368 (Summer 1990)MathSciNetCrossRefzbMATHGoogle Scholar
  40. 40.
    Banâtre, J.P., Fradet, P., Radenac, Y.: Generalised multisets for chemical programming. Mathematical Structures in Computer Science 16(4), 557–580 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  41. 41.
    Banâtre, J.P., Fradet, P., Radenac, Y.: Classical coordination mechanisms in the chemical model. In: From semantics to computer science: essays in honor of Gilles Kahn. Cambridge University Press, Cambridge (2008)Google Scholar
  42. 42.
    Gries, D.: The maximum-segment-sum problem. Formal development programs and proofs, 33–36 (1990)Google Scholar
  43. 43.
    Giavitto, J.L., Michel, O.: MGS: a rule-based programming language for complex objects and collections. Electronic Notes in Theoretical Computer Science 59(4), 286–304 (2001)CrossRefzbMATHGoogle Scholar
  44. 44.
    Giavitto, J.L., Michel, O.: Data structure as topological spaces. In: UMC, pp. 137–150 (2002)Google Scholar
  45. 45.
    Borovanský, P., Kirchner, C., Kirchner, H., Moreau, P.E.: Elan from a rewriting logic point of view. Theor. Comput. Sci. 285(2), 155–185 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  46. 46.
    Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241. Springer, Heidelberg (1997)Google Scholar
  47. 47.
    Banâtre, J.P., Fradet, P., Radenac, Y.: Programming self-organizing systems with the higher-order chemical language. International Journal of Unconventional Computing 3(3), 161–177 (2007)Google Scholar
  48. 48.
    Németh, Z., Pérez, C., Priol, T.: Workflow enactment based on a chemical metaphor. In: SEFM 2005: Proc. of the Third IEEE International Conference on Software Engineering and Formal Methods, pp. 127–136 (September 2005)Google Scholar
  49. 49.
    Németh, Z., Pérez, C., Priol, T.: Distributed workflow coordination: Molecules and reactions. In: The 9th International Workshop on Nature Inspired Distributed Computing, p. 241. IEEE, Los Alamitos (2006)Google Scholar
  50. 50.
    Chakravarti, A., Baumgartner, G., Lauria, M.: The organic grid: self-organizing computation on a peer-to-peer network. IEEE Transactions on Systems, Man and Cybernetics, Part A 35(3), 373–384 (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Jean-Pierre Banâtre
    • 1
  • Pascal Fradet
    • 2
  • Yann Radenac
    • 1
  1. 1.Université de Rennes 1 and INRIA IRISARennes CedexFrance
  2. 2.INRIA, INRIA GrenobleMontbonnotFrance

Personalised recommendations