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.
Titolo: | Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems |
Autore/i: | CASADEI, MATTEO; VIROLI, MIRKO |
Autore/i Unibo: | |
Anno: | 2009 |
Titolo del libro: | Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC 2009) |
Pagina iniziale: | 2103 |
Pagina finale: | 2104 |
Digital Object Identifier (DOI): | 10.1145/1529282.1529747 |
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. |
Data prodotto definitivo in UGOV: | 22-feb-2010 |
Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
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.