Formalizing a methodology for design- and runtime self-healing

Georg Jung; Tiziana Margaria; Christian Wagner; Marco Bakera

doi:10.1109/EASe.2010.21

Formalizing a methodology for design- and runtime self-healing

Georg Jung, Tiziana Margaria, Christian Wagner, Marco Bakera

University of Potsdam

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

In this paper we report our experience with the extraction and formalization of the methodology for the development of self-healing capabilities arisen in the context of the recently concluded SHADOWS project. Defining a methodology for system augmentation, technology description and technology introduction is in fact a central output of the project. This methodology effort additionally aimed at enhancing the coordination between project partners, the interaction between various technologies, and the applicability of self-healing to software projects.

Original language	English
Title of host publication	Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010
Pages	106-115
Number of pages	10
DOIs	https://doi.org/10.1109/EASe.2010.21
Publication status	Published - 2010
Externally published	Yes
Event	7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010 - Oxford, United Kingdom Duration: 22 Mar 2010 → 26 Mar 2010

Publication series

Name	Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010

Conference

Conference	7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010
Country/Territory	United Kingdom
City	Oxford
Period	22/03/10 → 26/03/10

Keywords

Autonomic computing
Methodology description languages
Self-healing
Software methodologies

Access to Document

10.1109/EASe.2010.21

Cite this

Jung, G., Margaria, T., Wagner, C., & Bakera, M. (2010). Formalizing a methodology for design- and runtime self-healing. In Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010 (pp. 106-115). Article 5457815 (Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010). https://doi.org/10.1109/EASe.2010.21

Jung, Georg ; Margaria, Tiziana ; Wagner, Christian et al. / Formalizing a methodology for design- and runtime self-healing. Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010. 2010. pp. 106-115 (Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010).

@inproceedings{7fb551579e454a9cb939bf1ada398295,

title = "Formalizing a methodology for design- and runtime self-healing",

abstract = "In this paper we report our experience with the extraction and formalization of the methodology for the development of self-healing capabilities arisen in the context of the recently concluded SHADOWS project. Defining a methodology for system augmentation, technology description and technology introduction is in fact a central output of the project. This methodology effort additionally aimed at enhancing the coordination between project partners, the interaction between various technologies, and the applicability of self-healing to software projects.",

keywords = "Autonomic computing, Methodology description languages, Self-healing, Software methodologies",

author = "Georg Jung and Tiziana Margaria and Christian Wagner and Marco Bakera",

year = "2010",

doi = "10.1109/EASe.2010.21",

language = "English",

isbn = "9780769540047",

series = "Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010",

pages = "106--115",

booktitle = "Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010",

note = "7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010 ; Conference date: 22-03-2010 Through 26-03-2010",

}

Jung, G, Margaria, T, Wagner, C & Bakera, M 2010, Formalizing a methodology for design- and runtime self-healing. in Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010., 5457815, Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010, pp. 106-115, 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010, Oxford, United Kingdom, 22/03/10. https://doi.org/10.1109/EASe.2010.21

Formalizing a methodology for design- and runtime self-healing. / Jung, Georg; Margaria, Tiziana; Wagner, Christian et al.
Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010. 2010. p. 106-115 5457815 (Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formalizing a methodology for design- and runtime self-healing

AU - Jung, Georg

AU - Margaria, Tiziana

AU - Wagner, Christian

AU - Bakera, Marco

PY - 2010

Y1 - 2010

N2 - In this paper we report our experience with the extraction and formalization of the methodology for the development of self-healing capabilities arisen in the context of the recently concluded SHADOWS project. Defining a methodology for system augmentation, technology description and technology introduction is in fact a central output of the project. This methodology effort additionally aimed at enhancing the coordination between project partners, the interaction between various technologies, and the applicability of self-healing to software projects.

AB - In this paper we report our experience with the extraction and formalization of the methodology for the development of self-healing capabilities arisen in the context of the recently concluded SHADOWS project. Defining a methodology for system augmentation, technology description and technology introduction is in fact a central output of the project. This methodology effort additionally aimed at enhancing the coordination between project partners, the interaction between various technologies, and the applicability of self-healing to software projects.

KW - Autonomic computing

KW - Methodology description languages

KW - Self-healing

KW - Software methodologies

UR - http://www.scopus.com/inward/record.url?scp=77953202148&partnerID=8YFLogxK

U2 - 10.1109/EASe.2010.21

DO - 10.1109/EASe.2010.21

M3 - Conference contribution

AN - SCOPUS:77953202148

SN - 9780769540047

T3 - Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010

SP - 106

EP - 115

BT - Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010

T2 - 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010

Y2 - 22 March 2010 through 26 March 2010

ER -

Jung G, Margaria T, Wagner C, Bakera M. Formalizing a methodology for design- and runtime self-healing. In Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010. 2010. p. 106-115. 5457815. (Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010). doi: 10.1109/EASe.2010.21

Formalizing a methodology for design- and runtime self-healing

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this