Article ID Journal Published Year Pages File Type
435672 Theoretical Computer Science 2015 12 Pages PDF
Abstract

Reaction systems are a formal framework for investigating dynamic bioprocesses which was inspired by the functioning of the living cell. Zoom structures formalize a static depository of knowledge of a discipline of knowledge/science and in particular they allow one to deal with the hierarchical nature of biology. Exploration systems combine reaction systems with zoom structures allowing one to explore a discipline of science such as biology taking into account both its static and dynamic aspects. In order to facilitate applications of exploration systems, in this paper we consider (i) a subclass of zoom structures called standard zoom structures as well as (ii) augmenting both zoom structures and reaction systems by total ordering of their domains (background sets).

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Authors
, ,