direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Verification of Architectural Refactorings by Rule Extraction
Zitatschlüssel BHE08
Autor Bisztray, D. and Heckel, R. and Ehrig, H.
Buchtitel Proc. Fundamental Approaches to Software Engineering (FASE'08)
Seiten 347–361
Jahr 2008
ISBN 978-3-540-78742-6
DOI 10.1007/978-3-540-78743-3
Ort Budapest, Hungary
Jahrgang 4961
Herausgeber J.L.\ Fiadeiro and P. Inverardi
Verlag SPRINGER
Serie LNCS
Zusammenfassung With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. To adapt to changing requirements and improve internal software quality such models have to evolve while preserving aspects of their behaviour. To avoid the costly verification of refactoring steps on large systems we present a method which allows us to extract a (usually much smaller) rule from the transformation performed and verify this rule instead. The main result of the paper shows that the verification of rules is indeed sufficient to guarantee the desired semantic relation between source and target models. We apply the approach to the refactoring of architectural models based on UML component, structure, and activity diagrams, with using CSP as a semantic domain.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe