Skip to main content
SpringerLink
Log in

Dynamically Evolvable Dependable Software: From Oxymoron to Reality

  • Chapter
Concurrency, Graphs and Models

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5065))

Abstract

We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements. Achieving software that is both dynamically evolvable and dependable is our long-term research goal. We do not attempt here to propose a unified solution to dissolve the apparent oximoron, i.e. to reconcile these apparently conflicting goals. Rather, we enlighten different facets of the problem by distilling our experience through three research experience reports. We discuss the lessons learned from the state of the art and practice exemplified by our approaches and outline the directions of possible future research.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. IWPSE, WEB site, 2007 (2007), http://iwpse2007.inf.unisi.ch/

  2. Active Endpoints. Activebpel engine architecture, http://www.active-endpoints.com/active-bpel-engine-overview.htm

  3. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1 (May 2003)

    Google Scholar 

  4. Autili, M., Berardinelli, L., Cortellessa, V., Marco, A.D., Ruscio, D.D., Inverardi, P., Tivoli, M.: A development process for self-adapting service oriented applications. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 442–448. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  5. Autili, M., Cortellessa, V., Benedetto, P.D., Inverardi, P.: On the adptation of context-aware services. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: A timed extension of WSCoL. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2007) (July 2007)

    Google Scholar 

  7. Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: Validation of web service compositions. IET Software 1(6), 219–232 (2007)

    Article  Google Scholar 

  8. Baresi, L., Di Nitto, E., Ghezzi, C.: Towards Open-World Software. IEEE Computer 39, 36–43 (2006)

    Google Scholar 

  9. Baresi, L., Guinea, S.: Towards dynamic monitoring of WS-BPEL processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 269–282. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Baresi, L., Guinea, S.: Dynamo and self-healing bpel compositions. In: ICSE Companion, pp. 69–70. IEEE Computer Society Press, Los Alamitos (2007)

    Google Scholar 

  11. Bartoletti, M., Degano, P., Ferrari, G., Zunino, R.: Secure service orchestration. In: Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures, pp. 24–74 (2007)

    Google Scholar 

  12. Dwyer, M.B., Hatcliff, J., Hoosier, M., Robby,: Building your own software model checker using the Bogor extensible model checking framework. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 148–152. Springer, Heidelberg (2005)

    Google Scholar 

  13. Ghezzi, C., Guinea, S.: Run-time monitoring in service-oriented architectures. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 237–264. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  14. Ghezzi, C., Mandrioli, D., Morasca, S., Pezzè, M.: A unified high-level petri net formalism for time-critical systems. IEEE Trans. Softw. Eng. 17(2), 160–172 (1991)

    Article  Google Scholar 

  15. Gorton, S., Reiff-Marganiec, S.: Towards a task-oriented, policy-driven business requirements specification for web services. In: Business Process Management, pp. 465–470 (2006)

    Google Scholar 

  16. ERCIM Working Group (2007), http://w3.umh.ac.be/evol/

  17. Inverardi, P.: Software of the future is the future of software? In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2007. LNCS, vol. 4661, pp. 69–85. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  18. Inverardi, P., Levi, G., Montanari, U., Vallario, G.N.: A distributed KAPSE architecture. Ada Lett. III(2), 55–61 (1983)

    Article  Google Scholar 

  19. Inverardi, P., Mancinelli, F., Nesi, M.: A declarative framework for adaptable applications in heterogeneous environments. In: SAC 2004, pp. 1177–1183. ACM Press, New York (2004)

    Chapter  Google Scholar 

  20. Inverardi, P., Martini, S., Montangero, C.: Is type checking practical for system configuration? In: Díaz, J., Orejas, F. (eds.) TAPSOFT 1989 and CCIPL 1989. LNCS, vol. 352, pp. 257–271. Springer, Heidelberg (1989)

    Google Scholar 

  21. Inverardi, P., Mazzanti, F.: Experimenting with dynamic linking with ada. Softw., Pract. Exper. 23(1), 1–14 (1993)

    Article  Google Scholar 

  22. Inverardi, P., Montanari, U., Vallario, G.N.: How to develop a programming environment almost completely in a compiled language. In: International Computing Symposium 1983 on Application Systems Development, pp. 429–438. Teubner (1983)

    Google Scholar 

  23. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Videira Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  24. Koch, N., Berndl, D.: Requirements modelling and analysis of selected scenarios: Automotive case study. Technical report, SENSORIA EU–IST–016004 (2007), http://www.pst.informatik.uni-uenchen.de/projekte/Sensoria/del_24/D8.2.a.pdf

  25. Koch, N., Mayer, P., Heckel, R., Gonczy, L., Montangero, C.: UML for service-oriented systems, SENSORIA EU-IST 016004 Deliverable D1.4.a (2007), http://www.pst.ifi.lmu.de/projekte/Sensoria/del_24/D1.4.a.pdf

  26. Lehman, M.M., Belady, L.A.: Program evolution: processes of software change. Academic Press Professional, Inc., San Diego (1985)

    Google Scholar 

  27. Leveson, N.G.: A systems-theoretic approach to safety in software-intensive systems. IEEE Trans. Dependable Sec. Comput. 1(1), 66–86 (2004)

    Article  Google Scholar 

  28. Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. Web Services and Formal Methods 4184, 193–213 (2006)

    Article  Google Scholar 

  29. Mancinelli, F., Inverardi, P.: Quantitative resource-oriented analysis of java (adaptable) applications. In: WOSP 2007: Proceedings of the 6th international workshop on Software and performance, pp. 15–25. ACM Press, New York (2007)

    Chapter  Google Scholar 

  30. Mandrioli, D., Zicari, R., Ghezzi, C., Tisato, F.: Modeling the ada task system by petri nets. Computer Languages (1985)

    Google Scholar 

  31. Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based detection of conflicts in APPEL policies. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 257–271. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  32. Montangero, C., Semini, L.: Distributed states logic. In: 9th International Symposium on Temporal Representation and Reasoning (TIME 2002), Manchester, UK, July 2002, IEEE CS Press, Los Alamitos (2002)

    Google Scholar 

  33. Morzenti, A., Mandrioli, D., Ghezzi, C.: A model parametric real-time logic. ACM Trans. Program. Lang. Syst. 14(4), 521–573 (1992)

    Article  Google Scholar 

  34. OMG. Business process modeling notation. Technical report (February 6, 2006), http://www.bpmn.org/

  35. IFIP WG 10.4 on Dependable Computing and Fault Tolerance. Dependability: Basic concepts and terminology (October 1990)

    Google Scholar 

  36. Parnas, D.L.: On the criteria to be used in decomposing systems into modules. pp. 139–150 (1979)

    Google Scholar 

  37. ART DECO Project. Description of Work (2005), http://artdeco.elet.polimi.it/Artdeco

  38. PLASTIC Project. Description of Work (2005), http://www.ist-plastic.org

  39. SeCSE Project. Description of Work (2004), http://secse.eng.it/

  40. Reiff-Marganiec, S., Turner, K.J., Blair, L.: Appel: The accent project policy environment/language. Technical Report TR-161, University of Stirling (December 2005)

    Google Scholar 

  41. The SeCSE Team. Designing and deploying service-centric systems: The SeCSE way. In: Proceedings of Service Oriented Computing: a look at the Inside (SOC@Inside’07), workshop colocated with ICSOC 2007 (2007)

    Google Scholar 

  42. Turner, K.J., Reiff-Marganiec, S., Blair, L., Pang, J., Gray, T., Perry, P., Ireland, J.: Policy support for call control. Computer Standards and Interfaces 28(6), 635–649 (2006)

    Article  Google Scholar 

  43. Wirsing, M., Carizzoni, G., Gilmore, S., Gonczy, L., Koch, N., Mayer, P., Palasciano, C.: Software engineering for service-oriented overlay computers (2007), http://www.sensoria-ist.eu/files/whitePaper.pdf

Download references

Author information

Authors and Affiliations

  1. Deep-SE Group, DEI-Politecnico di Milano,  

    Carlo Ghezzi

  2. Dipartimento di Informatica, Università di L’Aquila,  

    Paola Inverardi

  3. Dipartimento di Informatica, Università di Pisa,  

    Carlo Montangero

Authors
  1. Carlo Ghezzi
    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. Carlo Montangero
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pierpaolo Degano Rocco De Nicola José Meseguer

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Ghezzi, C., Inverardi, P., Montangero, C. (2008). Dynamically Evolvable Dependable Software: From Oxymoron to Reality. In: Degano, P., De Nicola, R., Meseguer, J. (eds) Concurrency, Graphs and Models. Lecture Notes in Computer Science, vol 5065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68679-8_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-68679-8_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-68676-7

  • Online ISBN: 978-3-540-68679-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation