Eingang zum Volltext
Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-31274
URL: http://opus.kobv.de/tuberlin/volltexte/2011/3127/

Bisztray, Dénes ; Heckel, Reiko ; Ehrig, Hartmut

Verification of Architectural Refactorings: Rule Extraction and Tool Support

pdf-Format:
Dokument 1.pdf (429 KB)

Kurzfassung in Englisch

Software in use needs to be adapted to changing requirements, otherwise it becomes obsolete. Often, this involves changing the architecture of the system. To avoid the introduction of unwanted or removal of desired behaviour, these changes need verification. While verifying large systems consumes considerable resources, the verification of only the changed parts can, under certain conditions, give the required assurance. This opens the possibility of creating formally verified, reusable refactoring patterns. However, a mechanism for extracting such patterns is needed. To address this problem, a theoretical framework is presented that allow to formally reason about the rule extraction process. In order to harness the theoretical results, a visual editor and tool chain are introduced to aid developers in extracting refactoring rules and prove their behavioural correctness.

Freie Schlagwörter (englisch): Graph Transformations , Refactoring , Semantics
Collection TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 16 (2009): International Conference on Graph Transformation 2008 - Doctoral Symposium
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Band Nummer: 16/01
ISBN: 1863-2122
Quelle: http://journal.ub.tu-berlin.de/eceasst/article/view/240
Sprache: Englisch
Erstellungsjahr: 2009
Publikationsdatum: 10.08.2011
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja