Name
Abstract | ||
|---|---|---|
We present a bigraphical framework suited for modeling biological systems both at protein level and at membrane level. We characterize formally bigraphs corresponding to biologically meaningful systems, and bigraphic rewriting rules representing biologically admissible interactions. At the protein level, these bigraphic reactive systems correspond exactly to systems of kappa-calculus. Membrane-level interactions are represented by just two general rules, whose application can be triggered by protein-level interactions in a well-defined and precise way.This framework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justification in terms of low-level (i.e., protein) interactions. As examples, we formalize in our framework the vesiculation and the phagocytosis processes. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.4204/EPTCS.11.1 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Keywords | Field | DocType |
biological systems,reactive system,quantitative method | Bigraph,Computer science,Design choice,Concurrency,Systems biology,Rewriting,Artificial intelligence,Soundness,Metamodeling,Machine learning,Abstract machine | Journal |
Volume | Issue | ISSN |
abs/0911.4 | 11 | 2075-2180 |
Citations | PageRank | References |
6 | 0.58 | 11 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Giorgio Bacci | 1 | 73 | 11.28 |
| Davide Grohmann | 2 | 59 | 5.71 |
| Marino Miculan | 3 | 502 | 43.24 |