Reaction mining for reaction systems

Meski, A; Koutny, M; Penczek, W

doi:10.1007/978-3-319-92435-9_10

Reaction mining for reaction systems

Lookup NU author(s): Artur Meski, Professor Maciej Koutny ORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

© 2018, Springer International Publishing AG, part of Springer Nature. Reaction systems are a formal model for specifying and analysing computational processes in which reactions operate on sets of entities (molecules), providing a framework for dealing with qualitative aspects of biochemical systems. This paper is concerned with reaction systems in which entities can have discrete concentrations and reactions operate on multisets of entities, providing a succinct framework for dealing with quantitative aspects of systems. This is facilitated by a dedicated linear-time temporal logic which allows one to express and verify a wide range of behavioural system properties. In practical applications, a reaction system with discrete concentrations may only be partially specified, and effective calculation of the missing details would provide an attractive design approach. To develop such an approach, this paper introduces reaction systems with parameters representing the unknown parts of the reactions. The main result is a method which attempts to replace these parameters in such a way that the resulting reaction system operating in a given external environment satisfies a given temporal logic formula. We provide a suitable encoding of parametric reaction systems in smt, and outline a synthesis procedure based on bounded model checking for solving the synthesis problem. We also provide preliminary experimental results demonstrating the feasibility of the new synthesis method.