Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems



In this chapter, we propose a methodology to analyse the different levels of self-awareness present in distinct types of computing systems and architectures, investigate the level of self-awareness that is already present in those systems and architectures, and describe some transition strategies to increase the level of self-awareness in these systems.


Cloud Computing Multiagent System Transition Strategy Interaction Protocol Individual Entity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.



This work has been partially supported by the EC H2020 under grant agreement n. 644178 (project CHOReVOLUTION—Automated Synthesis of Dynamic and Secured Choreographies for the Future Internet).


  1. 1.
    Nasa space shuttle era facts., accessed 2015.
  2. 2.
  3. 3.
    M. Autili, P. Inverardi, and M. Tivoli. Automated synthesis of service choreographies. Software, IEEE, 32(1):50–57, Jan 2015.Google Scholar
  4. 4.
    Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, and Massimo Tivoli. Modelland: Where do models come from? In Nelly Bencomo, Robert France, Betty H.C. Cheng, and Uwe Amann, editors, Models@run.time, volume 8378 of Lecture Notes in Computer Science, pages 162–187. Springer International Publishing, 2014.Google Scholar
  5. 5.
    Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, and Massimo Tivoli. A development process for requirements based service choreography. In Requirements Engineering for Systems, Services and Systems-of-Systems (RESS), 2011 Workshop on, Trento, Italy, August 30, 2011, pages 59–62, 2011.Google Scholar
  6. 6.
    Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, and Massimo Tivoli. A model-based synthesis process for choreography realizability enforcement. In Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, pages 37–52, 2013.Google Scholar
  7. 7.
    Marco Autili and Massimo Tivoli. Distributed enforcement of service choreographies. In Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014., pages 18–35, 2015.Google Scholar
  8. 8.
    K.L. Bellman and C. Landauer. Integration science: More than putting pieces together. In Aerosapce Conference Proceedings, IEEE, Vol. 4, pages 397–409, 2000.Google Scholar
  9. 9.
    K.L. Bellman and C. Landauer. Towards an integration science: The influence of richard bellman on our research. Journal of Mathematical Analysis and Applications, 249(1):3–31, 2000.Google Scholar
  10. 10.
    Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, and Massimo Tivoli. Automatic synthesis of behavior protocols for composable web-services. In Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ESEC/FSE ’09, pages 141–150, 2009.Google Scholar
  11. 11.
    B. Boehm, S. Lane, S. Koolmanojwong, and R. Turner. In The Incremental Commitment Spiral Model: Principles and Practices for Successful Systems and Software, volume Addison-Wesley Professional. 2014.Google Scholar
  12. 12.
    Betty H.C. Cheng, Kerstin I. Eder, Martin Gogolla, Lars Grunske, Marin Litoiu, Hausi A. Müller, Patrizio Pelliccione, Anna Perini, Nauman A. Qureshi, Bernhard Rumpe, Daniel Schneider, Frank Trollmann, and Norha M. Villegas. Using models at runtime to address assurance for self-adaptive systems. In Models@run.time, volume LNCS 8378, pages 101–136. 2014.Google Scholar
  13. 13.
    Frederica Darema. Dynamic data driven applications systems: A new paradigm for application simulations and measurements. In The 4th International Conference on Computational Science, Part III, pages 662–669, May 2004.Google Scholar
  14. 14.
    Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley Schmerl, Gabriel Tamura, NorhaM. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Gschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antnia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezz, Christian Prehofer, Wilhelm Schfer, Rick Schlichting, Dennis B. Smith, Joo Pedro Sousa, Ladan Tahvildari, Kenny Wong, and Jochen Wuttke. Software engineering for self-adaptive systems: A second research roadmap. In Software Engineering for Self-Adaptive Systems II, volume LNCS 7475, pages 1–32. 2013.Google Scholar
  15. 15.
    C.C. Douglas, J. Beezley, J. Coen, L. Deng, W. Li, A.K. Mandel, J. Mandel, G. Qin, and A. Vodacek. Demonstrating the validity of a wildfire dddas. In 6th International Conference on Computational Science , Part III, pages 522–529, May, 2006.Google Scholar
  16. 16.
    Amira Ben Hamida, Fabio Kon, Gustavo Ansaldi Oliva, Carlos Eduardo Moreira Dos Santos, Jean-Pierre Lorré, Marco Autili, Guglielmo De Angelis, Apostolos V. Zarras, Nikolaos Georgantas, Valérie Issarny, and Antonia Bertolino. An integrated development and runtime environment for the future internet. In The Future Internet - Future Internet Assembly 2012: From Promises to Reality, pages 81–92, 2012.Google Scholar
  17. 17.
    Markus C. Huebscher and Julie A. McCann. A survey of autonomic computing—degrees, models, and applications. ACM Comput. Surv., 40(3):1–28, 2008.Google Scholar
  18. 18.
    IBM. An architectural blueprint for autonomic computing. White Paper 4th Edition, IBM, 2006.Google Scholar
  19. 19.
    Paola Inverardi and Massimo Tivoli. The future of software: Adaptation and dependability. In Software Engineering, International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures, pages 1–31, 2008.Google Scholar
  20. 20.
    Paola Inverardi and Massimo Tivoli. Automatic synthesis of modular connectors via composition of protocol mediation patterns. In Proceedings of the 2013 International Conference on Software Engineering, ICSE ’13, pages 3–12, 2013.Google Scholar
  21. 21.
    Jeff Kramer and Jeff Magee. The evolving philosophers problem: Dynamic change management. IEEE Trans. Softw. Eng., 16(11):1293–1306, 1990.Google Scholar
  22. 22.
    Chris Landauer and Kirstie L. Bellman. Knowledge-based integration infrastructure for complex systems. International Intelligent Control and Systems, 1(1):133–153, 1996.Google Scholar
  23. 23.
    Chris Landauer and Kirstie L. Bellman. Self-modelling systems. In Self-Adaptive Software, volume LNCS 2614, pages 238–256. 2002.Google Scholar
  24. 24.
    Neil A. M. Maiden, James Lockerbie, Konstantinos Zachos, Antonia Bertolino, Guglielmo De Angelis, and Francesca Lonetti. A requirements-led approach for specifying qos-aware service choreographies: An experience report. In Requirements Engineering: Foundation for Software Quality - 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings, pages 239–253, 2014.Google Scholar
  25. 25.
    K. Mishra and K.S. Trivedi. Uncertainty propagation through software dependability models. In Software Reliability Engineering (ISSRE), 2011 IEEE 22nd International Symposium on, pages 80–89, Nov 2011.Google Scholar
  26. 26.
    A. Sage and C. Cuppan. On the systems engineering and management of systems of systems and federations of systems. Information-Knowledge-Systems Management Journal, 2(4), 2001.Google Scholar
  27. 27.
    R Selby. In Software Engineering: Barry Boehm’s Lifetime Contributions to Software Development, Management and Research, volume Wiley. 2007.Google Scholar
  28. 28.
    Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, and Paolo Traverso. Astro: Supporting composition and execution of web services. In Service-Oriented Computing - ICSOC 2005, volume 3826 of Lecture Notes in Computer Science, pages 495–501. Springer Berlin Heidelberg, 2005.Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.University of L’AquilaL’AquilaItaly
  2. 2.The Aerospace CorporationLos AngelesUSA
  3. 3.Telecom Paris TechParisFrance
  4. 4.Vienna University of TechnologyViennaAustria
  5. 5.The Open UniversityMilton KeynesUK

Personalised recommendations