ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 16:30 - 17:00 at S9 - Synthesis and Inference Chair(s): Michela Chiappalone

Symbolic systems biology aims to explore biological processes as whole systems instead of small and independent elements. The goal is to define formal models that capture biologists intuitions and reasoning. Pathway Logic is a system for developing executable formal models of biomolecular processes. Using the Maude system, these models of dynamic processes can be represented and analyzed. The Pathway Logic Assistant uses forwards and backwards collection to assemble a connected set of rules from a rule knowledge base to model a system specified by an initial state (experimental setup). For this to succeed the rules must represent component states at the same level of detail, while we would like the knowledge base to capture as much detail as possible. In this paper, we propose a different way to perform matching in the process of rewriting in the high-performance rewriting language Maude. The basic concept is that of ‘‘fuzzy match’’ or ‘‘fuzzy instantiates to’’. It will be used to check requirements imposed by controls in forward collection, and with some elaboration to check whether the change part of a rule applies forwards or backwards.

Sun 7 Apr

16:00 - 18:00: HSB - Synthesis and Inference at S9
Chair(s): Michela ChiappaloneItalian Institute of Technology
hsb-2019-papers16:00 - 16:30
Ádám HalászWest Virginia University, Ouri MalerWest Virginia University, Jeremy S EdwardsUniversity of New Mexico
hsb-2019-papers16:30 - 17:00
Adrian RiescoUniversidad Complutense de Madrid, Beatriz Santos-BuitragoSeoul National University, Merrill KnappSRI International, Gustavo Santos-GarciaUniversidad de Salamanca, Carolyn TalcottSRI International
hsb-2019-papers17:00 - 17:30
Matej HajnalMasaryk University, Tatjana PetrovUniversität Konstanz, David SafranekMasaryk University, Morgane NouvianUniversity of Konstanz
hsb-2019-papers17:30 - 17:40
Day closing