Institutsseminar/2017-10-20: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Termin | {{Termin | ||
|datum=2017/10/20 11:30:00 | |datum=2017/10/20 11:30:00 | ||
|raum=Raum | |raum=Raum 333 (Gebäude 50.34) | ||
}} | }} | ||
Version vom 5. Oktober 2017, 11:27 Uhr
| Datum | Freitag, 20. Oktober 2017 | |
|---|---|---|
| Uhrzeit | 11:30 – 12:45 Uhr (Dauer: 75 min) | |
| Ort | Raum 333 (Gebäude 50.34) | |
| Webkonferenz | ||
| Vorheriger Termin | Mi 18. Oktober 2017 | |
| Nächster Termin | Fr 27. Oktober 2017 |
Termin in Kalender importieren: iCal (Download)
Vorträge
| Vortragende(r) | Patrick Stöckle |
|---|---|
| Titel | Merging and Versioning in a Multi-Modeling Environment |
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Heiko Klare |
| Vortragssprache | |
| 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 |
| Vortragssprache | |
| 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