Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach (bibtex)

by Basil Becker, Holger Giese

Abstract:

Software is always embedded in a social and technical context which change over time and therefore also the software has to be adjusted over time to preserve its value. Self-adaptive systems provide a vision how the systems can become capable of doing a large fraction of the required adaptations autonomously. In this paper we first discuss what is required to model correct self-adaptive systems. We then present the formal model of graph transformation systems which serves most of the identified needs. Based on this findings we outline how UML class and object diagrams as well as extensions for the modeling of behavior based upon graph transformation systems can be employed to model correct self-adaptive system. An application example is used to present how the approach can be employed to model self-adaptive systems at a high level of abstraction and means to ensure its correctness are discussed.

Reference:

Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach (Basil Becker, Holger Giese), In Proc. 5th Intl. Conference on Soft Computing as Transdisciplinary Science and Technology (CSTST), ACM, 2008.

Bibtex Entry:

@InProceedings{BeckerGiese08c, AUTHOR = {Becker, Basil and Giese, Holger}, TITLE = {{Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach}}, YEAR = {2008}, BOOKTITLE = {Proc. 5th Intl. Conference on Soft Computing as Transdisciplinary Science and Technology (CSTST)}, PAGES = {508 - 516}, PUBLISHER = {ACM}, ABSTRACT = {Software is always embedded in a social and technical context which change over time and therefore also the software has to be adjusted over time to preserve its value. Self-adaptive systems provide a vision how the systems can become capable of doing a large fraction of the required adaptations autonomously. In this paper we first discuss what is required to model correct self-adaptive systems. We then present the formal model of graph transformation systems which serves most of the identified needs. Based on this findings we outline how UML class and object diagrams as well as extensions for the modeling of behavior based upon graph transformation systems can be employed to model correct self-adaptive system. An application example is used to present how the approach can be employed to model self-adaptive systems at a high level of abstraction and means to ensure its correctness are discussed.} }

Powered by bibtexbrowser