Compliance zwischen architektonischen Entwurfsentscheidungen und Implementierungen
Ensuring Compliance of Architectural Design Decisions and Implementations
DACH: Österreich - Deutschland - Schweiz
Wissenschaftsdisziplinen
Informatik (100%)
Keywords
-
Architectural Design Decisions,
Consistency,
Compliance,
Software Design,
Software Architecture
IT-Anwendungen müssen Compliance gewährleisten, also die Übereinstimmung mit Gesetzen und Verordnungen, die wiederum den Architekturentwurf und die Laufzeit einer Anwendung beeinflussen. In diesem Rahmen beeinflussen nur einige Compliance-Anforderungen die funktionalen Aspekte der Anwendungen, da sie z.B. auf die unterstützten Geschäftsprozesse abzielen. Zum Beispiel könnten diese Anforderungen eine Reihenfolge der Aktivitäten oder eine gewisse Zeitabhängigkeit von aufeinander folgenden Tätigkeiten spezifizieren. Eine beträchtliche Anzahl anderer Compliance-Anforderungen beeinflusst eher die nicht- funktionalen Eigenschaften der Anwendungen, wie z.B. Ort des Hostings, physische Zugänglichkeit der eingesetzten Hardware, erforderliche Speicherintervalle, etc. Solche Compliance-Anforderungen sind deutlich schwieriger zu gewährleisten, da sie sich nicht in den Funktionen und dem leicht überwachbaren Verhalten der Anwendungen manifestieren. Im Allgemeinen führen Compliance-Anforderungen daher zu Architekturentscheidungen (ADD), die Design, Implementierung und Laufzeit der Anwendung beeinflussen. Bisher gibt es jedoch keinen Ansatz, der die konsequente Umsetzung von ADDs hinsichtlich der Compliance-Aspekte während der Entwurfszeit und Laufzeit überprüft oder sogar sicherstellt. Als Mittel zur Formalisierung von ADDs sind Muster bereits verwendet worden. Muster dokumentieren erfolgreiche, wiederkehrende Lösungen zu wiederkehrenden Problemen in menschlich-lesbarer Form. Die Auswahl eines Musters für die Realisierung in einer IT- Anwendung kann als eine ADD angesehen werden. Allerdings fokussieren die existierenden Ansätze zur Musterformalisierung auf strukturelle Aspekte und haben Schwierigkeiten mit der inhärente Variabilität von Mustern, die bei der Implementierung durch den Menschen auftritt, umzugehen. Das ADDCompliance-Projekt wird Compliance-Muster als Möglichkeit, erfolgreiche Strategien für die Umsetzung von Compliance-Anforderungen zu dokumentieren, untersuchen. Im Gegensatz zu existierenden IT-Ansätzen für Compliance werden die Compliance-Muster nicht Spezialisierungen von spezifischen Gesetzen und Verordnungen betrachten, sondern eine Anwendung unterstützen, mit sich ändernden Compliance- Anforderungen umzugehen. Um die Einhaltung dieser Muster in dem Design und der Laufzeit von Anwendungen sicherzustellen, werden die Muster mit Struktur- und Verhaltensmodellen formalisiert werden. Auf Basis dieser Modelle, wird das ADDCompliance-Projekt Methoden und Werkzeuge entwickeln, um die Architekturentscheidungen, die gemacht wurden, um Compliance umzusetzen, nachzuvollziehen und ihre Einhaltung sicherzustellen. Diese Lösungen werden in die existierende Compliance-Infrastruktur, die im DFG Co.M.B. entwickelt wurde, integriert werden, um die Compliance-Checks während der Prozessmodellierung, dem Applikationsentwurf und der Laufzeit deutlich zu verbreitern.
Im Projekt ADDCompliance unter der Leitung von Univ.-Prof. Dr. Uwe Zdun wurden systematische Methoden erforscht, wie Konformität von Software-Architekturen mit sogenannten Architecture Design Decisions (ADDs) und Architekturmodellen gewährleistet werden kann. Das Projekt wurde in Zusammenarbeit mit der Forschungsgruppe von Prof. Dr. Dr. h. c. Frank Leymann (Universität Stuttgart) durchgeführt. Den Anstoß zum Projekt gab die Tatsache, dass formale Vorgaben für die Überprüfung und Gewährleistung von Architekturkonformität fehlten. Bestehende Modelle konnten nicht sicherstellen, dass die optimalen ADDs für konformes Systemdesign gewählt wurden. ADDCompliance sollte daher Grundlagen von zu ADDs sicher konformen Architekturen erforschen. Im Laufe des Projekts haben wir eine Reihe an Studien über die systematische Ableitung von ADDs sowie Mustern und Methoden durchgeführt. Diese Studien führten zu einem neuartigen Forschungsansatz: Dafür werden bewährte Praktiken als ADD-Modelle formuliert. Die Metriken, die aus diesen Modellen gewonnen werden, werden dann empirisch überprüft und Überarbeitungen aufgrund der Metriken vorgeschlagen. Dieser neue Ansatz ist von großem Nutzen in mehreren weiteren Forschungsstudien, u.a. auch in unserem ADDCompliance-Nachfolgeprojekt IAC2. Während des Projekts wurden die Ergebnisse laufend mehreren Industriepartnern präsentiert. Dadurch konnte qualitatives Feedback aus Sicht der Industrie bezüglich der Umsetzbarkeit unserer entwickelten Methoden und Tools eingeholt und dieses Feedback in unserer weiteren Forschung verwendet werden. Es fand auch ein reger Austausch mit dem Team der Universität Stuttgart statt. Die Forschungsergebnisse wurden als wissenschaftliche Veröffentlichungen im Rahmen mehrerer renommierter, internationaler Konferenzen veröffentlicht und präsentiert (z.B. International Conference on Service Oriented Computing 2018 & 2020, European Conference on Software Architecture 2019, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems 2018). Zudem führten sie zu Artikeln in angesehenen Fachjournalen wie International Journal on Software and Systems Modeling (SoSyM) und IEEE Transactions on Software Engineering (TSE). Durch die enge Zusammenarbeit mit der Universität Stuttgart entstanden auch mehrere gemeinsame Publikationen, die ebenfalls auf Konferenzen präsentiert wurden (z.B. IEEE International Conference on Services Computing 2019). Eine Liste mit sämtlichen Publikationen und weitere Informationen über das Projekt finden sich auf der Projektseite: https://addcompliance.cs.univie.ac.at/
- Universität Wien - 100%
- Frank Leymann, Universität Stuttgart - Deutschland
Research Output
- 227 Zitationen
- 36 Publikationen
- 3 Datasets & Models
- 1 Wissenschaftliche Auszeichnungen
- 3 Weitere Förderungen
-
2019
Titel Supporting Behavioral Consistency in Adaptive Case Management Typ PhD Thesis Autor Christoph Kaineder (Formerly: Czepa) -
2019
Titel Dynamic Data Routing Decisions for Compliant Data Handling in Service- and Cloud-Based Architectures: A Performance Analysis DOI 10.1109/scc.2019.00044 Typ Conference Proceeding Abstract Autor Amiri A Seiten 215-219 -
2019
Titel Guiding Architectural Decision Making on Service Mesh Based Microservice Architectures DOI 10.1007/978-3-030-29983-5_1 Typ Book Chapter Autor El Malki A Verlag Springer Nature Seiten 3-19 -
2019
Titel Supporting Architectural Decision Making on Data Management in Microservice Architectures DOI 10.1007/978-3-030-29983-5_2 Typ Book Chapter Autor Ntentos E Verlag Springer Nature Seiten 20-36 -
2019
Titel On the Design and Architecture of Deployment Pipelines in Cloud- and Service-Based Computing – A Model-Based Qualitative Study DOI 10.1109/scc.2019.00033 Typ Conference Proceeding Abstract Autor Zdun U Seiten 141-145 Link Publikation -
2023
Titel Supporting Architecture Evolution in Microservice-Based Systems and Infrastructure-as-Code Based Deployments Typ PhD Thesis Autor Evangelos Ntentos -
2023
Titel Modeling and Multifaceted Reconfiguration of Cloud-Based Dynamic Routing Typ PhD Thesis Autor Amirali Amiri -
2021
Titel Automatic Adaptation of Reliability and Performance Trade-Offs in Service- and Cloud-Based Dynamic Routing Architectures DOI 10.1109/qrs54544.2021.00055 Typ Conference Proceeding Abstract Autor Amiri A Seiten 434-445 Link Publikation -
2019
Titel On the Design and Architecture of Deployment Pipelines in Cloud and Service-Based Computing - A Model-Based Qualitative Study DOI 10.5281/zenodo.2671625 Typ Other Autor Ntentos E Link Publikation -
2019
Titel On the Design and Architecture of Deployment Pipelines in Cloud and Service-Based Computing - A Model-Based Qualitative Study DOI 10.5281/zenodo.2671624 Typ Other Autor Ntentos E Link Publikation -
2019
Titel Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability DOI 10.1007/s10270-019-00721-4 Typ Journal Article Autor Czepa C Journal Software and Systems Modeling Seiten 3331-3371 Link Publikation -
2019
Titel How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers? DOI 10.1145/3306608 Typ Journal Article Autor Czepa C Journal ACM Transactions on Software Engineering and Methodology (TOSEM) Seiten 1-38 -
2019
Titel On the Design and Architecture of Deployment Pipelines in Cloud- and Service-Based Computing - A Model-Based Qualitative Study DOI 10.5281/zenodo.3476556 Typ Other Autor Ntentos E Link Publikation -
2019
Titel On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language DOI 10.5281/zenodo.3228046 Typ Other Autor Czepa C Link Publikation -
2019
Titel Quality attributes use in architecture design decision methods: research and practice DOI 10.1007/s00607-019-00758-9 Typ Journal Article Autor Lytra I Journal Computing Seiten 551-572 Link Publikation -
2020
Titel Monitoring Behavioral Compliance with Architectural Patterns Based on Complex Event Processing DOI 10.1007/978-3-030-44769-4_10 Typ Book Chapter Autor Krieger C Verlag Springer Nature Seiten 125-140 -
2019
Titel On the Design and Architecture of Deployment Pipelines in Cloud- and Service-Based Computing - A Model-Based Qualitative Study DOI 10.5281/zenodo.2790643 Typ Other Autor Ntentos E Link Publikation -
2019
Titel On the Design and Architecture of Deployment Pipelines in Cloud- and Service-Based Computing - A Model-Based Qualitative Study DOI 10.5281/zenodo.2790644 Typ Other Autor Ntentos E Link Publikation -
2019
Titel On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language DOI 10.5281/zenodo.3228045 Typ Other Autor Czepa C Link Publikation -
2024
Titel Dynamic API Patterns Optimization: Using Predictive Analysis to Adapt Microservices on Service Mesh Deployments Typ PhD Thesis Autor Amine El Malki -
2018
Titel Past and future of software architectures for context-aware systems: A systematic mapping study DOI 10.1016/j.jss.2018.09.074 Typ Journal Article Autor Roda C Journal Journal of Systems and Software Seiten 310-355 -
2018
Titel Refactoring Architecture Models for Compliance with Custom Requirements DOI 10.1145/3239372.3239379 Typ Conference Proceeding Abstract Autor Holmes T Seiten 267-277 -
2018
Titel Model-based support for decision-making in architecture evolution of complex software systems DOI 10.1145/3241403.3241426 Typ Conference Proceeding Abstract Autor Plakidas K Seiten 1-7 -
2018
Titel Software Migration and Architecture Evolution with Industrial Platforms: A Multi-case Study DOI 10.1007/978-3-030-00761-4_22 Typ Book Chapter Autor Plakidas K Verlag Springer Nature Seiten 336-343 -
2018
Titel Guiding Architectural Decision Making on Quality Aspects in Microservice APIs DOI 10.1007/978-3-030-03596-9_5 Typ Book Chapter Autor Zdun U Verlag Springer Nature Seiten 73-89 -
2018
Titel On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language DOI 10.1109/tse.2018.2859926 Typ Journal Article Autor Czepa C Journal IEEE Transactions on Software Engineering Seiten 100-112 Link Publikation -
2020
Titel Monitoring Behavioral Compliance with Architectural Patterns based on Complex Event Processing DOI 10.5281/zenodo.3693730 Typ Other Autor Breitenbücher U Link Publikation -
2020
Titel Monitoring Behavioral Compliance with Architectural Patterns based on Complex Event Processing DOI 10.5281/zenodo.3693731 Typ Other Autor Breitenbücher U Link Publikation -
2020
Titel Impact of Service- and Cloud-Based Dynamic Routing Architectures on System Reliability DOI 10.1007/978-3-030-65310-1_13 Typ Book Chapter Autor Amiri A Verlag Springer Nature Seiten 165-174 -
2021
Titel Modeling and Empirical Validation of Reliability and Performance Trade-Offs of Dynamic Routing in Service- and Cloud-Based Architectures DOI 10.1109/tsc.2021.3098178 Typ Journal Article Autor Amiri A Journal IEEE Transactions on Services Computing Seiten 3372-3386 Link Publikation -
2021
Titel Data of the Paper: Automatic Adaptation of Reliability and Performance Trade-Offs in Service- and Cloud-Based Dynamic Routing Architectures DOI 10.5281/zenodo.5655382 Typ Journal Article Autor Amiri A Link Publikation -
2021
Titel Automatic Adaptation of Reliability and Performance Trade-Offs in Service- and Cloud-Based Dynamic Routing Architectures DOI 10.5281/zenodo.7153063 Typ Conference Proceeding Abstract Autor Amiri A Link Publikation -
2017
Titel Supporting Automated Containment Checking of Software Behavioural Models Typ PhD Thesis Autor Faiz Ul Muram -
2017
Titel Towards Containment Checking of Behaviour in Architectural Patterns DOI 10.1145/3147704.3147736 Typ Conference Proceeding Abstract Autor Muram F Seiten 1-19 Link Publikation -
2017
Titel Ensuring and Assessing Architecture Conformance to Microservice Decomposition Patterns DOI 10.1007/978-3-319-69035-3_29 Typ Book Chapter Autor Zdun U Verlag Springer Nature Seiten 411-429 -
2017
Titel On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment DOI 10.1109/icsa.2017.10 Typ Conference Proceeding Abstract Autor Czepa C Seiten 155-164 Link Publikation
-
2018
Link
Titel Modeling Compliance Specifications In Linear Temporal Logic, Event Processing Language And Property Specification Patterns DOI 10.5281/zenodo.1246561 Typ Database/Collection of data Öffentlich zugänglich Link Link -
2018
Link
Titel On The Understandability Of Graphical And Textual Pattern-Based Behavioral Constraint Representations DOI 10.5281/zenodo.1209839 Typ Database/Collection of data Öffentlich zugänglich Link Link -
2017
Link
Titel On The Understandability Of Temporal Properties Formalized In Linear Temporal Logic, Property Specification Patterns And Event Processing Language DOI 10.5281/zenodo.891007 Typ Database/Collection of data Öffentlich zugänglich Link Link
-
2019
Titel Best Paper Award of the 13th European Conference on Software Architecture (ECSA) Typ Research prize Bekanntheitsgrad Continental/International
-
2020
Titel Analytics-centric Continuous Design of Microservice APIs Typ Other Förderbeginn 2020 -
2018
Titel FFG BRIDGE-1 Project DECO (Foundations of DevOps and Continuous Delivery for Software-Ecosystems). Typ Research grant (including intramural programme) Förderbeginn 2018 -
2020
Titel Infrastructure-as-code Architecture Decision Compliance Typ Research grant (including intramural programme) Förderbeginn 2020