Skip to main content
SpringerLink
Log in

Run Time Models in Adaptive Service Infrastructure

  • Chapter
Run-time Models for Self-managing Systems and Applications

Part of the book series: Autonomic Systems ((ASYS))

  • 383 Accesses

Abstract

Software in the near ubiquitous future will need to cope with variability, as software systems get deployed on an increasingly large diversity of computing platforms and operates in different execution environments. Heterogeneity of the underlying communication and computing infrastructure, mobility inducing changes to the execution environments and therefore changes to the availability of resources and continuously evolving requirements require software systems to be adaptable according to the context changes. Software systems should also be reliable and meet the user’s requirements and needs. Moreover, due to its pervasiveness, software systems must be dependable. Supporting the validation of these self-adaptive systems to ensure dependability requires a complete rethinking of the software life cycle. The traditional division among static analysis and dynamic analysis is blurred by the need to validate dynamic systems adaptation. Models play a key role in the validation of dependable systems, dynamic adaptation calls for the use of such models at run time. In this paper we describe the approach we have undertaken in recent projects to address the challenge of assessing dependability for adaptive software systems.

This work is a revised and extended version of [28]. It has been partially supported by the IST project PLASTIC No 026955, the FET project CONNECT No 231167, and the Italian Prin D-ASAP. We acknowledge all the members of the consortium for PLASTIC, CONNECT, and D-ASAP, and of the SEALab at University of L’Aquila for joint efforts on all the research efforts reported in this paper.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Over-The-Air (OTA). http://developers.sun.com/mobility/midp/articles/ota/

  2. Aldrich, J., Chambers, C., Notkin, D.: Architectural reasoning in archjava. In: ECOOP ’02: Proceedings of the 16th European Conference on Object-Oriented Programming, pp. 334–367. Springer, London (2002)

    Google Scholar 

  3. Aldrich, J., Chambers, C., Notkin, D.: Archjava: connecting software architecture to implementation. In: ICSE ’02: Proceedings of the 24th International Conference on Software Engineering, pp. 187–197. ACM, New York (2002)

    Google Scholar 

  4. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213–249 (1997)

    Article  Google Scholar 

  5. Autili, M., Benedetto, P.D., Inverardi, P.: Chameleon Project - SEA group. http://di.univaq.it/chameleon/

  6. Autili, M., Benedetto, P.D., Inverardi, P.: Chameleon Project - SEA group. http://sourceforge.net/projects/uda-chameleon/

  7. Autili, M., Berardinelli, L., Cortellessa, V., Di Marco, A., Di Ruscio, D., Inverardi, P., Tivoli, M.: A development process for self-adapting service oriented applications. In: Proc. of ICSOC, Vienna, Austria, Sept. 2007

    Google Scholar 

  8. Autili, M., Benedetto, P.D., Inverardi, P.: Context-aware adaptive services: the plastic approach. In: Chechik, M., Wirsing, M. (eds.) FASE. Lecture Notes in Computer Science, vol. 5503, pp. 124–139. Springer, Berlin (2009)

    Google Scholar 

  9. Baldauf, M., Dustdar, S., Rosenberg, F.: A survey on context-aware systems. Int. J. Ad Hoc Ubiq. Comput. 2(4), 263–277 (2007)

    Article  Google Scholar 

  10. Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Trans. Softw. Eng. 30(5), 295–310 (2004)

    Article  Google Scholar 

  11. Baresi, L., Heckel, R., Thone, S., Varro’, D.: Style-based refinement of dynamic software architectures. In: WICSA ’04: Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture, p. 155. IEEE Computer Society, Washington (2004)

    Chapter  Google Scholar 

  12. Barthe, G.: MOBIUS, Securing the Next Generation of Java-Based Global Computers, ERCIM News (2005)

    Google Scholar 

  13. Bertolino, A., Angelis, G.D., Di Marco, A., Inverardi, P., Sabetta, A., Tivoli, M.: A framework for analyzing and testing the performance of software services. In: In Proc. of the 3rd ISoLA, vol. 17. Springer, Berlin (2008)

    Google Scholar 

  14. Bucchiarone, A., Pelliccione, P., Vattani, C., Runge, O.: Self-repairing systems modeling and verification using agg. In: WICSA/ECSA, pp. 181–190 (2009)

    Google Scholar 

  15. Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. Addison-Wesley, Reading (2003)

    Google Scholar 

  16. Caporuscio, M., Carzaniga, A., Wolf, A.L.: Design and evaluation of a support service for mobile, wireless publish/subscribe applications. IEEE Trans. Softw. Eng. 29(12), 1059–1071 (2003)

    Article  Google Scholar 

  17. Caporuscio, M., Di Marco, A., Inverardi, P.: Model-based system reconfiguration for dynamic performance management. J. Syst. Softw. 80(4), 455–473 (2007). doi:10.1016/j.jss.2006.07.039

    Article  Google Scholar 

  18. Caporuscio, M., Raverdy, P.-G., Moungla, H., Issarny, V.: ubiSOAP: A service oriented middleware for seamless networking. In: Proc. of 6th ICSOC (2008)

    Google Scholar 

  19. Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and evaluation of a wide-area event notification service. Foundations of Intrusion Tolerant Systems (2003). doi:10.1109/FITS.2003.1264940

  20. Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.): Software Engineering for Self-adaptive Systems [outcome of a Dagstuhl Seminar]. Lecture Notes in Computer Science, vol. 5525. Springer, Berlin (2009)

    Google Scholar 

  21. CONNECT FET Project. Home page on line at: http://connect-forever.eu/

  22. Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A., Pelliccione, P.: Formal analysis and verification of self-healing systems. In: FASE, pp.  139–153 (2010)

    Google Scholar 

  23. Georgiadis, I., Magee, J., Kramer, J.: Self-organising software architectures for distributed systems. In: WOSS ’02: Proceedings of the First Workshop on Self-healing Systems, pp. 33–38. ACM, New York (2002)

    Chapter  Google Scholar 

  24. Grassi, V., Mirandola, R., Sabetta, A.: A model-driven approach to performability analysis of dynamically reconfigurable component-based systems. In: WOSP, pp.  103–114 (2007)

    Google Scholar 

  25. Hirsch, D., Inverardi, P., Montanari, U.: Graph grammars and constraint solving for software architecture styles. In: ISAW ’98: Proceedings of the Third International Workshop on Software Architecture, pp. 69–72. ACM, New York (1998)

    Chapter  Google Scholar 

  26. Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. J. Object Technol. 7(3), 125–151 (2008)

    Article  Google Scholar 

  27. IFIP WG 10.4 on Dependable Computing and Fault Tolerance: http://www.dependability.org/wg10.4/

  28. Inverardi, P., Tivoli, M.: The future of software: adaptation and dependability, pp. 1–31 (2009). doi:10.1007/978-3-540-95888-8_1

  29. Skene, J., Lamanna, D., Emmerich, W.: Precise service level agreements. In: Proc. of the 26th ICSE, Edinburgh, UK, pp. 179–188 (2004)

    Google Scholar 

  30. Le Metayer, D.: Describing software architecture styles using graph grammars. IEEE Trans. Softw. Eng. 24(7), 521–533 (1998)

    Article  Google Scholar 

  31. Autili, M., Di Benedetto, P., Inverardi, P., Tamburri, D.A.: Towards self-evolving context-aware services. In: Proc. of Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services (CAMPUS), DisCoTec’08 vol. 11 (2008) http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/18

  32. Magee, J., Kramer, J.: Dynamic structure in software architectures. SIGSOFT Softw. Eng. Notes 21(6), 3–14 (1996)

    Article  Google Scholar 

  33. Necula, G.C.: Proof-Carrying Code, pp. 106–119. ACM Press, New York (1997)

    Google Scholar 

  34. OMG: UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms (2006) Version 1.0, formal/06-05-02

    Google Scholar 

  35. OMG: UML Profile for Modeling and Analysis of Real-time and Embedded Systems (2009). http://www.omg.org/spec/MARTE/1.0/

  36. PLASTIC IST Project. Home page on line at: http://www.ist-plastic.org

  37. Raimondi, F., Skene, J., Emmerich, W.: Efficient online monitoring of web-service SLAs. In: Proc. of the 16th ACM SIGSOFT/FSE, Nov. 2008

    Google Scholar 

  38. Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: IEEE Workshop on Mobile Computing Systems and Applications, Santa Cruz, CA, US (1994)

    Google Scholar 

  39. Taentzer, G., Goedicke, M., Meyer, T.: Dynamic change management by distributed graph transformation: towards configurable distributed systems. In: TAGT’98: Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations, pp. 179–193. Springer, London (2000)

    Google Scholar 

  40. Hong, J.-Y., Suh, E.-H., Kim, S.-J.: Context-aware systems: A literature review and classification. Expert Syst. Appl. 36(4), 8509–8522 (2009)

    Article  Google Scholar 

  41. Zahariadis, T., Doshi, B.: Applications and services for the B3G/4G era. IEEE Wirel. Commun. 11(5) (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di L’Aquila, Coppito, Italy

    Marco Autili, Paola Inverardi & Massimo Tivoli

Authors
  1. Marco Autili
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paola Inverardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Massimo Tivoli
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marco Autili .

Editor information

Editors and Affiliations

  1. Dipartimento di Elettronica e Informazio, Politecnico di Milano, Via Golgi 40/5, Milano, 20133, Italy

    Danilo Ardagna

  2. IBM Thomas J. Watson Research Center, Skyline Drive 19, Hawthorne, 10532, New York, USA

    Li Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer Basel AG

About this chapter

Cite this chapter

Autili, M., Inverardi, P., Tivoli, M. (2010). Run Time Models in Adaptive Service Infrastructure. In: Ardagna, D., Zhang, L. (eds) Run-time Models for Self-managing Systems and Applications. Autonomic Systems. Springer, Basel. https://doi.org/10.1007/978-3-0346-0433-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-0346-0433-8_6

  • Publisher Name: Springer, Basel

  • Print ISBN: 978-3-0346-0432-1

  • Online ISBN: 978-3-0346-0433-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation