Du er ikke logget ind
Beskrivelse
Die modellbasierte Softwareentwicklung wird als ein viel versprechender Ansatz angesehen, um die Softwarequalitat zu erhohen und gleichzeitig den Entwicklungsaufwand sowie die damit verbundenen Kosten zu reduzieren. Hierzu wird das zu entwickelnde Softwaresystem mit unterschiedlichen Modellen beschrieben. Ein Problem dabei ist, dass sich die unterschiedlichen Modelle in ihrem Informationsgehalt uberlappen und die Uberlappungen zu widerspruchlichen Aussagen uber das Softwaresystem fuhren konnen. Um ein fehlerfreies Softwaresystem zu erhalten, mussen die Widerspruche zwischen den Modellen beseitigt werden, d.h., die Modelle mussen miteinander abgeglichen werden. In dieser Dissertation wird ein Ansatz zur automatischen Modellsynchronisation vorgestellt. Die Modellsynchronisation gleicht in Beziehung stehende Modelle miteinander ab und lost damit vorhandene Widerspruche zwischen den Modellen automatisch auf. Die Modellsynchronisation kann dabei sowohl vollstandig in einem einzigen Schritt, als auch Schritt fur Schritt, d.h., inkrementell, durchgefuhrt werden. Damit ist dieser Ansatz auch fur grosse Modelle geeignet.