KIT | KIT-Bibliothek | Impressum | Datenschutz

Domain-specific Language for Data-driven Design Time Analyses and Result Mappings for Logic Programs

Hahner, Sebastian ORCID iD icon

Abstract:

In der vernetzten Welt von Heute ist der Austausch von Daten für viele Anwendungen unerlässlich. Mit der zunehmenden Vernetzung und dem wachsenden Datenaufkommen wird die Gewährleistung von Sicherheit, Datenschutz und die Einhaltung rechtlicher Vorgaben immer wichtiger. Um diesen Anforderungen frühzeitig gerecht zu werden, können Datenflussanalysen zur Entwurfszeit eingesetzt werden. Durch explizite Modellierung der Daten und ihrer Eigenschaften kann das Architekturmodell automatisch gegen Datenflussbeschränkungen getestet werden. Diese Verifikationsansätze transformieren die modellierte Architektur in ihnen zugrunde liegende Formalismen wie z.B. ... mehr

Abstract (englisch):

In today’s connected world, exchanging data is essential to many business applications. With the increase in connectedness and the growing volume of data, ensuring security, privacy and conformance to legal restrictions becomes increasingly critical. In order to cope with these requirements early, design time data flow analyses have been proposed. By explicitly modeling data and their characteristics, the architectural model can be automatically tested against formulated data flow constraints. These verification approaches transform the modeled architecture into underlying formalisms such as logic programs. ... mehr


Volltext §
DOI: 10.5445/IR/1000123271
Veröffentlicht am 03.09.2020
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Publikationsdatum 17.08.2020
Sprache Englisch
Identifikator KITopen-ID: 1000123271
Verlag Karlsruher Institut für Technologie (KIT)
Umfang XIV, 138 S.
Art der Arbeit Abschlussarbeit - Master
Prüfungsdaten 17.08.2020
Relationen in KITopen
Referent/Betreuer Seifermann, S.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page