Reaction Systems (RSs) are a successful natural computing framework inspired by chemical reaction networks. A RS consists of a set of entities and a set of reactions. Entities can enable or inhibit each reaction, and are produced by reactions or provided by the environment. In a previous paper, we defined an original labelled transition system (LTS) semantics for RSs in the structural operational semantics (SOS) style. This approach has several advantages: (i) it provides a formal specification of the RS dynamics that enables the reuse of many formal analysis techniques and favors the implementation of tools, and (ii) it facilitates the definition of extensions of the RS framework by simply modifying some of the SOS rules in a modular way. In this paper, we demonstrate the extensibility of the framework by defining two quantitative variants of RSs: with reaction delays/durations, and with concentration levels. We provide a prototype logic programming implementation and apply our tool to a RS model of Th cells differentiation in the immune system.

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems / Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Levi, F.; Milazzo, P.. - 13082 LNCS:(2021), pp. 15-32. [10.1007/978-3-030-90425-8_2]

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems

Brodo L.
;
2021-01-01

Abstract

Reaction Systems (RSs) are a successful natural computing framework inspired by chemical reaction networks. A RS consists of a set of entities and a set of reactions. Entities can enable or inhibit each reaction, and are produced by reactions or provided by the environment. In a previous paper, we defined an original labelled transition system (LTS) semantics for RSs in the structural operational semantics (SOS) style. This approach has several advantages: (i) it provides a formal specification of the RS dynamics that enables the reuse of many formal analysis techniques and favors the implementation of tools, and (ii) it facilitates the definition of extensions of the RS framework by simply modifying some of the SOS rules in a modular way. In this paper, we demonstrate the extensibility of the framework by defining two quantitative variants of RSs: with reaction delays/durations, and with concentration levels. We provide a prototype logic programming implementation and apply our tool to a RS model of Th cells differentiation in the immune system.
2021
978-3-030-90424-1
978-3-030-90425-8
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems / Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Levi, F.; Milazzo, P.. - 13082 LNCS:(2021), pp. 15-32. [10.1007/978-3-030-90425-8_2]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11388/303874
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 5
social impact