Timed Concurrent Constraint Programming for Analysing Biological Systems

AbstractIn this paper we present our first approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information constructs in ntcc can provide a suitable language for such systems. We also illustrate how ntcc may provide a unified framework for the analysis of biological systems, as they can be described, simulated and verified using the elements provided by the calculus

Modelando Sistemas de Membranas en ntcc

International audienceThe ntcc calculus has been proposed as a formalism for modeling concurrent systems such as biological systems. In this paper we explore the expresiveness of the ntcc calculus for modeling, simulating and analyzing biological systems. A legitimate question is therefore: Is it possible to model membrane systems with ntcc? In this paper as our main contribution to the solution of this question, we propose a general mechanism for modeling membrane systems in ntcc. The application of that mechanism is illustrated with a model for the LDL cholesterol degradation pathway using membrane systems defined in ntcc

Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking

The application of formal methods to the analysis of stochastic oscillators has been at the focus of several research works in recent times. In this paper we provide insights on the application of an expressive temporal logic formalism, namely the Hybrid Automata Stochastic Logic (HASL), to that issue. We show how one can take advantage of the expressive power of the HASL logic to define and assess relevant characteristics of (stochastic) oscillators