|
|
Architektur Als Sprache
Essentieller Teil des Entwurfs einer Architektur ist die Definition der Architekturkonzepte –
präzise und technologieneutral. In dieser Session möchte ich zeigen dass sich dazu die
Definition einer formalen Sprache (Grammatik, Constraints, etc.) sehr gut eignet.
Die erste Hälfte der Session zeigt ein ausführliches Beispiel, die zweite rekapituliert
den Ansatz und zeigt, wie die Architekturdefinitionen automatisiert verifiziert und
weiterverarbeitet werden können.
|