Article

Challenges for Quantitative Analysis of Collective Adaptive Systems

Author:

Jane HillstonAuthors Info & Claims

TGC 2013: 8th International Symposium on Trustworthy Global Computing - Volume 8358

Pages 14 - 21

https://doi.org/10.1007/978-3-319-05119-2_2

Published: 30 August 2013 Publication History

Abstract

We are surrounded by both natural and engineered collective systems. Such systems include many entities, which interact locally and, without necessarily having any global knowledge, nevertheless work together to create a system with discernible characteristics at the global level; a phenomenon sometimes termed emergence. Examples include swarms of bees, flocks of birds, spread of disease through a population, traffic jams and robot swarms. Many of these systems are also adaptive in the sense that the constituent entities can respond to their perception of the current state of the system at large, changing their behaviour accordingly.

References

[1]

Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 22, 93---122 1984

Digital Library

[2]

Bernardo, M., Gorrieri, R.: A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theor. Comput. Sci. 2021---2, 1---54 1998

Digital Library

[3]

Bortolussi, L., Hillston, J.: Checking individual agent behaviours in Markov population models by fluid approximation. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. eds. SFM 2013. LNCS, vol. 7938, pp. 113---149. Springer, Heidelberg 2013

[4]

Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: A tutorial. Perform. Eval. 705, 317---349 2013

Digital Library

[5]

Bortolussi, L., Lanciani, R.: Model checking Markov population models by central limit approximation. In: Joshi, K., Siegle, M., Stoelinga, M., D'Argenio, P.R. eds. QEST 2013. LNCS, vol. 8054, pp. 123---138. Springer, Heidelberg 2013

Digital Library

[6]

Bradley, J.T., Gilmore, S.T., Hillston, J.: Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci. 746, 1013---1032 2008

Digital Library

[7]

De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, B., Bonsangue, M.M. eds. FMCO 2011. LNCS, vol. 7542, pp. 25---48. Springer, Heidelberg 2012

[8]

Guenther, M.C., Bradley, J.T.: Mean-field analysis of data flows in wireless sensor networks. In: ACM/SPEC International Conference on Performance, Engineering, ICPE'13, pp. 51---62 2013

Digital Library

[9]

Hayden, R.A., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. Theor. Comput. Sci. 41122---24, 2260---2297 2010

Digital Library

[10]

Hayden, R.A., Stefanek, A., Bradley, J.T.: Fluid computation of passage-time distributions in large Markov models. Theor. Comput. Sci. 4131, 106---141 2012

Digital Library

[11]

Hermanns, H. ed.: Interactive Markov Chains: The Quest for Quantified Quality. LNCS, vol. 2428. Springer, Heidelberg 2002

Digital Library

[12]

Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge 2005

Digital Library

[13]

Hillston, J.: Fluid flow approximation of PEPA models. In: 2nd International Conference on the Quantitative Evaluaiton of Systems QEST 2005, pp. 33---43 2005

Digital Library

[14]

Hillston, J., Kloul, L.: Formal techniques for performance analysis: blending SAN and PEPA. Formal Aspects Comput. 191, 3---33 2007

[15]

Hillston, J., Tribastone, M., Gilmore, S.: Stochastic process algebras: from individuals to populations. Comput. J. 557, 866---881 2012

Digital Library

[16]

Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Perform. Eval. Rev. 364, 40---45 2009

Digital Library

[17]

Massink, M., Brambilla, M., Latella, D., Dorigo, M., Birattari, M.: On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics. Swarm Intell. 72---3, 20---228 2013

[18]

Massink, M., Latella, D., Bracciali, A., Harrison, M.D., Hillston, J.: Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. 242, 267---302 2012

[19]

Massink, M., Harrison, M.D., Latella, D.: Scalable analysis of collective behaviour in smart service systems. In: Proceedings of the 2010 ACM Symposium on Applied Computing SAC, pp. 1173---1180 2010

Digital Library

[20]

Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge 2009

Digital Library

[21]

Tribastone, M., Ding, J., Gilmore, S., Hillston, J.: Fluid rewards for a stochastic process algebra. IEEE Trans. Softw. Eng. 384, 861---874 2012

Digital Library

[22]

Tribastone, M., Hillston, J., Gilmore, S.: Scalable differential analysis of process algebra models. IEEE Trans. Softw. Eng. 381, 205---219 2012

Digital Library

Cited By

Di Stefano LLang F(2023)Compositional Verification of Stigmergic Collective SystemsVerification, Model Checking, and Abstract Interpretation10.1007/978-3-031-24950-1_8(155-176)Online publication date: 16-Jan-2023
https://dl.acm.org/doi/10.1007/978-3-031-24950-1_8
Klein JPetrov T(2022)Understanding Social Feedback in Biological Collectives with Smoothed Model CheckingLeveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning10.1007/978-3-031-19759-8_12(181-198)Online publication date: 22-Oct-2022
https://dl.acm.org/doi/10.1007/978-3-031-19759-8_12
De Nicola RDi Stefano LInverso O(2020)Multi-agent systems with virtual stigmergyScience of Computer Programming10.1016/j.scico.2019.102345187:COnline publication date: 15-Feb-2020
https://dl.acm.org/doi/10.1016/j.scico.2019.102345
Show More Cited By

Recommendations

Adaptive bare-bones particle swarm optimization algorithm and its convergence analysis

Bare-bones particle swarm optimization (BBPSO) was first proposed in 2003. Compared to the traditional particle swarm optimization, it is simpler and has only a few control parameters to be tuned by users. In this paper, an improved BBPSO algorithm with ...
Monitoring Local and Global Properties of Collective Adaptive Systems
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Abstract
Collective adaptive systems (CAS) are composed of many entities that interact with each other to reach local or global goals. Entities operate without any centralized control and should adapt their behaviour according to the changes in the ...
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems
SPLC '15: Proceedings of the 19th International Conference on Software Product Line

Engineering a Collective Adaptive System (CAS) requires the support of a framework for quantitative modeling and analysis of the system. In order to jointly address variability and quantitative analysis, we apply the Product Lines paradigm, considered ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

TGC 2013: 8th International Symposium on Trustworthy Global Computing - Volume 8358

August 2013

314 pages

ISBN:9783319051185

Editors:
Martín Abadi
Microsoft Research, Mountain View, USA
,
Alberto Lluch Lafuente
IMT Institute for Advanced Studies, Lucca, Italy

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 30 August 2013

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Di Stefano LLang F(2023)Compositional Verification of Stigmergic Collective SystemsVerification, Model Checking, and Abstract Interpretation10.1007/978-3-031-24950-1_8(155-176)Online publication date: 16-Jan-2023
https://dl.acm.org/doi/10.1007/978-3-031-24950-1_8
Klein JPetrov T(2022)Understanding Social Feedback in Biological Collectives with Smoothed Model CheckingLeveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning10.1007/978-3-031-19759-8_12(181-198)Online publication date: 22-Oct-2022
https://dl.acm.org/doi/10.1007/978-3-031-19759-8_12
De Nicola RDi Stefano LInverso O(2020)Multi-agent systems with virtual stigmergyScience of Computer Programming10.1016/j.scico.2019.102345187:COnline publication date: 15-Feb-2020
https://dl.acm.org/doi/10.1016/j.scico.2019.102345
Hajnal MNouvian MPetrov TŠafránek D(2019)Data-Informed Parameter Synthesis for Population Markov ChainsComputational Methods in Systems Biology10.1007/978-3-030-31304-3_32(383-386)Online publication date: 18-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-31304-3_32

View Options

View options

Media

Figures

Other

Tables

View Table of Contents