Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Leveraging Applications of Formal Methods

ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems pp 3–12Cite as

Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition

  • Conference paper
  • First Online:

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

Abstract

A collective adaptive system consists of collaborating entities that are able to adapt at runtime to dynamically changing, open-ended environments and to new requirements. Rigorous engineering requires appropriate methods and tools that help guarantee that a collective adaptive system lives up to its intended purpose. This note gives an introduction to the track ‘Rigorous Engineering of Collective Adaptive Systems.’ It shortly presents the panel discussion on ‘The Meaning of Adaptation: Mastering the Unforeseen?’ and 18 scientific contributions, structured into six thematic sessions: Formal Modelling of Collective Adaptive Systems, Engineering Collective Adaptive Systems, Security and Analysis of Collective Adaptive Systems, Machine Learning and Evolutionary Computing for Collective Adaptive Systems, and Software Support for Programming and Modeling Collective Adaptive Systems.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Notes

  1. 1.

    http://www.focas.eu.

References

  1. Hölzl, M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: state of the art and research challenges. In: Wirsing, M., Banâtre, J.-P., Hölzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems and New Computing Paradigms. LNCS, vol. 5380, pp. 1–44. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89437-7_1

    Chapter  MATH  Google Scholar 

  2. Kernbach, S., Schmickl, T., Timmis, J.: Collective adaptive systems: challenges beyond evolvability. CoRR abs/1108.5643 (2011)

    Google Scholar 

  3. Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-16310-9

    Book  Google Scholar 

  4. Bortolussi, L., et al.: A quantitative approach to the design and analysis of collective adaptive systems. In: 1st FoCAS Workshop on Fundamentals of Collective Systems, Taormina, Sicily, Italy, September 2013

    Google Scholar 

  5. Wirsing, M., De Nicola, R., Hölzl, M.M.: Rigorous engineering of autonomic ensembles - track introduction. In: [7], pp. 96–98 (2014)

    Google Scholar 

  6. Jähnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems - Track introduction. In: [8], pp. 535–538 (2016)

    Google Scholar 

  7. Margaria, T., Steffen, B. (eds.): ISoLA 2014. LNCS, vol. 8803. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-45231-8

    Book  Google Scholar 

  8. Margaria, T., Steffen, B. (eds.): ISoLA 2016. LNCS, vol. 9953. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3

    Book  Google Scholar 

  9. De Nicola, R., Maggi, A., Sifakis, J.: DReAM: Dynamic reconfigurable architecture modeling. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 13–31. Springer, Cham (2018)

    Google Scholar 

  10. Bliudze, S., Sifakis, J.: The algebra of connectors - structuring interaction in BIP. IEEE Trans. Comput. 57(10), 1315–1330 (2008)

    Article  MathSciNet  Google Scholar 

  11. Basu, A., Bensalem, S., Bozga, M., Bourgos, P., Sifakis, J.: Rigorous system design: the BIP approach. In: Kotásek, Z., Bouda, J., Černá, I., Sekanina, L., Vojnar, T., Antoš, D. (eds.) MEMICS 2011. LNCS, vol. 7119, pp. 1–19. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-25929-6_1

    Chapter  Google Scholar 

  12. Hennicker, R., Wirsing, M.: Dynamic logic for ensembles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 32–47. Springer, Cham (2018)

    Google Scholar 

  13. Sürmeli, J., Jähnichen, S., Sanders, J.W.: Modelling the transition to distributed ledgers. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 48–62. Springer, Cham (2018)

    Google Scholar 

  14. Spivey, M.: The Z Notation - A Reference Manual. International Series in Computer Science. Prentice Hall, Upper Saddle River (1989)

    MATH  Google Scholar 

  15. Pitt, J., et al.: A collective adaptive socio-technical system for remote-and self-supervised exercise in the treatment of intermittent claudication. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 63–78. Springer, Cham (2018)

    Google Scholar 

  16. Friedman, B., Kahn Jr., P.H., Borning, A.: Value sensitive design and information systems. In: The Handbook of Information and Computer Ethics, pp. 69–101. Wiley (2008)

    Google Scholar 

  17. Mummah, S.A., Robinson, T.N., King, A.C., Gardner, C.D., Sutton, S.: IDEAS (Integrate, Design, Assess, and Share): a framework and toolkit of strategies for the development of more effective digital interventions to change health behavior. J. Med. Internet Res. 18(12), e317 (2016). https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5203679/

  18. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4, 67–95 (1986)

    Article  Google Scholar 

  19. Abeywickrama, D.B., Mamei, M., Zambonelli, F.: Engineering collectives of self-driving vehicles: the SOTA approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 79–93. Springer, Cham (2018)

    Google Scholar 

  20. Wanninger, C., Eymüller, C., Hoffmann, A., Kosak, O., Reif, W.: Synthesizing capabilities for collective adaptive systems from self-descriptive hardware devices - bridging the reality gap. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 94–108. Springer, Cham (2018)

    Google Scholar 

  21. Jähnichen, S., Wirsing, M.: Adaptation to the unforeseen: do we master our autonomous systems? questions to the panel - panel introduction. In: [8]

    Google Scholar 

  22. Jähnichen, S., De Nicola, R., Wirsing, M.: The meaning of adaptation: mastering the unforeseen? In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 109–117. Springer, Cham (2018)

    Google Scholar 

  23. Reichstaller, A., Gabor, T., Knapp, A.: Mutation-based test suite evolution for self-organizing systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 118–136. Springer, Cham (2018)

    Google Scholar 

  24. Gabor, T., et al.: Adapting quality assurance to adaptive systems: the scenario coevolution paradigm. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 137–154. Springer, Cham (2018)

    Google Scholar 

  25. Hölzl, M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 241–261. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24933-4_12

    Chapter  Google Scholar 

  26. Wirsing, M., Hölzl, M., Tribastone, M., Zambonelli, F.: ASCENS: engineering autonomic service-component ensembles. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 1–24. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-35887-6_1

    Chapter  Google Scholar 

  27. Dragomir, I., Iosti, S., Bozga, M., Bensalem, S.: Designing systems with detection and reconfiguration capabilities: a formal approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 155–171. Springer, Cham (2018)

    Google Scholar 

  28. Al Ali, R., Bures, T., Hnetynka, P., Krijt, F., Plasil, F., Vinarek, J.: Dynamic security specification through autonomic component ensembles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 172–185. Springer, Cham (2018)

    Google Scholar 

  29. Bures, T., Plasil, F., Kit, M., Tuma, P., Hoch, N.: Software abstractions for component interaction in the internet of things. IEEE Comput. 49(12), 50–59 (2016)

    Article  Google Scholar 

  30. Tschaikowski, M., Tribastone, M.: Exact fluid lumpability for Markovian process algebra. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 380–394. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32940-1_27

    Chapter  Google Scholar 

  31. Newman, M.: Networks: An Introduction. Oxford University Press Inc., New York (2010)

    Book  Google Scholar 

  32. Tognazzi, S., Tribastone, M., Tschaikowski, M., Vandin, A.: Differential equivalence yields network centrality. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 186–201. Springer, Cham (2018)

    Google Scholar 

  33. Eberhardinger, B., Ponsar, H., Klumpp, D., Reif, W.: Measuring and evaluating the performance of self-organization mechanisms within collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 202–220. Springer, Cham (2018)

    Google Scholar 

  34. Cardoso, R.P., Rossetti, R.J.F., Hart, E., Kurka, D.B., Pitt, J.: Engineering sustainable and adaptive systems in dynamic and unpredictable environments. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 221–240. Springer, Cham (2018)

    Google Scholar 

  35. Belzner, L., Schmid, K., Phan, T., Gabor, T., Wirsing, M.: The sharer’s dilemma in collective adaptive systems of self-interested agents. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 241–256. Springer, Cham (2018)

    Google Scholar 

  36. Mahfoudh, H.B., Di Marzo Serugendo, G., Boulmier, A., Abdennadher, N.: Coordination model with reinforcement learning for ensuring reliable on-demand services in collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 257–273. Springer, Cham (2018)

    Google Scholar 

  37. Zambonelli, F., et al.: Self-aware pervasive service ecosystems. In: The European Future Technologies Conference and Exhibition 2011, Procedia Computer Science, vol. 7, pp. 197–199 (2011)

    Google Scholar 

  38. Zon, N., Gilmore, S.: Data-driven modelling and simulation of urban transportation systems using Carma. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 274–287. Springer, Cham (2018)

    Google Scholar 

  39. Bortolussi, L., et al.: CARMA: Collective adaptive resource-sharing Markovian agents. In: QAPL 2015. EPTCS, vol. 194, pp. 16–31 (2015)

    Google Scholar 

  40. Alrahman, Y.A., De Nicola, R., Garbi, G.: GoAt: attribute-based interaction in Google Go. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 288–303. Springer, Cham (2018)

    Google Scholar 

  41. Abd Alrahman, Y., De Nicola, R., Loreti, M.: On the power of attribute-based communication. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 1–18. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39570-8_1

    Chapter  Google Scholar 

  42. El Ballouli, R., Bensalem, S., Bozga, M., Sifakis, J.: Four exercises in programming dynamic reconfigurable systems: methodology and solution in DR-BIP. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 304–320. Springer, Cham (2018)

    Google Scholar 

Download references

Acknowledgements

As organisers of the track we would like to thank all authors and panelists for their valuable contributions, all reviewers for their careful evaluations and constructive comments, and all participants of the track for lively discussions. Our thanks go to Rolf Hennicker and Mirco Tribastone for carefully reading and commenting a draft of this paper. We are also gratuful to the ISOLA chairs Tiziana Margaria and Bernhard Steffen for giving us the opportunity to organise this track and to them and Springer–Verlag for providing us with the very helpful equinocs conference system.

Author information

Authors and Affiliations

  1. IMT School for Advanced Studies Lucca, Lucca, Italy

    Rocco De Nicola

  2. TU Berlin and FZI Forschungszentrum Informatik, Berlin, Germany

    Stefan Jähnichen

  3. Ludwig-Maximilians-Universität München, Munich, Germany

    Martin Wirsing

Authors
  1. Rocco De Nicola
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefan Jähnichen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Martin Wirsing
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martin Wirsing .

Editor information

Editors and Affiliations

  1. University of Limerick, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

De Nicola, R., Jähnichen, S., Wirsing, M. (2018). Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. ISoLA 2018. Lecture Notes in Computer Science(), vol 11246. Springer, Cham. https://doi.org/10.1007/978-3-030-03424-5_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-03424-5_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-03423-8

  • Online ISBN: 978-3-030-03424-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation