Skip to main content
Springer Nature Link
Log in

Toward Organization-Oriented Chemical Programming: A Case Study with the Maximal Independent Set Problem

  • Chapter
Advances in Biologically Inspired Information Systems

Part of the book series: Studies in Computational Intelligence ((SCI,volume 69))

  • 762 Accesses

Biological systems are considered as a source of inspiration to make a system robust, self-organizing, adaptive, fault-tolerant, and scalable. These features are achieved by an orchestrated, decentralized interplay of many relatively simple asynchronous components. Since information is processed in living organisms using interconnected chemical reactions, the chemical reaction metaphor has been proposed as a novel computation paradigm. A couple of approaches are already using the chemical metaphor, such as, Gamma, MGS, amorphous computing, membrane computing, and reaction-diffusion processors.When employing a large number of components into a system, however, it becomes hard to control and program the system behavior. Therefore, new programming techniques are required. Here we describe how chemical organization theory can serve as a tool for chemical programming. The theory allows to predict the potential behavior of a chemical program and thus supports a programmer in the design of a chemical-like control system. The approach is demonstrated by applying it to the maximal independent set problem.We show that the desired solutions are predicted by the theory as chemical organizations. Furthermore the theory uncovers “undesirable” organizations, representing uncompleted halting computations due to insufficient amount of molecules.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Lodding, K. N. (2004) The hitchhiker’s guide to biomorphic software. Queue, 2, 66-75.

    Google Scholar 

  2. Krüeger, B. and Dressler, F. (2004) Molecular processes as a basis for autonomous net-working. International IPSI-2004 Stockholm Conference: Symposium on Challenges in the Internet and Interdisciplinary Research (IPSI-2004 Stockholm).

    Google Scholar 

  3. D’haeseleer, P., Forrest, S., and Helman, H. (1996) An immunological approach to change detection: Algorithms, analysis and implications. Proceedings of the 1996 IEEE Sympo-sium on Security and Privacy, pp. 110-119, IEEE Computer Society Press.

    Google Scholar 

  4. Dorigo, M., Caro, G. D., and Gambardella, L. (1999) Ant algorithms for discrete opti-mization. Artif. Life, 5, 137-172.

    Article  Google Scholar 

  5. Bonabeau, E., Dorigo, M., and Theraulaz, G. (2000) Inspiration for optimization from social insect behaviour. Nature, 406, 39-42.

    Article  Google Scholar 

  6. Schoonderwoerd, R., Bruten, J. L., Holland, O. E., and Rothkrantz, L. J. M. (1996) Ant-based load balancing in telecommunications networks. Adapt. Behav., 5, 169-207.

    Article  Google Scholar 

  7. Montresor, A. and Babaoglu, O. (2003) Biology-inspired approaches to peer-to-peer com-puting in bison. The Third International Conference on Intelligent System Design and Applications.

    Google Scholar 

  8. Babaoglu, O., et al. (2006) Design patterns from biology for distributed computing. ACM Transactions on Autonomous and Adaptive Systems, 1, 26 - 66.

    Article  Google Scholar 

  9. Müller-Schloer, C. (2004) Organic computing: On the feasibility of controlled emergence. Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS2004, pp. 2-5, ACM Press, New York.

    Google Scholar 

  10. Banâtre, J.-P. and Métayer, D. L. (1986) A new computational model and its discipline of programming. Tech. Rep. RR-0566, INRIA.

    Google Scholar 

  11. Dittrich, P. (2005) The bio-chemical information processing metaphor as a program-ming paradigm for organic computing. Brinkschulte, U., Becker, J., Hochberger, C., Martinetz, T., Müller-Schloer, C., Schmeck, H., Ungerer, T., and Würtz, R. (eds.), ARCS ’05 - 18th International Conference on Architecture of Computing Systems 2005, pp. 95-99, VDE Verlag, Berlin.

    Google Scholar 

  12. Küppers, B.-O. (1990) Information and the Origin of Life. MIT Press.

    Google Scholar 

  13. Banzhaf, W., Dittrich, P., and Rauhe, H. (1996) Emergent computation by catalytic reactions. Nanotechnology, 7, 307-314.

    Article  Google Scholar 

  14. Zauner, K.-P. (2005) From prescriptive programming of solid-state devices to orches-trated self-organisation of informed matter. Banâtre, J.-P., Giavitto, J.-L., Fradet, P., and Michel, O. (eds.), Unconventional Programming Paradigms: International Workshop UPP 2004, vol. 3566 of LNCS, pp. 47-55, Springer, Berlin.

    Google Scholar 

  15. Dittrich, P. and Speroni di Fenizio, P. (2006) Chemical organization theory. Bull. Math. Biol., (accepted).

    Google Scholar 

  16. Matsumaru, N., Centler, F., Speroni di Fenizio, P., and Dittrich, P. (2007) Chemical orga-nization theory as a theoretical base for chemical computing. International Journal of Unconventional Computing, (in print).

    Google Scholar 

  17. Shukla, S. K., Rosenkrantz, D. J., and Ravi, S. S. (1995) Observations on self-stabilizing graph algorithms for anonymous networks. Proceedings of the Second Workshop on Self-Stabilizing Systems, pp. 7.1-7.15.

    Google Scholar 

  18. Adamatzky, A. and De Lacy Costello, B. (2002) Experimental logical gates in a reaction-diffusion medium: The XOR gate and beyond. Phys. Rev. E, 66, 046112.

    Article  Google Scholar 

  19. Zauner, K.-P. and Conrad, M. (2001) Enzymatic computing. Biotechnology Progress, 17, 553-559.

    Article  Google Scholar 

  20. Gardner, T. S., Cantor, C. R., and Collins, J. J. (1999) Construction of a genetic toggle switch in escherichia coli. Nature, 403, 339-342.

    Google Scholar 

  21. Weiss, R., Homsy, G., and Knight, T. (1999) Toward in vivo digital circuits. Proceedings of the Dimacs Workshop on Evolution as Computation.

    Google Scholar 

  22. Banâtre, J.-P., Fradet, P., and Radenac, Y. (2004) Principles of chemical programming. Abdennadher, S. and Ringeissen, C. (eds.), RULE’04 Fifth International Workshop on Rule-Based Programming, pp. 98-108, Tech. Rep. AIB-2004-04, Dept. of Comp. Sci., RWTH Aachen, Germany.

    Google Scholar 

  23. Păun, G. (2002) Membrane Computing: An Introduction. Nat. Comput. Ser., Springer.

    Google Scholar 

  24. Suzuki, Y. and Tanaka, H. (1997) Symbolic chemical system based on abstract rewriting system and its behavior pattern. Artificial Life and Robotics, 1, 211-219.

    Article  Google Scholar 

  25. Fontana, W. and Buss, L. W. (1994) ‘The arrival of the fittest’: Toward a theory of biolog-ical organization. Bulletin of Mathematical Biology, 56, 1-64.

    MATH  Google Scholar 

  26. Reichenbach, F., Bobek, A., Hagen, P., and Timmermann, D. (2006) Increasing lifetime of wireless sensor networks with energy-aware role-changing. Proceedings of the 2nd IEEE International Workshop on Self-Managed Networks, Systems & Services (SelfMan 2006), Dublin, Ireland, pp. 157-170.

    Google Scholar 

  27. Luby, M. (1986) A simple parallel algorithm for the maximal independent set problem. SIAM Journal on Computing, 15, 1036 - 1055.

    Article  MATH  MathSciNet  Google Scholar 

  28. Herman, T. (2003) Models of self-stabilization and sensor networks. Das, S. R. and Das, S. K. (eds.), IWDC, vol. 2918 of LNCS, pp. 205-214, Springer, Berlin.

    Google Scholar 

  29. Ikeda, M., Kamei, S., and Kakugawa, H. (2002) A space-optimal self-stabilizing algo-rithm for the maximal independent set problem. Proceedings of the Third Interna-tional Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), pp. 70-74.

    Google Scholar 

  30. Feinberg, M. and Horn, F. J. M. (1974) Dynamics of open chemical systems and the algebraic structure of the underlying reaction network. Chem. Eng. Sci., 29, 775-787.

    Article  Google Scholar 

  31. Matsumaru, N. and Dittrich, P. (2006) Organization-oriented chemical programming for the organic design of distributed computing systems. Proc. of Bionetics, Decem-ber 11-13, pp. Cavalese, Italy, IEEE, available at http://www.x-cd.com/ bionetics06cd/.

  32. Elson, J., et al. (2003) EmStar: An Environment for Developing Wireless Embedded Systems Software. Tech. Rep. CENS Technical Report 0009, Center for Embedded Net-worked Sensing, University of California, Los Angeles.

    Google Scholar 

  33. Girod, L., Elson, J., Cerpa, A., Stathopoulos, T., Ramanathan, N., and Estrin, D. (2004) Emstar: a software environment for developing and deploying wireless sensor networks. Proceedings of the 2004 USENIX Technical Conference, Boston, MA, USENIX.

    Google Scholar 

  34. Machné, R., Finney, A., Müller, S., Lu, J., Widder, S., and Flamm, C. (2006) The sbml ode solver library: a native api for symbolic and fast numerical analysis of reaction networks. Bioinformatics, 22, 1406-1407.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science Bio Systems Analysis Group, Friedrich-Schiller-University Jena, Ernst-Abbe-Platz 1-4, D-07743, Jena, Germany

    Naoki Matsumaru, Thorsten Lenser, Thomas Hinze & Peter Dittrich

Authors
  1. Naoki Matsumaru
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thorsten Lenser
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thomas Hinze
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Peter Dittrich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Erlangen, Martensstr. 3, 91058, Erlangen, Germany

    Falko Dressler

  2. CREATE-NET, Via Solteri 38, 38100, Trento, Italy

    Iacopo Carreras

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Matsumaru, N., Lenser, T., Hinze, T., Dittrich, P. (2007). Toward Organization-Oriented Chemical Programming: A Case Study with the Maximal Independent Set Problem. In: Dressler, F., Carreras, I. (eds) Advances in Biologically Inspired Information Systems. Studies in Computational Intelligence, vol 69. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72693-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-72693-7_8

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics