The BioAmbients calculus is a process algebra suitable for representing compartmentalization,molecular localization and movements between compartments. In this paper we enrich this calculus with a static type system classifying each ambient with group types specifying the kind of compartments in which the ambient can stay. The type system ensures that, in a well-typed process, ambients cannot be nested in a way that violates the type hierarchy. Exploiting the information given by the group types, we also extend the operational semantics of BioAmbients with rules signalling errors that may derive fromundesired ambients’ moves (i.e. merging incompatible tissues). Thus, the signal of errors can help the modeller to detect and locate unwanted situations that may arise in a biological system, and give practical hints on how to avoid the undesired behaviour.
Types for BioAmbients / Sara Capecchi; Angelo Troina. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - ELETTRONICO. - 19:(2010), pp. 103-115. (Intervento presentato al convegno Third Workshop From Biology To Concurrency and back tenutosi a Paphos, Cipro nel 27 marzo 2011) [10.4204/EPTCS.19.7].
Types for BioAmbients
TROINA, ANGELO
2010
Abstract
The BioAmbients calculus is a process algebra suitable for representing compartmentalization,molecular localization and movements between compartments. In this paper we enrich this calculus with a static type system classifying each ambient with group types specifying the kind of compartments in which the ambient can stay. The type system ensures that, in a well-typed process, ambients cannot be nested in a way that violates the type hierarchy. Exploiting the information given by the group types, we also extend the operational semantics of BioAmbients with rules signalling errors that may derive fromundesired ambients’ moves (i.e. merging incompatible tissues). Thus, the signal of errors can help the modeller to detect and locate unwanted situations that may arise in a biological system, and give practical hints on how to avoid the undesired behaviour.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.