Evolution von Software-Architekturen

In diesem technischen Bericht wird die Evolution von Software-Architekturen anhand von kleinen, effizient und schnell ausführbaren, systematischen Schritten dargestellt. Die Architektur wird dabei so adaptiert, dass diese sich besser für die Erweiterung um neue Funktionalität eignet. Die Umgestaltungsschritte werden durch einen dargestellten Kalkül formal beschrieben, wodurch die Implikationen präzise und bis hin zu notwendigen Beweisverpflichtungen festgelegt sind. Dabei bleibt das migrierte System in jedem Zwischenschritt lauffähig, kann so weiter im Produktiveinsatz verbleiben und permanenten Tests unterzogen werden.