Skip to main content
SpringerLink
Log in

Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (ISoLA 2020)

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

Included in the following conference series:

Abstract

A collective adaptive system consists of collaborating entities that are able to adapt at runtime to dynamically changing, open-ended environments and to evolving 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” and its 21 scientific contributions.

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. Abd Alrahman, Y., De Nicola, R., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268, 104457 (2019)

    Article  MathSciNet  Google Scholar 

  2. Abd Alrahman, Y., De Nicola, R., Loreti, M.: Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192, 102428 (2020)

    Article  Google Scholar 

  3. Al Ali, R., Bures, T., Hnetynka, P., Matejek, J., Plasil, F., Vinarek, J.: Toward autonomically composable and context-dependent access control specification through ensembles. Int. J. Softw. Tools Technol. Transf. 22(4), 511–522 (2020). https://doi.org/10.1007/s10009-020-00556-1

    Article  Google Scholar 

  4. Arnold, A., Nivat, M.: Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Theor. Comput. Sci. 11, 181–205 (1980)

    Article  Google Scholar 

  5. Beal, J., Viroli, M.: Aggregate programming: from foundations to applications. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 233–260. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-34096-8_8

    Chapter  Google Scholar 

  6. Bettini, L., Bourr, K., Pugliese, R., Tiezzi, F.: Writing robotics applications with X-KLAIM. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 361–379. Springer, Cham (2020)

    Google Scholar 

  7. Bettini, L., Merelli, E., Tiezzi, F.: X-KLAIM is back. In: Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming. LNCS, vol. 11665, pp. 115–135. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-21485-2_8

    Chapter  Google Scholar 

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

    Google Scholar 

  9. Bureš, T., Gerastathopoulos, I., Hnětynka, P., Pacovský, J.: Forming ensembles at runtime: a machine learning approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 440–456. Springer, Cham (2020)

    Google Scholar 

  10. Bureš, T., et al.: A language and framework for dynamic component ensembles in smart systems. Int. J. Softw. Tools Technol. Transf. 22(4), 497–509 (2020). https://doi.org/10.1007/s10009-020-00558-z

    Article  Google Scholar 

  11. Bureš, T., Hnětynka, P., Heinrich, R., Seifermann, S., Walter, M.: Capturing dynamicity and uncertainty in security and trust via situational patterns. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 295–310. Springer, Cham (2020

    Google Scholar 

  12. Casadei, R., Viroli, M., Audrito, G., Damiani, F.: FSCAFI: a core calculus for collective adaptive systems programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 344–360. Springer, Cham (2020)

    Google Scholar 

  13. Caselli, A., Ciatto, G., Di Marzo Serugendo, G., Omicini, A. Engineering semantic self-composition of services through tuple-based coordination. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 205–223. Springer, Cham (2020)

    Google Scholar 

  14. Castiglioni, V., Loreti, M., Tini, S.: Measuring adaptability and reliability of large scaled systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 380–396. Springer, Cham (2020)

    Google Scholar 

  15. De Nicola, R., Jähnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22(4), 389–397 (2020). https://doi.org/10.1007/s10009-020-00565-0

    Article  Google Scholar 

  16. De Nicola, R., Jähnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems introduction to the 2nd track edition. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 3–12. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03424-5_1

    Chapter  Google Scholar 

  17. De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. 9(2), 7:1–7:29 (2014)

    Google Scholar 

  18. Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3), 323–354 (2004)

    Article  MathSciNet  Google Scholar 

  19. De Nicola, R., Duong, T., Inverso, O.: Verifying AbC specifications via emulation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 261–279. Springer, Cham (2020)

    Google Scholar 

  20. Facebook, Inc.: GraphQL specification, June 2018 Edition (2018). http://spec.graphql.org/June2018/. Accessed 12 Aug 2020

  21. Faqeh, R., et al.: Towards dynamic dependable systems through evidence-based continuous certification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 261–279. Springer, Cham (2020)

    Google Scholar 

  22. Gabor, T., Linnhoff-Popien, C.: A formal model for reasoning about the ideal fitness in evolutionary processes. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 473–490. Springer, Cham (2020)

    Google Scholar 

  23. Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985)

    Article  Google Scholar 

  24. Guo, X., Hernández-Lerma, O.: Continuous-Time Markov Decision Processes: Theory and Applications. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02547-1

  25. Harel, D., Kozen, D., Tiuryn, J. (eds.): Dynamic Logic. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  26. Hennicker, R., Wirsing, M.: A dynamic logic for systems with predicate-based communication. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 473–490. Springer, Cham (2020)

    Google Scholar 

  27. Hennicker, R., Wirsing, M.: Dynamic logic for ensembles. In: [40], pp. 32–47 (2018)

    Google Scholar 

  28. Hillston, J., Piho, P.: A case study of policy synthesis for swarm robotics. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 491–501. Springer, Cham (2020)

    Google Scholar 

  29. 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 

  30. Inverso, O., Trubiani, C., Tuosto. ,E.: Abstractions for collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 243–260. Springer, Cham (2020)

    Google Scholar 

  31. Iosti, S., Peled, D., Aharon, K., Bensalem, S., Goldberg, Y.: Synthesizing control for a system with black box environment, based on deep learning. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 457–472. Springer, Cham (2020)

    Google Scholar 

  32. Jähnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems track introduction. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 535–538. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47166-2_37

    Chapter  Google Scholar 

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

    Google Scholar 

  34. Kosak, O., et al.: Swarm and collective capabilities for multipotent robot ensembles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 525–540. Springer, Cham (2020)

    Google Scholar 

  35. Kosak, O., Huhn, L., Bohn, F., Wanninger, C., Hofmann, A., Reif, W.: Maple-Swarm: programming collective behavior for ensembles by extending HTN-planning. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 507–524. Springer, Cham (2020)

    Google Scholar 

  36. Kosak, O., Wanninger, C., Angerer, A., Hoffmann, A., Schiendorfer, A., Seebach, H.: Towards self-organizing swarms of reconfigurable self-aware robots. In: Elnikety, S., Lewis, P.R., Müller-Schloer, C. (eds.) 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, 12–16 September 2016, pp. 204–209. IEEE (2016)

    Google Scholar 

  37. Kosak, O., Wanninger, C., Hoffmann, A., Ponsar, H., Reif, W.: Multipotent systems: combining planning, self-organization, and reconfiguration in modular robot ensembles. Sensors 19(1), 17 (2019)

    Article  Google Scholar 

  38. Margaria, T., Steffen, B. (eds.): ISoLA 2014. LNCS, vol. 8802. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-45234-9

    Book  Google Scholar 

  39. Margaria, T., Steffen, B. (eds.): ISoLA 2016. LNCS, vol. 9952. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47166-2

    Book  Google Scholar 

  40. Margaria, T., Steffen, B. (eds.): ISoLA 2018. LNCS, vol. 11246. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03424-5

    Book  Google Scholar 

  41. Microsoft Corporation: TypeScript: Typed JavaScript at any scale (2020). https://www.typescriptlang.org/. Accessed 8 Aug 2020

  42. Nielson, F., Hansen, R.R., Nielson, H.R.: Adaptive security policies. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 507–524. Springer, Cham (2020)

    Google Scholar 

  43. Pérez-Palacín, D., Mirandola, R.: Dealing with uncertainties in the performance modelling of software systems. In: Seinturier, L., Bureš, T., McGregor, J.D. (eds.) Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), QoSA 2014, Marcq-en-Baroeul, Lille, France, 30 June–04 July 2014, pp. 33–42. ACM (2014)

    Google Scholar 

  44. Piho, P., Hillston, J.: Policy synthesis for collective dynamics. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 356–372. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99154-2_22

    Chapter  Google Scholar 

  45. Quigley, M., et al.: ROS: an open-source robot operating system. In: ICRA Workshop on Open Source Software (2009)

    Google Scholar 

  46. Reisig, W.: Composition of component models - a key to construct big systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 507–524. Springer, Cham (2020)

    Google Scholar 

  47. Schranz, M., Umlauft, M., Sende, M., Elmenreich, W.: Swarm robotic behaviors and current applications. Front. Rob. AI 7, 36 (2020)

    Article  Google Scholar 

  48. Schürmann, J., Tegeler, T., Steffen, B.: Guaranteeing type consistency in collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 311–328. Springer, Cham (2020)

    Google Scholar 

  49. Sürmeli, J.: Epistemic logic in ensemble specification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 329–343. Springer, Cham (2020)

    Google Scholar 

  50. Tognazzi, S., Petrov, T.: Centrality-preserving exact reductions of Multi-Layer Networks. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 397–415. Springer, Cham (2020)

    Google Scholar 

  51. Tognazzi, S., Tribastone, M., Tschaikowski, M., Vandin, A.: Differential equivalence yields network centrality. In: [40], pp. 186–201 (2018)

    Google Scholar 

  52. van Ditmarsch, H., Halpern, J.Y., van der Hoek, W., Kooi, B.P.: Handbook of Epistemic Logic. College Publications, London (2015)

    Google Scholar 

  53. Wirsing, M., De Nicola, R., Hölzl, M.: Introduction to “rigorous engineering of autonomic ensembles”– track introduction. In: [38], pp. 96–98 (2014)

    Google Scholar 

  54. 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 

  55. Ying, M., Wirsing, M.: Approximate bisimilarity. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 309–322. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-45499-3_23

    Chapter  Google Scholar 

  56. Zambonelli, F., Mariani, S.: Degrees of autonomy in coordinating collectives of self-driving vehicles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 189–204. Springer, Cham (2020)

    Google Scholar 

Download references

Acknowledgements

As organisers of the track, we would like to thank all authors for their valuable contributions, all reviewers for their careful evaluations and constructive comments. We are also grateful 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. Ludwig-Maximilians-Universität München, Munich, Germany

    Martin Wirsing

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

    Rocco De Nicola

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

    Stefan Jähnichen

Authors
  1. Martin Wirsing
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rocco De Nicola
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stefan Jähnichen
    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 and Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Wirsing, M., De Nicola, R., Jähnichen, S. (2020). Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles. ISoLA 2020. Lecture Notes in Computer Science(), vol 12477. Springer, Cham. https://doi.org/10.1007/978-3-030-61470-6_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-61470-6_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-61469-0

  • Online ISBN: 978-3-030-61470-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation