Self-organization is a feasible metaphor for dealing with the growing complexity of today's software systems. Self-organization makes desired global system's behavior appear as an emergent property from component local interactions. The corresponding dynamics is usually non-linear so that the adoption of stochastic simulation and probabilistic model checking becomes essential in the early design stage. In this paper, as a reference example, a possible application of such techniques is shown on a problem called collective sort, whose emergent properties were analyzed by relying on the PRISM probabilistic model checker.

Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems / Matteo Casadei; Mirko Viroli. - STAMPA. - III:(2009), pp. 2103-2104. (Intervento presentato al convegno 24th Annual ACM Symposium on Applied Computing (SAC 2009) tenutosi a Honolulu, Hawai'i, USA nel 8-12 March 2009) [10.1145/1529282.1529747].

Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems

CASADEI, MATTEO;VIROLI, MIRKO
2009

Abstract

Self-organization is a feasible metaphor for dealing with the growing complexity of today's software systems. Self-organization makes desired global system's behavior appear as an emergent property from component local interactions. The corresponding dynamics is usually non-linear so that the adoption of stochastic simulation and probabilistic model checking becomes essential in the early design stage. In this paper, as a reference example, a possible application of such techniques is shown on a problem called collective sort, whose emergent properties were analyzed by relying on the PRISM probabilistic model checker.
2009
Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC 2009)
2103
2104
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems / Matteo Casadei; Mirko Viroli. - STAMPA. - III:(2009), pp. 2103-2104. (Intervento presentato al convegno 24th Annual ACM Symposium on Applied Computing (SAC 2009) tenutosi a Honolulu, Hawai'i, USA nel 8-12 March 2009) [10.1145/1529282.1529747].
Matteo Casadei; Mirko Viroli
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/83840
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact