Please use this identifier to cite or link to this item:
For citation please use:
Main Title: Modeling and Analysis of Self-Adaptive Systems Based on Graph Transformation
Author(s): Bucchiarone, Antonio
Ehrig, Hartmut
Ermel, Claudia
Pellicione, Patrizio
Runge, Olga
Type: Research Paper
Language Code: en
Abstract: Software systems nowadays require continuous operation despite changes both in user needs and in their operational environments. Self-adaptive systems are typically instrumented with tools to autonomously perform adaptation to these changes while maintaining some desired properties. In this paper we model and analyze self-adaptive systems by means of typed, attributed graph grammars. The interplay of different grammars representing the application and the adaptation logic is realized by an adaption manager. Within this formal framework we define consistency and operational properties that are maintained despite adaptations and we give static conditions for their verification. The overall approach is supported by the AGG tool that offers the features for modeling, simulating, and analyzing graph transformation systems. A case study modeling a business process that adapts to changing environment conditions is used to demonstrate and validate the formal framework.
Issue Date: 2013
Date Available: 11-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): self-adaptive systems
formal analysis
graph transformation
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2013-03
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
Format: Adobe PDF | Size: 3.59 MB
DownloadShow Preview

Item Export Bar

Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.