nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

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

verfasst von : Rocco De Nicola, Stefan Jähnichen, Martin Wirsing

Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Nächstes Kapitel DReAM: Dynamic Reconfigurable Architecture Modeling

http://www.focas.eu.

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_1CrossRefMATH

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

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-9CrossRef

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

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

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

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

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

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)

10.

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

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_1CrossRef

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)

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)

14.

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

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)

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)

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)CrossRef

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)

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)

21.

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

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)

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)

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)

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_12CrossRef

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_1CrossRef

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)

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)

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)CrossRef

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_27CrossRef

31.

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

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)

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)

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)

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)

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)

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)

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)

39.

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

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)

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_1CrossRef

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)

Titel: Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition
verfasst von: Rocco De Nicola
Stefan Jähnichen
Martin Wirsing
Verlag: Springer International Publishing
Buch: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Print ISBN: 978-3-030-03423-8

Electronic ISBN: 978-3-030-03424-5

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-030-03424-5_1

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"