Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Software Architecture (ECSA 2018)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11048))

Included in the following conference series:

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.

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 74.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. 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)

    Google Scholar 

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

    Article  Google Scholar 

  3. 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/b136984

    Book  Google Scholar 

  4. 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_23

    Chapter  Google Scholar 

  5. 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_14

    Chapter  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    MATH  Google Scholar 

  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

    Google Scholar 

  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

    Google Scholar 

  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

    Google Scholar 

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

    Article  Google Scholar 

  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_119

    Chapter  Google Scholar 

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

    Google Scholar 

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

    MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  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

    Google Scholar 

  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

    Google Scholar 

  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

    Google Scholar 

  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_1

    Chapter  Google Scholar 

  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

    Google Scholar 

  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

    Google Scholar 

  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

    Google Scholar 

  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

    Google Scholar 

  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)

    Google Scholar 

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

    Article  Google Scholar 

  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_56

    Chapter  Google Scholar 

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

    Google Scholar 

  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)

    Article  Google Scholar 

  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

    Google Scholar 

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

    Book  Google Scholar 

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

    Book  Google Scholar 

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

    Google Scholar 

  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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRISA – UMR CNRS/Univ. Bretagne Sud, Vannes, France

    Flavio Oquendo

Authors
  1. Flavio Oquendo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Flavio Oquendo .

Editor information

Editors and Affiliations

  1. King Juan Carlos University, Móstoles, Madrid, Spain

    Carlos E. Cuesta

  2. School of Computer Sciences, Carnegie Mellon University, Pittsburgh, PA, USA

    David Garlan

  3. Technical University of Madrid, Madrid, Spain

    Jennifer Pérez

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

Oquendo, F. (2018). Formally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-Things. In: Cuesta, C., Garlan, D., Pérez, J. (eds) Software Architecture. ECSA 2018. Lecture Notes in Computer Science(), vol 11048. Springer, Cham. https://doi.org/10.1007/978-3-030-00761-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-00761-4_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-00760-7

  • Online ISBN: 978-3-030-00761-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation