Institutsseminar/2020-07-24 SDQ: Unterschied zwischen den Versionen

Aus SDQ-Institutsseminar
KKeine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
 
Zeile 1: Zeile 1:
{{Termin
{{Termin
|datum=2020/07/24 14:00:00
|datum=2020/07/24 14:00:00
|raum=https://sdqweb.ipd.kit.edu/wiki/Institutsseminar/Microsoft_Teams
|online=https://sdqweb.ipd.kit.edu/wiki/Institutsseminar/Microsoft_Teams
}}
}}
Teilnahme von Prof. Reussner am 16.01.20 und 15.05.20 durch Sekretariat bestätigt
Teilnahme von Prof. Reussner am 16.01.20 und 15.05.20 durch Sekretariat bestätigt

Aktuelle Version vom 14. Januar 2022, 13:20 Uhr

Termin (Alle Termine)
Datum Freitag, 24. Juli 2020
Uhrzeit 14:00 – 14:45 Uhr (Dauer: 45 min)
Ort
Webkonferenz https://sdqweb.ipd.kit.edu/wiki/Institutsseminar/Microsoft Teams
Vorheriger Termin Fr 24. Juli 2020
Nächster Termin Fr 14. August 2020

Termin in Kalender importieren: iCal (Download)

Vorträge

Vortragende(r) Sebastian Hahner
Titel Domain-specific Language for Data-driven Design Time Analyses and Result Mappings for Logic Programs
Vortragstyp Masterarbeit
Betreuer(in) Stephan Seifermann
Vortragsmodus
Kurzfassung In today's connected world, exchanging data is essential to many business applications. In order to cope with security requirements early, design time data flow analyses have been proposed. These approaches transform the modeled architecture into underlying formalisms such as logic programs. Constraints that check requirements often have to be formulated in terms of the underlying formalism. This requires architects to know about the formalism, the transformed architecture and the verification environment. We aim to bridge this gap between the architectural domain and the underlying formalism. We propose a domain-specific language (DSL) which enables architects to define individual constraints in terms of the architecture. Our approach maps the constraints and results between the architectural and the formalism automatically. Our evaluation indicates good overall expressiveness, usability and space efficiency for different sized data flow restrictions.
Neuen Vortrag erstellen

Hinweise

Teilnahme von Prof. Reussner am 16.01.20 und 15.05.20 durch Sekretariat bestätigt