Im Bereich moderner Cloud- und serviceorientierter Architekturen, muss in sich ständig ändernden Systemumgebungen, die Systemarchitektur schnell und flexibel an die neuen Anforderungen angepasst und erneut bereitgestellt werden. Daher werden die Systemarchitekturen in diesen Bereichen durch eine Zusammenstellung von abstrakten Komponenten und Services beschrieben, die bei sich ändernden Anforderungen angepasst und in neue ausführbare Systemarchitekturen verfeinert werden können. Eine große Herausforderung bei der Verfeinerung stellt die automatische Zusammenstellung von zueinander kompatiblen ausführbaren Services und Komponenten dar, die alle Anforderungen erfüllen. Um diese Herausforderung zu bewältigen wurde ein Verfeinerungsmodell für die Verfeinerung von abstrakten Systemarchitekturen in ausführbare konkrete Systemarchitekturen entwickelt. Das Verfeinerungsmodell dient als Grundlage für ein semi-automatisiertes Verfeinerungsverfahren von Systemarchitekturen, welche durch Topologiemodelle dargestellt und beschrieben werden. Das Verfeinerungsverfahren wird in einem Architectural Refinement (ArchRef) Tool als Prototyp implementiert und kann für die Modellierung von Topologiemodellen und ihre anschließende automatisierte Verfeinerung verwendet werden.