Abstract
In this chapter, the 
computational model, that is, the set of 
reactions, and its interaction model, that is, the way catalysts’ actions are handled, are simulated in order to asses the extent to which they enable the kind of adaptive self-organising behaviours envisioned by 
. Accordingly, Sect. 8.1 reports on simulation of each 
reaction, while Sect. 8.2 discusses a simulated scenario of online collaboration.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
To learn more about BioPEPA syntax, please refer to [4].
- 2.
Actually, the Heaviside function is also used to counter BioPEPA tolerance to negative rates, which are meaningless—see [4].
- 3.
Aggregation may assume different forms, such as filtering, merging, fusing, etc.
- 4.
Again, the Heaviside step function has been used to avoid negative rates.
References
Alves, R., Antunes, F., Salvador, A.: Tools for kinetic modeling of biochemical networks. Nat. Biotechnol. 24(6), 667–672 (2006). doi:10.1038/nbt0606-667
Anderson, W.J.: Continuous-time Markov Chains: An Applications-oriented Approach. Springer Science & Business Media, New York, Philadelphia (2012)
Brun, Y., Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H., Litoiu, M., Müller, H., Pezzè, M., Shaw, M.: Engineering self-adaptive systems through feedback loops. In: Cheng, B., Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems, Lecture Notes in Computer Science, vol. 5525, pp. 48–70. Springer, Berlin Heidelberg (2009). doi:10.1007/978-3-642-02161-9
Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modeling and analysis of biological systems. Theor. Comput. Sci. 410(33–34), 3065–3084 (2009). doi:10.1016/j.tcs.2009.02.037. Concurrent Systems Biology: To Nadia Busi (1968–2007)
Gardelli, L., Viroli, M., Omicini, A.: On the role of simulations in engineering self-organising MAS: The case of an intrusion detection system in TuCSoN. In: Brueckner, S.A., Di Marzo Serugendo, G., Hales, D., Zambonelli, F. (eds.) Engineering Self-Organising Systems, LNAI, vol. 3910, pp. 153–168. Springer, Berlin, Heidelberg (2006). doi:10.1007/11734697. 3rd International Workshop (ESOA 2005), Utrecht, The Netherlands, 26 July 2005. Revised Selected Papers
Gilmore, S., Hillston, J.: The PEPA workbench: A tool to support a process algebra-based approach to performance modeling. In: G. Haring, G. Kotsis (eds.) Computer Performance Evaluation Modeling Techniques and Tools, Lecture Notes in Computer Science, vol. 794, pp. 353–368. Springer, Berlin, Heidelberg (1994). doi:10.1007/3-540-58021-2
Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic real-time systems. In: G. Gopalakrishnan, S. Qadeer (eds.) Proc. 23rd International Conference on Computer Aided Verification (CAV’11), LNCS, vol. 6806, pp. 585–591. Springer, Berlin, Heidelberg (2011)
Mariani, S.: Analysis of the Molecules of Knowledge model with the Bio-PEPA Eclipse plugin. AMS Acta Technical Report 3783, Alma Mater Studiorum–Università di Bologna, Bologna, Italy (2013). http://amsacta.unibo.it/3783/
Mariani, S.: Parameter engineering vs. parameter tuning: the case of biochemical coordination in MoK. In: Baldoni, M., Baroglio, C., Bergenti, F., Garro, A. (eds.) From Objects to Agents, CEUR Workshop Proceedings, vol. 1099, pp. 16–23. Sun SITE Central Europe, RWTH Aachen University, Turin, Italy (2013). http://ceur-ws.org/Vol-1099/paper5.pdf. XIV Workshop (WOA 2013). Workshop Notes
Mariani, S., Omicini, A.: Anticipatory coordination in socio-technical knowledge-intensive environments: Behavioural implicit communication in MoK. In: Gavanelli, M., Lamma, E., Riguzzi, F. (eds.) AI*IA 2015, Advances in Artificial Intelligence, Lecture Notes in Computer Science, vol. 9336, Chap. 8, pp. 102–115. Springer International Publishing (2015). doi:10.1007/978-3-319-24309-2. XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23–25, 2015, Proceedings
Merelli, E., Armano, G., Cannata, N., Corradini, F., d’Inverno, M., Doms, A., Lord, P., Martin, A., Milanesi, L., Möller, S., Schroeder, M., Luck, M.: Agents in bioinformatics, computational and systems biology. Briefings Bioinform. 8(1), 45–59 (2007). doi:10.1093/bib/bbl014
Nikolai, C., Madey, G.: Tools of the trade: A survey of various agent based modeling platforms. J. Artif. Soc. Soc. Simul. 12(2), 2 (2009). http://jasss.soc.surrey.ac.uk/12/2/2.html
Pianini, D., Montagna, S., Viroli, M.: Chemical-oriented simulation of computational systems with Alchemist. J. Simul. 7(3), 202–215 (2013). doi:10.1057/jos.2012.27
Piunti, M., Castelfranchi, C., Falcone, R.: Anticipatory coordination through action observation and behavior adaptation. In: Proceedings of AISB (2007)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this chapter
Cite this chapter
Mariani, S. (2016). \(\mathcal{M}\text{olecules}\,{\mathcal{o}\text{f}}\,\mathcal{K}\text{nowledge}\): Simulation. In: Coordination of Complex Sociotechnical Systems. Artificial Intelligence: Foundations, Theory, and Algorithms. Springer, Cham. https://doi.org/10.1007/978-3-319-47109-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-47109-9_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47108-2
Online ISBN: 978-3-319-47109-9
eBook Packages: Computer ScienceComputer Science (R0)