Abstract
In this paper, we introduce a unified approach for querying simulation traces of rule-based models about the statistical behavior of individual agents. In our approach, a query consists in a trace pattern along with an expression that depends on the variables captured by this pattern. On a given trace, it evaluates to the multiset of all values of the expression for every possible matching of the pattern. We illustrate our proposed query language on a simple example, and then discuss its semantics and implementation for the Kappa language. Finally, we provide a detailed use case where we analyze the dynamics of \(\beta \)-catenin degradation in Wnt signaling from an agent-centric perspective.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Note that multisets are indicated in Fig. 2 using Dijkstra’s bag notation, whereas sets are indicated using the standard curly brackets notation.
- 2.
Note that functions always take a single argument, which can be a tuple.
- 3.
As defined in Sect. 3.1.
- 4.
Every line of an output file represents a single value. In our expression language, values are tuples of base values. These are separated by commas within a line.
References
Anvarian, Z., et al.: Axin cancer mutants form nanoaggregates to rewire the wnt signaling network. Nat. Struct. Mol. Biol. 23(4), 324 (2016)
Boutillier, P., Ehrhard, T., Krivine, J.: Incremental update for graph rewriting. In: Yang, H. (ed.) ESOP 2017. LNCS, vol. 10201, pp. 201–228. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-54434-1_8
Clarke, E.M., Faeder, J.R., Langmead, C.J., Harris, L.A., Jha, S.K., Legay, A.: Statistical model checking in BioLab: applications to the automated analysis of T-cell receptor signaling pathway. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNAI), vol. 5307, pp. 231–250. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88562-7_18
Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 17–41. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-74407-8_3
Danos, V., Feret, J., Fontana, W., Krivine, J.: Scalable simulation of cellular signaling networks. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 139–157. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-76637-7_10
Danos, V., et al.: Graphs, rewriting and pathway reconstruction for rule-based models. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, vol. 18, pp. 276–288 (2012)
Fages, F., Rizk, A.: On the analysis of numerical data time series in temporal logic. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS, vol. 4695, pp. 48–63. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75140-3_4
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340–2361 (1977)
Harris, L.A., et al.: BioNetGen 2.2: advances in rule-based modeling. Bioinformatics 32(21), 3366–3368 (2016)
Helms, T., Himmelspach, J., Maus, C., Röwer, O., Schützel, J., Uhrmacher, A.M.: Toward a language for the flexible observation of simulations. In: Proceedings of the Winter Simulation Conference, Winter Simulation Conference, p. 418 (2012)
Honorato-Zimmer, R., Millar, A.J., Plotkin, G.D., Zardilis, A.: Chromar, a language of parameterised agents. Theor. Comput. Sci. (2017)
Pronobis, M.I., Deuitch, N., Posham, V., Mimori-Kiyosue, Y., Peifer, M.: Reconstituting regulation of the canonical Wnt pathway by engineering a minimal \(\beta \)-catenin destruction machine. Mol. Biol. Cell 28(1), 41–53 (2017)
Zehe, D., Viswanathan, V., Cai, W., Knoll, A.: Online data extraction for large-scale agent-based simulations. In: Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp. 69–78. ACM (2016)
Acknowledgments
This work was sponsored by the Defense Advanced Research Projects Agency (DARPA) and the U.S. Army Research Office under grant numbers W911NF-14-1-0367 and W911NF-17-1-0073.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
A Use Case Appendix
A Use Case Appendix
Concentration Time Traces. From the output of the simulator, we get the evolution of the abundance of Cat through time. In Fig. 7, we can see that the systems with low phosphatase behave similarly, even though one has five times the amount of kinases than the other (blue vs red traces). In contrast, the system with high phosphatase shows markedly less degradation of Cat; where the other two systems degraded around 450 units, this one has only degraded 23. From this whole-system view, it would seem the amount of phosphatase is more critical than the amount of kinase: based on the 1:1 system, increasing the kinase five-fold has little effect, whereas increasing the phosphatase has a more dramatic effect.
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Laurent, J., Medina-Abarca, H.F., Boutillier, P., Yang, J., Fontana, W. (2018). A Trace Query Language for Rule-Based Models. In: Češka, M., Šafránek, D. (eds) Computational Methods in Systems Biology. CMSB 2018. Lecture Notes in Computer Science(), vol 11095. Springer, Cham. https://doi.org/10.1007/978-3-319-99429-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-99429-1_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99428-4
Online ISBN: 978-3-319-99429-1
eBook Packages: Computer ScienceComputer Science (R0)