Mirko Seifert

Designing Round-Trip Systems by Change Propagation and Model Partitioning

Dokumente und Dateien


Bitte nutzen Sie beim Zitieren immer folgende Url:


Kurzfassung in Englisch

Software development processes incorporate a variety of different artifacts (e.g., source code, models, and documentation). For multiple reasons the data that is contained in these artifacts does expose some degree of redundancy. Ensuring global consistency across artifacts during all stages in the development of software systems is required, because inconsistent artifacts can yield to failures. Ensuring consistency can be either achieved by reducing the amount of redundancy or by synchronizing the information that is shared across multiple artifacts. The discipline of software engineering that addresses these problems is called Round-Trip Engineering (RTE).
In this thesis we present a conceptual framework for the design RTE systems. This framework delivers precise definitions for essential terms in the context of RTE and a process that can be used to address new RTE applications. The main idea of the framework is to partition models into parts that require synchronization - skeletons - and parts that do not - clothings. Once such a partitioning is obtained, the relations between the elements of the skeletons determine whether a deterministic RTE system can be built. If not, manual decisions may be required by developers. Based on this conceptual framework, two concrete approaches to RTE are presented.
The first one - Backpropagation-based RTE - employs change translation, traceability and synchronization fitness functions to allow for synchronization of artifacts that are connected by non-injective transformations. The second approach - Role-based Tool Integration - provides means to avoid redundancy. To do so, a novel tool design method that relies on role modeling is presented. Tool integration is then performed by the creation of role bindings between role models.
In addition to the two concrete approaches to RTE, which form the main contributions of the thesis, we investigate the creation of bridges between technical spaces. We consider these bridges as an essential prerequisite for performing logical synchronization between artifacts. Also, the feasibility of semantic web technologies is a subject of the thesis, because the specification of synchronization rules was identified as a blocking factor during our problem analysis.
The thesis is complemented by an evaluation of all presented RTE approaches in different scenarios. Based on this evaluation, the strengths and weaknesses of the approaches are identified. Also, the practical feasibility of our approaches is confirmed w.r.t. the presented RTE applications.

weitere Metadaten

Modellgetriebene Softwareentwicklung, Modellsynchronisation, Softwarekomposition, Werkzeugintegration
Model-Driven Software Development, Model Synchronization, Round-Trip Engineering, Software Composition, Tool Integration
DDC Klassifikation004
RVK KlassifikationST 230
HochschuleTechnische Universität Dresden
FakultätFakultät Informatik
ProfessurProfessur für Softwaretechnologie
BetreuerProf. Dr. rer. nat. habil. Uwe Aßmann
GutachterProf. Dr. rer. nat. habil. Uwe Aßmann
Prof. Dr. Jean Bézivin
Tag d. Einreichung (bei der Fakultät)07.04.2011
Tag d. Verteidigung / Kolloquiums / Prüfung28.06.2011
Veröffentlichungsdatum (online)26.07.2011
persistente URNurn:nbn:de:bsz:14-qucosa-71098

Hinweis zum Urheberrecht

Diese Website ist eine Installation von Qucosa - Quality Content of Saxony!
Sächsische Landesbibliothek Staats- und Universitätsbibliothek Dresden