Using probabilistic model checking and simulation for designing self-organizing systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Using probabilistic model checking and simulation for designing self-organizing systems

Full text

Pdf (332 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2009 ACM symposium on Applied Computing table of contents

Honolulu, Hawaii

POSTER SESSION: Poster papers table of contents

Pages 2103-2104

Year of Publication: 2009

ISBN:978-1-60558-166-8

Authors

Matteo Casadei	Università di Bologna, Cesena (FC), Italy
Mirko Viroli	Università di Bologna, Cesena (FC), Italy

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 10, Downloads (12 Months): 36, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1529282.1529747 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Eric Bonabeau , Marco Dorigo , Guy Theraulaz, Swarm intelligence: from natural to artificial systems, Oxford University Press, Inc., New York, NY, 1999
	2	Matteo Casadei , Luca Gardelli , Mirko Viroli, Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case, Electronic Notes in Theoretical Computer Science (ENTCS), v.175 n.2, p.59-80, June, 2007 [doi>10.1016/j.entcs.2007.05.022]
	3	M. Casadei and M. Viroli. Using probabilistic model checking and simulation for designing self-organizing systems. Technical report, 2008. Available online at http://apice.unibo.it/xwiki/bin/download/Publications/SochasticmodelcheckTechrep08/CV-smc-08.pdf.
	4	T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet. Approximate probabilistic model checking. volume 2937 of LNCS. Springer, 2004.
	5	PRISM. PRISM: Probabilistic symbolic model checker, October 2007. http://www.prismmodelchecker.org/.