Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif: A Specification and Construction Paradigm for Organic Computing Systems. In: Brückner, Sven; Robertson, Paul; Bellur, Umesh (Hrsg.): Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, S. 233-242, IEEE Computer Society Press (2008), 2008.

Abstract

Organic Computing systems are systems which have the capability to autonomously (re-)organize and adapt themselves. The benefit of such systems with self-x properties is that they are more dependable, as they can compensate for some failures. They are easier to maintain, because they can automatically configure themselves and are more convenient to use because of automatic adaptation to new situations. While Organic Computing systems have a lot of desired properties, there still exists only little knowledge on how they can be designed and built. In this paper an approach for specification and construction of a certain class of Organic Computing systems is presented, called the Restore Invariant Approach (RIA). The core idea is that the behaviour of an Organic Computing system can be split into productive phases and self-x phases where adaptation is necessary. This allows for a generic description of how organic'' aspects can be specified and implemented. The approach will be illustrated by applying it to a design methodology for Organic Computing systems and further refining it to an explicit case study in the domain of production automation.

BibTeX (Download)

@inproceedings{RIA-SASO08,
title = {A Specification and Construction Paradigm for Organic Computing Systems},
author = { Matthias G\"{u}demann and Florian Nafz and Frank Ortmeier and Hella Seebach and Wolfgang Reif},
editor = {Sven Br\"{u}ckner and Paul Robertson and Umesh Bellur},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2017/10/A_Specification_and_Construction_Paradigm_for_Organic_Computing_Systems.pdf
http://ieeexplore.ieee.org/document/4663427/},
year  = {2008},
date = {2008-01-01},
booktitle = {Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems},
pages = {233-242},
publisher = {IEEE Computer Society Press (2008)},
abstract = {Organic Computing systems are systems which have the capability to autonomously (re-)organize and adapt themselves. The benefit of such systems with self-x properties is that they are more dependable, as they can compensate for some failures. They are easier to maintain, because they can automatically configure themselves and are more convenient to use because of automatic adaptation to new situations. While Organic Computing systems have a lot of desired properties, there still exists only little knowledge on how they can be designed and built. In this paper an approach for specification and construction of a certain class of Organic Computing systems is presented, called the Restore Invariant Approach (RIA). The core idea is that the behaviour of an Organic Computing system can be split into productive phases and self-x phases where adaptation is necessary. This allows for a generic description of how organic'' aspects can be specified and implemented. The approach will be illustrated by applying it to a design methodology for Organic Computing systems and further refining it to an explicit case study in the domain of production automation.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}