Becker-Pechau, PetraKarstens, BettinaLilienthal, CarolaBiel, BettinaBook, MatthiasGruhn, Volker2019-08-132019-08-1320063-88579-173-0https://dl.gi.de/handle/20.500.12116/24317Die innere Qualität von Softwaresystemen hat großen Einfluss darauf, wie gut sich die Software weiterentwickeln und warten lässt. Entscheidend für die innere Qualität ist die vom Entwicklungsteam gewählte Architektur. Neben den etablierten Schichtenarchitekturen verwenden Entwicklerteams flexiblere Architekturen, die sie informell beschreiben. Dass das entwickelte System der gewählten Architektur entspricht, muss in regelmäßigen Abständen überprüft werden. Die verfügbaren Werkzeuge zur Architekturüberprüfung decken lediglich den Teilaspekt der Schichtenbildung ab. In diesem Artikel wird gezeigt, wie sich informelle Architekturbeschreibungen als Architekturregeln formulieren lassen. Ein großer Teil solcher Regeln lässt sich formalisieren und ihre Einhaltung automatisch überprüfen. Die Regeln einer ausgewählten Modellarchitektur werden auf drei Beispielsysteme angewendet und die Ergebnisse der automatischen Überprüfung ausgewertet und diskutiert.deText/Conference Paper1617-5468