Reference:
, "Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach", in Proc. 5th Intl. Conference on Soft Computing as Transdisciplinary Science and Technology (CSTST), pp. 508 - 516, ACM, 2008.
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.
Links:
@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},
PDF = {uploads/pdf/BeckerGiese08c_asbs2008.pdf},
OPTacc_pdf = {},
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.}
}Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser