BIOMICS: a Theory of Interaction Computing

Paolo Dini,Chrystopher L. Nehaniv,Eric Rothstein,Daniel Schreckling,Gábor Horváth
DOI: https://doi.org/10.1007/978-3-319-65826-1_13
2018-01-01
Abstract:This chapter provides a summary of the results of the BIOMICS project, specifically from the point of view of the development of a mathematical framework that can support a productive collaboration between cell biochemistry, dynamical systems, algebraic automata theory, and specification languages, leading to a theory of Interaction Computing (IC).The main objective of the BIOMICS project was to map the spontaneous order-construction ability of cellular biochemistry to computer science in the form of a new model of computation that we call Interaction Computing. The project did not achieve this objective, but it lay the groundwork for developing a mathematical theory of IC, it developed a computational framework that can support IC based on an extension of Abstract State Machines (ASMs) (Börger and Stärk, 2003) to Abstract State Interaction Machines (ASIMs), and reached a number of intermediate objectives.
What problem does this paper attempt to address?