Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum ; Axiomatische Spezifikation und Interaktive Verifikation von Architekturmustern in FACTum
Architectural design patterns (ADPs) are an important concept in Software Engineering used for the design and the analysis of architectures. Specifications of ADPs are usually not verified , i.e., it is not verified whether the imposed design constraints indeed lead to an architecture satisfying the guarantees. To address this, we developed FACTum , a methodology for axiomatic specification and interactive verification of ADPs. In the thesis, we describe the method and report on the results of applying it for the verification of four different ADPs, i.a. in the domain of blockchain . ; Architekturmuster (AM) werden im Software Engineering zur Konzeption und Analyse von Architekturen eingesetzt. Spezifikationen von AM sind jedoch häufig nicht verifiziert . So ist nicht sichergestellt, dass Architekturen, die ein Muster nutzen, auch die versprochenen Garantien erfüllen. Deshalb wurde FACTum entwickelt, eine Methodik zur axiomatischen Spezifikation und interaktiven Verifikation von AM. Die Arbeit beschreibt sowohl die Methodik selbst, als auch Ergebnisse die durch dessen Anwendung zur Verifikation von vier Mustern, u.a. aus dem Bereich Blockchain , erzielt wurden.
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum ; Axiomatische Spezifikation und Interaktive Verifikation von Architekturmustern in FACTum
Architectural design patterns (ADPs) are an important concept in Software Engineering used for the design and the analysis of architectures. Specifications of ADPs are usually not verified , i.e., it is not verified whether the imposed design constraints indeed lead to an architecture satisfying the guarantees. To address this, we developed FACTum , a methodology for axiomatic specification and interactive verification of ADPs. In the thesis, we describe the method and report on the results of applying it for the verification of four different ADPs, i.a. in the domain of blockchain . ; Architekturmuster (AM) werden im Software Engineering zur Konzeption und Analyse von Architekturen eingesetzt. Spezifikationen von AM sind jedoch häufig nicht verifiziert . So ist nicht sichergestellt, dass Architekturen, die ein Muster nutzen, auch die versprochenen Garantien erfüllen. Deshalb wurde FACTum entwickelt, eine Methodik zur axiomatischen Spezifikation und interaktiven Verifikation von AM. Die Arbeit beschreibt sowohl die Methodik selbst, als auch Ergebnisse die durch dessen Anwendung zur Verifikation von vier Mustern, u.a. aus dem Bereich Blockchain , erzielt wurden.
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum ; Axiomatische Spezifikation und Interaktive Verifikation von Architekturmustern in FACTum
08.03.2019
Hochschulschrift
Elektronische Ressource
Englisch
DDC:
720
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
| UB Braunschweig | 2019
manu factum '97: Kunsthandwerkliche Spitzenleistungen
Online Contents | 1998
Möbeldesign: manu factum '97 - Kunsthandwerkliche Spitzenleistungen
Online Contents | 1998