Skip to main content

2016 | OriginalPaper | Buchkapitel

8.  \(\mathcal{M}\text{olecules}\,{\mathcal{o}\text{f}}\,\mathcal{K}\text{nowledge}\): Simulation

verfasst von : Stefano Mariani

Erschienen in: Coordination of Complex Sociotechnical Systems

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this chapter, the https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-47109-9_8/426660_1_En_8_IEq4_HTML.gif computational model, that is, the set of https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-47109-9_8/426660_1_En_8_IEq5_HTML.gif 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 https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-47109-9_8/426660_1_En_8_IEq6_HTML.gif . Accordingly, Sect. 8.1 reports on simulation of each https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-47109-9_8/426660_1_En_8_IEq7_HTML.gif reaction, while Sect. 8.2 discusses a simulated scenario of online collaboration.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
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.
 
Literatur
2.
Zurück zum Zitat Anderson, W.J.: Continuous-time Markov Chains: An Applications-oriented Approach. Springer Science & Business Media, New York, Philadelphia (2012) Anderson, W.J.: Continuous-time Markov Chains: An Applications-oriented Approach. Springer Science & Business Media, New York, Philadelphia (2012)
3.
Zurück zum Zitat 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 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
4.
Zurück zum Zitat 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) 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)
5.
Zurück zum Zitat 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 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
6.
Zurück zum Zitat 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 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
7.
Zurück zum Zitat 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) 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)
8.
Zurück zum Zitat 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.: 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/​
9.
Zurück zum Zitat 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.: 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
10.
Zurück zum Zitat 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 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
11.
Zurück zum Zitat 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 CrossRef 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 CrossRef
14.
Zurück zum Zitat Piunti, M., Castelfranchi, C., Falcone, R.: Anticipatory coordination through action observation and behavior adaptation. In: Proceedings of AISB (2007) Piunti, M., Castelfranchi, C., Falcone, R.: Anticipatory coordination through action observation and behavior adaptation. In: Proceedings of AISB (2007)
Metadaten
Titel
: Simulation
verfasst von
Stefano Mariani
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-47109-9_8

Premium Partner