Lookup NU author(s): Artur Meski,
Professor Maciej Koutny
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
© 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.
Author(s): Meski A, Koutny M, Penczek W
Editor(s): Susan Stepney and Sergey Verlan
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018)
Year of Conference: 2018
Online publication date: 31/05/2018
Acceptance date: 02/04/2018
Publisher: Springer Verlag
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science