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): | http://dx.doi.org/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 |