Skip to main content
SpringerLink
Log in

The Chemical Reaction Model Recent Developments and Prospects

  • Chapter
Software-Intensive Systems and New Computing Paradigms

Part of the book series: Lecture Notes in Computer Science ((LNPSE,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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Papazoglou, M.P., Georgakopoulos, D.: Service-oriented computing. Communications of the ACM 46(10) (2003)

    Google Scholar 

  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. 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. 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. 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)

    Chapter  Google Scholar 

  6. Banâtre, J.P., Le Métayer, D.: Programming by multiset transformation. Communications of the ACM (CACM) 36(1), 98–111 (1993)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  8. Loeb, D.: Sets with a negative number of elements. Advances in Mathematics 91, 64–74 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. McEvoy, H.: Gamma, chromatic typing and vegetation, pp. 368–387 (1996)

    Google Scholar 

  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. 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)

    Article  MATH  Google Scholar 

  15. Banâtre, J.P., Coutant, A., Le Métayer, D.: Parallel machines for multiset transformation and their programming style (1988)

    Google Scholar 

  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. Huan, L.P., Ng, K.W., Sun, Y.Q.: Implementing gamma on maspar mp-1, pp. 94–99 (1995)

    Google Scholar 

  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. Vieillot, M.: Synthèse de programmes Gamma en logique reconfigurable. Techniques et Sciences Informatiques 14, 567–584 (1995)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Fradet, P., Le Métayer, D.: Structured gamma. Science of Computer Programming 31(2–3), 263–289 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  23. Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Communications of the ACM 22(8), 465–476 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  28. Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science 96, 217–248 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Article  Google Scholar 

  32. Le Métayer, D.: Describing software architecture styles using graph grammars. IEEE Trans. Softw. Eng. 24(7), 521–533 (1998)

    Article  Google Scholar 

  33. Hoffmann, B.: Shapely hierarchical graph transformation. In: HCC, pp. 30–37 (2001)

    Google Scholar 

  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. Ciancarini, P., Fogli, D., Gaspari, M.: A logic language based on gamma-like multiset rewriting. In: ELP, pp. 83–101 (1996)

    Google Scholar 

  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. Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  38. Chaudron, M.: Schedules for multiset transformer programs. Technical Report tr94-36, Rijksuniversiteit Leiden (December 1994)

    Google Scholar 

  39. Blizard, W.: Negative membership. Notre Dame Journal of Formal Logic 31(3), 346–368 (Summer 1990)

    Article  MathSciNet  MATH  Google Scholar 

  40. Banâtre, J.P., Fradet, P., Radenac, Y.: Generalised multisets for chemical programming. Mathematical Structures in Computer Science 16(4), 557–580 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  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. Gries, D.: The maximum-segment-sum problem. Formal development programs and proofs, 33–36 (1990)

    Google Scholar 

  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)

    Article  MATH  Google Scholar 

  44. Giavitto, J.L., Michel, O.: Data structure as topological spaces. In: UMC, pp. 137–150 (2002)

    Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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. 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. 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. 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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université de Rennes 1 and INRIA IRISA, Campus de Beaulieu, 35042, Rennes Cedex, France

    Jean-Pierre Banâtre & Yann Radenac

  2. INRIA, INRIA Grenoble, 655 avenue de l’Europe, 38330, Montbonnot, France

    Pascal Fradet

Authors
  1. Jean-Pierre Banâtre
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pascal Fradet
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yann Radenac
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing  & Axel Rauschmayer  & 

  2. Université de Rennes I and INRIA/IRISA, Campus de Beaulieu, 35042, Rennes Cedex, France

    Jean-Pierre Banâtre

  3. Ludwig-Maximilians-Universität München, Germany

    Matthias Hölzl

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Banâtre, JP., Fradet, P., Radenac, Y. (2008). The Chemical Reaction Model Recent Developments and Prospects. In: Wirsing, M., Banâtre, JP., Hölzl, M., Rauschmayer, A. (eds) Software-Intensive Systems and New Computing Paradigms. Lecture Notes in Computer Science, vol 5380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89437-7_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89437-7_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89436-0

  • Online ISBN: 978-3-540-89437-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation