{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:19:15Z","timestamp":1762521555885},"reference-count":37,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,3,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Motivation: Logical (Boolean or multi-valued) modelling is widely used to study regulatory or signalling networks. Even though these discrete models constitute a coarse, yet useful, abstraction of reality, the analysis of large networks faces a classical combinatorial problem. Here, we propose to take advantage of the intrinsic modularity of inter-cellular networks to set up a compositional procedure that enables a significant reduction of the dynamics, yet preserving the reachability of stable states. To that end, we rely on process algebras, a well-established computational technique for the specification and verification of interacting systems.<\/jats:p>\n               <jats:p>Results: We develop a novel compositional approach to support the logical modelling of interconnected cellular networks. First, we formalize the concept of logical regulatory modules and their composition. Then, we make this framework operational by transposing the composition of logical modules into a process algebra framework. Importantly, the combination of incremental composition, abstraction and minimization using an appropriate equivalence relation (here the safety equivalence) yields huge reductions of the dynamics. We illustrate the potential of this approach with two case-studies: the Segment-Polarity and the Delta-Notch modules.<\/jats:p>\n               <jats:p>Availability and implementation: GINsim (http:\/\/ginsim.org) and CADP (http:\/\/cadp.inria.fr) are freely available for academic users. Files needed to reproduce our results are provided at http:\/\/compbio.igc.gulbenkian.pt\/nmd\/node\/45.<\/jats:p>\n               <jats:p>Contact: \u00a0chaouiya@igc.gulbenkian.pt<\/jats:p>\n               <jats:p>Supplementary information: \u00a0Supplementary data are available at Bioinformatics online<\/jats:p>","DOI":"10.1093\/bioinformatics\/btt033","type":"journal-article","created":{"date-parts":[[2013,1,23]],"date-time":"2013-01-23T05:48:54Z","timestamp":1358920134000},"page":"749-757","source":"Crossref","is-referenced-by-count":17,"title":["Composition and abstraction of logical regulatory modules: application to multicellular systems"],"prefix":"10.1093","volume":"29","author":[{"given":"Nuno D.","family":"Mendes","sequence":"first","affiliation":[{"name":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Lang","sequence":"additional","affiliation":[{"name":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves-Stan","family":"Le Cornec","sequence":"additional","affiliation":[{"name":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[{"name":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Batt","sequence":"additional","affiliation":[{"name":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudine","family":"Chaouiya","sequence":"additional","affiliation":[{"name":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"},{"name":"1 IGC, Instituto Gulbenkian de Ci\u00eancia, Rua da Quinta Grande 6, P-2780-156 Oeiras, Portugal, 2Inria Grenoble \u2013 Rh\u00f4ne-Alpes and LIG, 655 av de l\u2019Europe, Montbonnot, 38 334 St Ismier Cedex, France, 3IBISC, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 40, Rue du Pelvoux, 91020 Evry Cedex, France, 4Inria Paris \u2013 Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay, France and 5TAGC, INSERM U1090 AMU, 163 avenue de Luminy, 13288 Marseille Cedex 9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2013,1,22]]},"reference":[{"key":"2023012810250852400_btt033-B1","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1186\/1752-0509-4-134","article-title":"Single-cell and coupled GRN models of cell patterning in the Arabidopsis thaliana root stem cell niche","volume":"4","author":"Azpeitia","year":"2010","journal-title":"BMC Syst. Biol."},{"key":"2023012810250852400_btt033-B2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-54233-7_126","article-title":"Safety for branching time semantics","volume-title":"ICALP","author":"Bouajjani","year":"1991"},{"key":"2023012810250852400_btt033-B3","doi-asserted-by":"crossref","first-page":"e1000702","DOI":"10.1371\/journal.pcbi.1000702","article-title":"Mathematical modelling of cell-fate decision in response to death receptor engagement","volume":"6","author":"Calzone","year":"2010","journal-title":"PLoS Comput. Biol."},{"key":"2023012810250852400_btt033-B4","article-title":"Reference manual of the LOTOS NT to LOTOS translator (version 5.5)","author":"Champelovier","year":"2011"},{"key":"2023012810250852400_btt033-B5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84996-474-6_12","article-title":"A modular, qualitative modeling of regulatory networks using Petri nets","volume-title":"Modeling in Systems Biology, The Petri Net Approach","author":"Chaouiya","year":"2011"},{"key":"2023012810250852400_btt033-B6","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1016\/j.jtbi.2005.01.023","article-title":"Robustness and fragility of Boolean models for genetic regulatory networks","volume":"235","author":"Chaves","year":"2005","journal-title":"J. Theor. Biol."},{"key":"2023012810250852400_btt033-B7","doi-asserted-by":"crossref","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","article-title":"Bio-PEPA: a framework for the modelling and analysis of biological systems","volume":"410","author":"Ciocchetta","year":"2009","journal-title":"Theor. Comput. Sci."},{"key":"2023012810250852400_btt033-B8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19811-3_9","article-title":"Smart reduction","volume-title":"Proceedings of FASE\u20192011","author":"Crouzen","year":"2011"},{"key":"2023012810250852400_btt033-B9","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1109\/TCBB.2007.70254","article-title":"Search for steady states of piecewise-linear differential equation models of genetic regulatory networks","volume":"5","author":"de Jong","year":"2008","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"key":"2023012810250852400_btt033-B10","doi-asserted-by":"crossref","first-page":"1393","DOI":"10.1109\/TCBB.2010.20","article-title":"A sat-based algorithm for finding attractors in synchronous boolean networks","volume":"8","author":"Dubrova","year":"2011","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"key":"2023012810250852400_btt033-B11","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1093\/bioinformatics\/btl210","article-title":"Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle","volume":"22","author":"Faur\u00e9","year":"2006","journal-title":"Bioinformatics"},{"key":"2023012810250852400_btt033-B12","doi-asserted-by":"crossref","first-page":"1787","DOI":"10.1039\/b910101m","article-title":"Modular logical modelling of the budding yeast cell cycle","volume":"5","author":"Faur\u00e9","year":"2009","journal-title":"Mol. Biosyst."},{"key":"2023012810250852400_btt033-B13","first-page":"377","article-title":"SVL: a scripting language for compositional verification","volume-title":"Proceedings of IFIP WG 6.1, FORTE\u20192001","author":"Garavel","year":"2001"},{"key":"2023012810250852400_btt033-B14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19835-9_33","article-title":"CADP 2010: A toolbox for the construction and analysis of distributed processes","volume-title":"Proceedings of TACAS\u20192011","author":"Garavel","year":"2011"},{"key":"2023012810250852400_btt033-B15","doi-asserted-by":"crossref","first-page":"i234","DOI":"10.1093\/bioinformatics\/btn266","article-title":"Logical modelling of the role of the Hh pathway in the patterning of the Drosophila wing disc","volume":"24","author":"Gonz\u00e1lez","year":"2008","journal-title":"Bioinformatics"},{"key":"2023012810250852400_btt033-B16","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1109\/TCBB.2010.81","article-title":"Component-based modeling and reachability analysis of genetic networks","volume":"8","author":"G\u00f6ssler","year":"2011","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"key":"2023012810250852400_btt033-B17","doi-asserted-by":"crossref","first-page":"e123","DOI":"10.1371\/journal.pbio.0020123","article-title":"Topology and robustness in the Drosophila segment polarity network","volume":"2","author":"Ingolia","year":"2004","journal-title":"PLoS Biol."},{"key":"2023012810250852400_btt033-B18","doi-asserted-by":"crossref","DOI":"10.1007\/11589976_6","article-title":"EXP.OPEN 2.0: a flexible tool integrating partial order, compositional, and on-the-fly verification methods","volume-title":"Proceedings of IFM\u20192005","author":"Lang","year":"2005"},{"key":"2023012810250852400_btt033-B19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-28756-5_11","article-title":"Partial model checking using networks of labelled transition systems and boolean equation systems","volume-title":"TACAS","author":"Lang","year":"2012"},{"key":"2023012810250852400_btt033-B20","first-page":"329","article-title":"Delta-Notch lateral inhibitory patterning in the emergence of ciliated cells in Xenopus: experimental observations and a gene network model","author":"Marnellos","year":"2000","journal-title":"Pac. Symp. Biocomput."},{"key":"2023012810250852400_btt033-B21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-68237-0_12","article-title":"A model checking language for concurrent value-passing systems","volume-title":"Proceedings of the 15th International Symposium on Formal Methods FM\u201908","author":"Mateescu","year":"2008"},{"key":"2023012810250852400_btt033-B22","volume-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"2023012810250852400_btt033-B23","doi-asserted-by":"crossref","first-page":"e1000912","DOI":"10.1371\/journal.pcbi.1000912","article-title":"Diversity and plasticity of Th cell types predicted from regulatory network modelling","volume":"6","author":"Naldi","year":"2010","journal-title":"PLoS Comput. Biol."},{"key":"2023012810250852400_btt033-B24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-33636-2_17","article-title":"Efficient handling of large signalling-regulatory networks by focusing on their core control","volume-title":"CMSB\u201912","author":"Naldi","year":"2012"},{"key":"2023012810250852400_btt033-B25","doi-asserted-by":"crossref","first-page":"2207","DOI":"10.1016\/j.tcs.2010.10.021","article-title":"Dynamically consistent reduction of logical regulatory graphs","volume":"412","author":"Naldi","year":"2011","journal-title":"Theor. Comput. Sci."},{"key":"2023012810250852400_btt033-B26","article-title":"Decision diagrams for the representation of logical models of regulatory networks","volume-title":"CMSB\u201907","author":"Naldi","year":"2007"},{"key":"2023012810250852400_btt033-B27","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/TCBB.2008.64","article-title":"Model composition for macromolecular regulatory networks","volume":"7","author":"Randhawa","year":"2010","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"key":"2023012810250852400_btt033-B28","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1038\/msb.2009.87","article-title":"Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction","volume":"5","author":"Saez-Rodriguez","year":"2009","journal-title":"Mol. Syst. Biol."},{"key":"2023012810250852400_btt033-B29","first-page":"379","article-title":"From gradients to segments: a logical analysis of the genetic network controlling early Drosophila","volume-title":"Bioinformatics of Genome Regulation and Structure II","author":"S\u00e1nchez","year":"2006"},{"key":"2023012810250852400_btt033-B30","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1387\/ijdb.072439ls","article-title":"Segmenting the fly embryo: a logical analysis of the segment polarity cross-regulatory module","volume":"52","author":"S\u00e1nchez","year":"2008","journal-title":"Int. J. Dev. Biol."},{"key":"2023012810250852400_btt033-B31","first-page":"62","article-title":"SBMLmerge, a system for combining biochemical network models","volume":"17","author":"Schulz","year":"2006","journal-title":"Genome Inform."},{"key":"2023012810250852400_btt033-B32","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/j.biosystems.2005.07.006","article-title":"Towards building the silicon cell: a modular approach","volume":"83","author":"Snoep","year":"2006","journal-title":"Biosystems"},{"key":"2023012810250852400_btt033-B33","article-title":"Defining modeling strategies for Systems Biology","volume-title":"Technical report, FutureSysBio Workshop","author":"Stelling","year":"2011"},{"key":"2023012810250852400_btt033-B34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","article-title":"Regulatory networks seen as asynchronous automata: a logical description","volume":"153","author":"Thomas","year":"1991","journal-title":"J. Theor. Biol."},{"key":"2023012810250852400_btt033-B35","volume-title":"Biological Feedback","author":"Thomas","year":"1990"},{"key":"2023012810250852400_btt033-B36","volume-title":"Branching-Time and Abstraction in Bisimulation Semantics (Extended Abstract)","author":"van Glabbeek","year":"1989"},{"key":"2023012810250852400_btt033-B37","doi-asserted-by":"crossref","first-page":"921","DOI":"10.1038\/nrg2267","article-title":"The road to modularity","volume":"8","author":"Wagner","year":"2007","journal-title":"Nat. Rev. Genet."}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/29\/6\/749\/48894889\/bioinformatics_29_6_749.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/29\/6\/749\/48894889\/bioinformatics_29_6_749.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T11:54:14Z","timestamp":1674906854000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/29\/6\/749\/183643"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,22]]},"references-count":37,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2013,3,15]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btt033","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2013,3,15]]},"published":{"date-parts":[[2013,1,22]]}}}