Table 2 Formal specification for base osmotic regulation model

From: Exploring the role of stromal osmoregulation in cancer and disease using executable modelling

Environmental responses

Expected change

Reasoning

Model expected results

Cell in non-stimulating environment

Network stability

Cell maintains constant size under homestatic conditions (McManus et al.72, Ho4)

Network is stable with external ionic concentration of 2

Cell response to low osmotic environment

Increase in activation state of efflux channels, network stability

McManus et al.72, Ho4

Low extracellular ions activates efflux channels. Network stabliity

Cell response to high osmotic environment

Increase in activation state of influx channels, network stability

McManus et al.72, Ho4

High extracellular ions activates influx channels. Network stability

Cell response to varied osmotic environments

Cell remains the same size despite changes in osmotic environment, any change in cell size is transient

Cell maintains constant size after being subjected to reasonable osmotic fluctuations (McManus et al.72, Ho4).

Network is stable with external ionic concentration of 0 or 4

  1. Shown is the expected cellular behaviour under numerous conditions, the reasoning, and the expected results from the model