Institutsseminar/2017-10-20

Aus IPD-Institutsseminar
Version vom 7. August 2017, 15:24 Uhr von Erik Burger (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Termin |datum=2017/10/20 |raum=Raum 348 (Gebäude 50.34) }}“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen
Termin (Alle Termine)
Datum Fr 20. Oktober 2017, 11:30 Uhr
Dauer 75 min
Ort Raum 348 (Gebäude 50.34)
Webkonferenz
Vorheriger Termin Mi 18. Oktober 2017
Nächster Termin Fr 20. Oktober 2017

Vorträge

Vortragende(r) Patrick Stöckle
Titel Merging and Versioning in a Multi-Modeling Environment
Vortragstyp Masterarbeit
Betreuer(in) Heiko Klare
Vortragsmodus
Kurzfassung In Model-Driven software development, a complex system is often modeled in different, specialized models.

To keep consistency, VITRUVIUS provides a mechanism to define consistency preserving actions for different models. Furthermore, versioning is an important task at developing software. There are various concepts and implementations for the versioning of models, e.g., EMFStore, but none of these are able to guarantee the cross-model consistency provided by VITRUVIUS. Thus, conflicting changes in different models may not be identified as conflicting while merging different branches. In this thesis, an approach is presented that defines a versioning system and preserves the consistency of models of the same system. The approach is based on a graph analysis of the dependency graph of the occurred changes. Besides a requirement relation the dependency graph includes a trigger relation. Afterwards, the two dependency graphs are scanned for a subgraph isomorphism. All changes outside of the isomorphism are potentially conflicting changes. At the manual change resolution, the trigger and the require relation is used to guarantee that a change is applicable and after its application all models are consistent with each other. The approach is illustrated and validated with an application, which combines component-based architectures and class diagrams.

Vortragende(r) Larissa Schmid
Titel Systematische Erfassung der Kontextannahmen für architekturelle Sicherheitsmuster
Vortragstyp Bachelorarbeit
Betreuer(in) Emre Taşpolatoğlu
Vortragsmodus
Kurzfassung Das Etablieren und Erhalten der Qualitätseigenschaft Sicherheit von Software ist eine herausfordernde Aufgabe. Sie wird oft zu spät in den Entwurf von Software miteinbezogen und nach Evolutionen und damit verbundenen Kontextänderungen kann das Sicherheitsniveau leicht signifikant sinken. Dennoch werden Änderungen dieser Art nicht explizit erfasst. In der angefertigten Arbeit wird ein systematisches Vorgehen zur Erfassung von Kontextannahmen vorgeschlagen. Zusammen mit Angriffs- und Sicherheitskatalogen sollen diese eine systematische Validierung der Sicherheit eines Systems möglich machen.
Neuen Vortrag erstellen

Hinweise