nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Formally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-Things

verfasst von : Flavio Oquendo

Erschienen in: Software Architecture

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

Nowadays, the Internet-of-Things (IoT) enables the engineering of Software-intensive Systems-of-Systems (SoS), which are opportunistically created for achieving specified missions in specific operational environments.

A challenging issue in the architectural design of SoS on IoT is to conceive concepts and mechanisms for describing how an SoS architecture is able to create, on the fly, emergent behaviors from elementary IoT systems/devices.

To address this challenge, this paper investigates the theory of self-organization, which makes possible that, in an SoS, its constituent systems spontaneously create and maintain a valid SoS architecture enabling the evolutionary development of the required emergent behavior to fulfill the specified SoS mission. In particular, it describes how SosADL, a formal SoS Architecture Description Language (ADL), based on the novel π-Calculus for SoS, was enhanced to support the architectural description of self-organizing SoSs on the IoT, upwardly causing SoS emergent behaviors at run-time.

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

Vorheriges Kapitel A DSL for MAPE Patterns Representation in Self-adapting Systems

Nächstes Kapitel Guidance of Architectural Changes in Technical Systems with Varying Operational Modes

Ashby, W.R.: Principles of the self-organizing system. In: Von Foerster, H., Zopf Jr., G.W. (eds.) Principles of Self-Organization, Pergamon, UK (1962)

Blachowicz, J.: The constraint interpretation of physical emergence. J. Gen. Philos. Sci. 44, 21–40 (2013)CrossRef

Brueckner, S.A., Di Marzo Serugendo, G., Karageorgos, A., Nagpal, R. (eds.): Engineering Self-Organising Systems: Methodologies and Applications. Springer, Heidelberg (2005). https://doi.org/10.1007/b136984CrossRef

Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: Gossiping components for cyber-physical systems. In: Avgeriou, P., Zdun, U. (eds.) ECSA 2014. LNCS, vol. 8627, pp. 250–266. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-09970-5_23CrossRef

Cavalcante, E., Quilbeuf, J., Traonouez, L.-M., Oquendo, F., Batista, T., Legay, A.: Statistical model checking of dynamic software architectures. In: Tekinerdogan, B., Zdun, U., Babar, A. (eds.) ECSA 2016. LNCS, vol. 9839, pp. 185–200. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-48992-6_14CrossRef

Guessi, M., Oquendo, F., Nakagawa, E.Y.: Checking the architectural feasibility of systems-of-systems using formal descriptions. In: 11th IEEE System-of-Systems Engineering Conference, SoSE, Kongsberg, Norway, June 2016

Häner, R., et al.: TRIDEC system-of-systems. In: 11th IEEE International Symposium on Autonomous Decentralized Systems, Mexico City, Mexico (2013)

Heylighen, F.: Science of self-organization and adaptivity. In: Knowledge Management, Organizational Intelligence, Complexity. The Encyclopedia of Life Support Systems (1999)

Holland, J.H.: Emergence from Chaos to Order. Oxford University Press, Oxford (1998)MATH

10.

IEEE Conferences on Self-Adaptive and Self-Organizing Systems (SASO), March 2018. http://www.saso-conference.org/

11.

IEEE System-of-Systems Engineering Conferences (SoSE). http://sosengineering.org/

12.

Jaimes, A., Kota, S., Gomez, J.: An approach to surveillance of an area using swarm of fixed wing and quad-rotor unmanned aerial vehicles UAV(s). In: 3rd IEEE System-of-Systems Engineering Conference, SoSE, Singapore, June 2008

13.

Klein, J., van Vliet, H.: A systematic review of system-of-systems architecture research. In: 9th ACM Conference on the Quality of Software Architecture, QoSA, June 2013

14.

Kopetz, H., Höftberger, O., Frömel, B., Brancati, F., Bondavalli, A.: Towards an understanding of emergence in systems-of-systems. In: 10th IEEE System-of-Systems Engineering Conference, SoSE, San Antonio, Texas, USA, May 2015

15.

Maier, M.W.: Architecting principles for systems-of-systems. Syst. Eng. J. 1(4), 267–284 (1998)CrossRef

16.

Maza, I., Ollero, A., Casado, E., Scarlatti, D.: Classification of multi-UAV architectures. In: Valavanis, K.P., Vachtsevanos, G.J. (eds.) Handbook of Unmanned Aerial Vehicles, pp. 953–975. Springer, Dordrecht (2015). https://doi.org/10.1007/978-90-481-9707-1_119CrossRef

17.

McLaughlin, B., Bennett, K.: Supervenience. In: Stanford Encyclopedia of Philosophy (2014)

18.

Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge Press, Cambridge (1999)MATH

19.

Olarte, C., Rueda, C., Valencia, F.D.: Models and emerging trends of concurrent constraint programming. Int. J. Constr. 18(4), 535–578 (2013)MathSciNetCrossRef

20.

Oquendo, F.: Formally describing the software architecture of systems-of-systems with SosADL. In: 11th IEEE System-of-Systems Engineering Conference, SoSE, June 2016

21.

Oquendo, F.: The π-calculus for SoS: novel π-calculus for the formal modeling of software-intensive systems-of-systems. In: 38th International Conference on Communicating Process Architectures, CPA, Copenhagen, Denmark, August 2016

22.

Oquendo, F.: Case study on formally describing the architecture of a software-intensive system-of-systems with SosADL. In: 15th IEEE International Conference on Systems, Man, and Cybernetics, SMC, Budapest, Hungary, October 2016

23.

Oquendo, F.: Software architecture challenges and emerging research in software-intensive systems-of-systems. In: Tekinerdogan, B., Zdun, U., Babar, A. (eds.) ECSA 2016. LNCS, vol. 9839, pp. 3–21. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-48992-6_1CrossRef

24.

Oquendo, F.: Formally describing the architectural behavior of software-intensive systems-of-systems with SosADL. In: 21st IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, Dubai, UAE, November 2016

25.

Oquendo, F.: Software architecture of self-organizing systems-of-systems. In: 12th IEEE System-of-Systems Engineering Conference, SoSE, Waikoloa, Hawaii, USA, June 2017

26.

Oquendo, F.: Architecturally describing the emergent behavior of software-intensive system-of-systems with SosADL. In: 12th IEEE SoSE, Waikoloa, Hawaii, USA, June 2017

27.

Oquendo, F., Buisson, J., Leroux, E., Moguérou, G., Quilbeuf, J.: The SosADL studio: an architecture development environment for software-intensive systems-of-systems. In: ECSA Colloquium on Software-Intensive SoS. ACM, Copenhagen, November 2016

28.

Oquendo, F., Buisson, J., Leroux, E., Moguérou, G.: A formal approach for architecting software-intensive systems-of-systems with guarantees. In: 13th IEEE SoSE, Paris (2018)

29.

Parunak, H., Brueckner, S.A.: Software engineering for self-organizing systems. Knowl. Eng. Rev. 30(4), 419–434 (2015)CrossRef

30.

Prigogine, I.: Nobel Lecture: Time, Structure and Fluctuations (1977). Nobelprize.org

31.

Quilbeuf, J., Cavalcante, E., Traonouez, L.-M., Oquendo, F., Batista, T., Legay, A.: A logic for the statistical model checking of dynamic software architectures. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 806–820. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47166-2_56CrossRef

32.

Reynolds, C.W.: Flocks, herds, and schools: a distributed behavioral model, in computer graphics. In: 14th ACM SIGGRAPH Conference, Anaheim, USA (1987)

33.

Roca, D., Nemirovsky, D., Nemirovsky, M., Milito, R., Valero, M.: Emergent behaviors in the Internet-of-Things: the ultimate ultra-large-scale system. IEEE Micro 36, 36–44 (2016)CrossRef

34.

Silva, E., Batista, T.V., Oquendo, F.: A mission-oriented approach for designing system-of-systems. In: 10th IEEE System-of-Systems Engineering Conference, SoSE, May 2015

35.

Weyns, D., Malek, S., de Lemos, R., Andersson, J. (eds.): Self-Organizing Architectures. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14412-7CrossRef

36.

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

37.

Wirsing, M. (ed.): Software Engineering for Service-Oriented Systems. Springer, Heidelberg (2015)

38.

Ye, D., Zhang, M., Vasilakos, A.V.: A survey of self-organization mechanisms in multiagent systems. IEEE Trans. Syst. Man Cybern.: Syst. 47, 441–461 (2017)CrossRef

Titel: Formally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-Things
verfasst von: Flavio Oquendo
Verlag: Springer International Publishing
Buch: Software Architecture
Print ISBN: 978-3-030-00760-7

Electronic ISBN: 978-3-030-00761-4

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-030-00761-4_2

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"