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 | Low extracellular ions activates efflux channels. Network stabliity | |
Cell response to high osmotic environment | Increase in activation state of influx channels, network stability | 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 |