Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Swarm intelligence: from natural to artificial systems
Swarm intelligence: from natural to artificial systems
Self-Organization in Biological Systems
Self-Organization in Biological Systems
Probabilistic symbolic model checking with PRISM: a hybrid approach
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tools and algorithms for the construction and analysis of systems
A self-organising solution to the collective sort problem in distributed tuple spaces
Proceedings of the 2007 ACM symposium on Applied computing
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
SASO '08 Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems
On the collective sort problem for distributed tuple spaces
Science of Computer Programming
Continuous-Time Probabilistic KLAIM
Electronic Notes in Theoretical Computer Science (ENTCS)
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Hi-index | 0.00 |
The interest in self-organization as a feasible metaphor for dealing with the growing complexity of today's software systems is constantly rising. In particular, by adopting self-organization, systems can adapt to highly dynamic environments by local interactions among system's components. As a consequence, the global behavior of the system can be regarded as an emergent property since it appears by a process emerging from local interactions among components. The corresponding system dynamics is usually non-linear and complex so that the adoption of simulation and verification techniques in the early design stage becomes essential to carry out an effective design. Accordingly, in this paper we discuss a hybrid approach relying on stochastic simulation and probabilistic model checking. We show also a possible application of the approach on a problem called collective sort, by adopting the PRISM probabilistic model checker as a concrete tool for analyzing emergent properties. A discussion of the corresponding results is provided.