Department of Biology, Norwegian University of Science and Technology (NTNU), Trondheim, Norway.
Department of Computer Science and Engineering, Instituto Superior Técnico (IST) - Universidade de Lisboa, Lisbon, Portugal; INESC-ID, Lisbon, Portugal.
J Theor Biol. 2022 Apr 7;538:111025. doi: 10.1016/j.jtbi.2022.111025. Epub 2022 Jan 24.
Computational models of biological processes provide one of the most powerful methods for a detailed analysis of the mechanisms that drive the behavior of complex systems. Logic-based modeling has enhanced our understanding and interpretation of those systems. Defining rules that determine how the output activity of biological entities is regulated by their respective inputs has proven to be challenging. Partly this is because of the inherent noise in data that allows multiple model parameterizations to fit the experimental observations, but some of it is also due to the fact that models become increasingly larger, making the use of automated tools to assemble the underlying rules indispensable. We present several Boolean function metrics that provide modelers with the appropriate framework to analyze the impact of a particular model parameterization. We demonstrate the link between a semantic characterization of a Boolean function and its consistency with the model's underlying regulatory structure. We further define the properties that outline such consistency and show that several of the Boolean functions under study violate them, questioning their biological plausibility and subsequent use. We also illustrate that regulatory functions can have major differences with regard to their asymptotic output behavior, with some of them being biased towards specific Boolean outcomes when others are dependent on the ratio between activating and inhibitory regulators. Application results show that in a specific signaling cancer network, the function bias can be used to guide the choice of logical operators for a model that matches data observations. Moreover, graph analysis indicates that commonly used Boolean functions become more biased with increasing numbers of regulators, supporting the idea that rule specification can effectively determine regulatory outcome despite the complex dynamics of biological networks.
生物过程的计算模型为分析驱动复杂系统行为的机制提供了最强大的方法之一。基于逻辑的建模增强了我们对这些系统的理解和解释。定义确定生物实体的输出活动如何受其各自输入调节的规则一直具有挑战性。部分原因是数据中固有的噪声允许多个模型参数化来拟合实验观察结果,但部分原因还在于模型变得越来越大,使得使用自动化工具来组合底层规则变得不可或缺。我们提出了几个布尔函数指标,为建模者提供了适当的框架来分析特定模型参数化的影响。我们展示了布尔函数的语义特征与其与模型底层调节结构的一致性之间的联系。我们进一步定义了概述这种一致性的属性,并表明正在研究的几个布尔函数违反了这些属性,质疑它们的生物学合理性及其后续使用。我们还表明,调节函数在其渐近输出行为方面可能存在重大差异,其中一些函数在其他函数依赖于激活和抑制调节剂之间的比率时偏向于特定的布尔结果。应用结果表明,在特定的信号转导癌症网络中,功能偏差可用于指导选择与匹配数据观察结果的模型的逻辑运算符。此外,图分析表明,随着调节剂数量的增加,常用的布尔函数变得更加偏向,这支持了尽管生物网络的复杂动态,规则规范可以有效地确定调节结果的想法。