Skip to main content
SpringerLink
Log in

Quantitative Analysis of Collective Adaptive Systems

  • Conference paper
  • First Online:
Perspectives of System Informatics (PSI 2015)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9609))

Abstract

Quantitative formal methods, such as stochastic process algebras, have been used for the last twenty years to support modelling of dynamic systems in order to investigate their performance. Application domains have ranged from computer and communication systems [1, 2], to intracellular signalling pathways in biological cells [3, 4]. Nevertheless this modelling approach is challenged by the demands of modelling modern collective adaptive systems, many of which have a strong spatial aspect, adding to the complexity of both the modelling and the analysis tasks.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Hermanns, H., Herzog, U., Katoen, J.: Process algebra for performance evaluation. Theor. Comput. Sci. 274(1–2), 43–87 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  2. De Nicola, R., Latella, D., Massink, M.: Formal modeling and quantitative analysis of klaim-based mobile systems. In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, 13–17 March 2005, pp. 428–435. ACM (2005)

    Google Scholar 

  3. Priami, C.: Algorithmic systems biology. Commun. ACM 52(5), 80–88 (2009)

    Article  Google Scholar 

  4. Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410(33), 3065–3084 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  5. Kleinrock, L.: Sequential processing machines (S.P.M) analyzed with a queuing theory model. J. ACM 13(2), 179–193 (1966)

    Article  MathSciNet  MATH  Google Scholar 

  6. Baskett, F., Chandy, K.M., Muntz, R.R., Palacios, F.G.: Open, closed, and mixed networks of queues with different classes of customers. J. ACM 22(2), 248–260 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  7. Marsan, M.A., Conte, G., Balbo, G.: A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 2(2), 93–122 (1984)

    Article  Google Scholar 

  8. Hillston, J.: A Compositional Approach to Performance Modelling. CUP, Cambridge (1995)

    MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  10. Hermanns, H.: Interactive Markov Chains: The Quest for Quantified Quality. LNCS. Springer, Heidelberg (2002)

    Book  MATH  Google Scholar 

  11. Hillston, J.: The benefits of sometimes not being discrete. In: Baldan, P., Gorla, D. (eds.) CONCUR 2014. LNCS, vol. 8704, pp. 7–22. Springer, Heidelberg (2014)

    Google Scholar 

  12. Bortolussi, L., Hillston, J.: Model checking single agent behaviours by fluid approximation. Inf. Comput. 242, 183–226 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  13. Hillston, J., Loreti, M.: Specification and analysis of open-ended systems with CARMA. In: Weyns, D., Michel, F. (eds.) E4MAS 2014. LNCS, vol. 9068, pp. 95–116. Springer, Heidelberg (2015)

    Chapter  Google Scholar 

  14. Bortolussi, L., De Nicola, R., Galpin, V., Gilmore, S., Hillston, J., Latella, D., Loreti, M., Massink, M.: CARMA: collective adaptive resource-sharing Markovian agents. In: Bertrand, N., Tribastone, M. (eds.) Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015. EPTCS, London, UK, 11th–12th April 2015, vol. 194, pp. 16–31 (2015)

    Google Scholar 

  15. Bortolussi, L.: Hybrid behaviour of markov population models. Inf. Comput. 247, 37–86 (2016). CoRR abs/1211.1643 (2012)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgement

This work is partially supported by the EU project QUANTICOL, 600708.

Author information

Authors and Affiliations

  1. LFCS, School of Informatics, University of Edinburgh, Edinburgh, Scotland, UK

    Jane Hillston

Authors
  1. Jane Hillston
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jane Hillston .

Editor information

Editors and Affiliations

  1. Innopolis University, Innopolis, Russia

    Manuel Mazzara

  2. The University of Manchester, Manchester, United Kingdom

    Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Hillston, J. (2016). Quantitative Analysis of Collective Adaptive Systems. In: Mazzara, M., Voronkov, A. (eds) Perspectives of System Informatics. PSI 2015. Lecture Notes in Computer Science(), vol 9609. Springer, Cham. https://doi.org/10.1007/978-3-319-41579-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-41579-6_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-41578-9

  • Online ISBN: 978-3-319-41579-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation