Josu Martinez, Simon Dobson



Autonomic computing aims to provide self-management and adaptation in the implementation of complex (large, heterogeneous, distributed) systems over time. Such adaptations must be stable, in the sense of maintaining the system's high-level goals across environmental changes, which may lead to functionality loss. In this paper we present FReSH, a decentralised component-based framework which main objective is to self-heal the operation of complex systems in the face of behavioural disruptions. FReSH deals with formally specified components that provide a single piece of functionality. The reusable and shareable nature of these building blocks makes them eligible for dynamically recomposing the functionality provided by any failing component of the system without human intervention. FReSH supports the construction of more flexible, adaptive and robust software structures suitable to cope with the environmental changes of complex systems.


  1. Appavoo, J., Hui, K., Soules, C. A. N., Wisniewski, R. W., Silva, D. M. D., Krieger, O., Edelsohn, D. J., Auslander, M. A., Gamsa, B., Ganger, G. R., McKenney, P., Ostrowski, M., Rosenburg, B., Stumm, M., and Xenidis, J. (2003). Enabling autonomic behavior in systems software with hot-swapping. IBM Systems Journal, 42(1).
  2. Baker, S. and Dobson, S. (2005). Comparing serviceoriented and distributed object architectures. In OTM Conferences (1), pages 631-645.
  3. Balasubramaniam, D., Morrison, R., Kirby, G., Mickan, K., Warboys, B., Robertson, I., Snowdon, B., Greenwood, R. M., and Seet, W. (2005). A software architecture approach for structuring autonomic systems. In DEAS'05: Proceedings of the 2005 workshop on Design and evolution of autonomic application software, pages 1-7, New York, NY, USA. ACM.
  4. Baresi, L., Ghezzi, C., and Guinea, S. (2004). Towards self-healing service compositions. In PriSE'04: First Conference on the Principles of Software Engineering, volume 42, pages 27-46.
  5. Berkeley/Stanford (2008). Recovery-Oriented Computing (ROC).
  6. Burdy, L., Cheon, Y., Cok, D. R., Ernst, M. D., Kiniry, J. R., Leavens, G. T., Leino, K. R. M., and Poll, E. (2005). An overview of jml tools and applications. Int. J. Softw. Tools Technol. Transf., 7(3):212-232.
  7. Clemens Szyperski, Dominik Gruntz, S. M. (2002). Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc.
  8. de Lemos, R. and Fiadeiro, J. L. (2002). An architectural support for self-adaptive software for treating faults. In WOSS'02: Proceedings of the first workshop on Self-healing systems, pages 39-42, New York, NY, USA. ACM.
  9. George, S., Evans, D., and Marchette, S. (2003). A biological programming model for self-healing. In SSRS'03: Proceedings of the 2003 ACM workshop on Survivable and self-regenerative systems, pages 72-81, New York, NY, USA. ACM.
  10. Georgiadis, I., Magee, J., and Kramer, J. (2002). Selforganising software architectures for distributed systems. In WOSS'02: Proceedings of the first workshop on Self-healing systems, pages 33-38, New York, NY, USA. ACM.
  11. Hariri, S., Khargharia, B., Chen, H., Yang, J., Zhang, Y., Parashar, M., and Liu, H. (2006). The autonomic computing paradigm. Cluster Computing, 9(1):5-17.
  12. Kephart, J. and Chess, D. (2003). The vision of autonomic computing. IEEE Computer, 36:41-50.
  13. Martin, D., Burstein, M., Mcdermott, D., Mcilraith, S., Paolucci, M., Sycara, K., Mcguinness, D. L., Sirin, E., and Srinivasan, N. (2007). Bringing semantics to web services with owl-s. World Wide Web, 10(3):243-277.
  14. Misra, J. and Cook, W. (2007). Computation orchestration: A basis for wide-area computing. Software and Systems Modeling, 6:83-110.
  15. Nachira, F. (2007). Digital business ecosystems.
  16. Nagpal, R., Kondacs, A., and Chang, C. (2003). Programming methodology for biologically-inspired selfassembling systems. In AAAI Spring Symposium on Computational Synthesis: From Basic Building Blocks to High Level Functionality.
  17. Nierstrasz, O. and Meijler, T. D. (1994). Requirements for a composition language. In ECOOP'94: Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems, pages 147-161, London, UK. Springer-Verlag.
  18. Papazoglou, M. P. and Georgakopoulos, D. (2003). Serviceoriented computing. Communications of the ACM, 46(10):46-54.
  19. Patterson, D., Brown, A., Broadwell, P., Candea, G., Chen, M., Cutler, J., Enriquez, P., Fox, A., Kiciman, E., Merzbacher, M., Oppenheimer, D., Sastry, N., Tetzlaff, W., Traupman, J., and Treuhaft, N. (2002). Recovery oriented computing (roc): Motivation, definition, techniques and case studies. Technical report, Berkeley, CA, USA.
  20. Tanenbaum, A. S. and Steen, M. V. (2001). Distributed Systems: Principles and Paradigms. Prentice Hall PTR, Upper Saddle River, NJ, USA.
  21. Tesauro, G., Chess, D. M., Walsh, W. E., Das, R., Segal, A., Whalley, I., Kephart, J. O., and White, S. R. (2004). A multi-agent systems approach to autonomic computing. In AAMAS'04: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, pages 464-471, Washington, DC, USA. IEEE Computer Society.
  22. van Lamsweerde, A. (2000). Formal specification: a roadmap. In ICSE'00: Proceedings of the Conference on The Future of Software Engineering, pages 147- 159, New York, NY, USA. ACM.
  23. Zaremski, A. M. and Wing, J. M. (1995). Specification matching of software components. In SIGSOFT'95: Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering, pages 6-17, New York, NY, USA. ACM.

Paper Citation

in Harvard Style

Martinez J. and Dobson S. (2009). FUNCTIONALITY RECOMPOSITION FOR SELF-HEALING . In Proceedings of the 4th International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-674-010-8, pages 159-164. DOI: 10.5220/0002281701590164

in Bibtex Style

author={Josu Martinez and Simon Dobson},
booktitle={Proceedings of the 4th International Conference on Software and Data Technologies - Volume 2: ICSOFT,},

in EndNote Style

JO - Proceedings of the 4th International Conference on Software and Data Technologies - Volume 2: ICSOFT,
SN - 978-989-674-010-8
AU - Martinez J.
AU - Dobson S.
PY - 2009
SP - 159
EP - 164
DO - 10.5220/0002281701590164