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.
KeywordsCloud Computing Multiagent System Transition Strategy Interaction Protocol Individual Entity
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.Nasa space shuttle era facts. http://www.nasa.gov/pdf/566250main_2011.07.0SHUTTLEERAfacts.pdf, accessed 2015.
- 2.World health organisation. http://www.who.int/healthsystems/strategy/everybodys_business.pdf, accessed 2016.
- 3.M. Autili, P. Inverardi, and M. Tivoli. Automated synthesis of service choreographies. Software, IEEE, 32(1):50–57, Jan 2015.Google Scholar
- 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.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.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.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.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.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.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.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.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.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.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.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.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.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.IBM. An architectural blueprint for autonomic computing. White Paper 4th Edition, IBM, 2006.Google Scholar
- 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.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.Jeff Kramer and Jeff Magee. The evolving philosophers problem: Dynamic change management. IEEE Trans. Softw. Eng., 16(11):1293–1306, 1990.Google Scholar
- 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.Chris Landauer and Kirstie L. Bellman. Self-modelling systems. In Self-Adaptive Software, volume LNCS 2614, pages 238–256. 2002.Google Scholar
- 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.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.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.R Selby. In Software Engineering: Barry Boehm’s Lifetime Contributions to Software Development, Management and Research, volume Wiley. 2007.Google Scholar
- 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