Modellierung 2016
Veranstaltungsort
Karlsruher Institut of Technologie - Campus SouthKaiserstraße 12
76131 Karlsruhe
Beschreibung
Modelle stellen eines der wichtigsten Hilfsmittel zur Beherrschung komplexer Systeme dar. Die Themenbereiche der Entwicklung, Nutzung, Kommunikation und Verarbeitung von Modellen sind so vielfältig wie die Informatik mit all ihren Anwendungen.
Die Fachtagung „Modellierung“ wird vom Querschnittsfachausschuss Modellierung der Gesellschaft für Informatik e.V. seit 1998 durchgeführt und hat sich als einschlägiges Forum für Grundlagen, Methoden, Techniken, Werkzeuge sowie Domänen und Anwendungen der Modellierung etabliert. Die „Modellierung“ führt Teilnehmerinnen und Teilnehmer aus allen Bereichen der Informatik sowie aus Wissenschaft und Praxis zusammen. Die Tagung zeichnet sich traditionell durch lebendige und fachgebietsübergreifende Diskussionen und engagierte Rückmeldungen aus, weshalb sie gerade auch für Nachwuchswissenschaftlerinnen und Nachwuchswissenschaftler interessant ist.
Programm
Mittwoch, 2. März 2016
Zeit | Workshops | Tutorien |
---|---|---|
08:00 | Registrierung Foyer Gebäude 11.40 | |
09:00–10:30 | siehe Workshops | siehe Tutorien |
10:30–11:00 | Kaffeepause | Kaffeepause |
11:00–12:30 | ||
12:30–14:00 | Mittagspause | Mittagspause |
14:00–15:30 | ||
15:30–16:00 | Kaffeepause | Kaffeepause |
16:00–17:30 | ||
abends | kein offzielles Programm; zur individuellen Planung siehe Liste von Gaststätten |
Donnerstag, 3. März 2016
Zeit | wiss. Programm | Werkzeugpräsentation | InformatiCup |
---|---|---|---|
Gebäude 11.40, Tulla-Hörsaal | |||
08:00 | Registrierung | ||
09:00 | Begrüßung | ||
09:15 | Eingeladener Vortrag: Gerti Kappel, Technische Universität Wien | ||
10:00–10:30 | Kaffeepause | Kaffeepause | Kaffeepause |
10:30–12:00 | Modellbildung | ||
Matthias Frank, Stefan Zander: Pushing the CIDOC-Conceptual Reference Model towards LOD by Open Annotations | |||
Nebras Nassar, Thorsten Arendt, Gabriele Taentzer: Deducing Model Metrics from Meta Models | |||
Anna Vasileva and Doris Schmedding: Vom Clean Model zum Clean Code | |||
12:00–13:30 | Mittagspause | Mittagspause | Mittagspause |
13:30–15:00 | Modellierungssprachen | siehe Werkzeugpräsentation | siehe InformatiCup |
Dennis M. Riehle, Sven Jannaber, Arne Karhof, Oliver Thomas, Patrick Delfmann, Jörg Becker: On the de-facto Standard of Event-driven Process Chains: How EPC is defined in Literature | |||
Arne Karhof, Sven Jannaber, Dennis M. Riehle, Oliver Thomas, Patrick Delfmann, Jörg Becker: On the de-facto Standard of Event-driven Process Chains: Reviewing EPC Implementations in Process Modelling Tools | |||
Dimitri Plotnikov, Inga Blundell, Tammo Ippen, Jochen Martin Eppler, Abigail Morrison, Bernhard Rumpe: NESTML: a modeling language for spiking neurons | |||
15:00–15:30 | Kaffeepause | Kaffeepause | Kaffeepause |
15:30–17:00 | Modelltransformationen (Kurzbeiträge) | ||
Vincent Bertram, Peter Manhart, Dimitri Plotnikov, Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern: Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models | |||
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille: Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models | |||
Georg Hinkel and Thomas Goldschmidt: Tool Support for Model Transformations: On Solutions using Internal Languages | |||
Pedram Mir Seyed Nazari, Alexander Roth, Bernhard Rumpe: An Extended Symbol Table Infrastructure to Manage the Composition of Output-Specific Generator Information | |||
19:00 | Festabend Schloss Karlsruhe | Preisverleihung InformatiCup |
Freitag, 4. März 2016
Zeit | wiss. Programm | Praxisforum |
---|---|---|
09:15–10:00 | Eingeladener Vortrag Thomas Karle, PROMATIS software GmbH: »Modellierung als Schlüssel zum Erfolg bei Business-Transformationen« | |
10:00–10:30 | Kaffeepause | Kaffeepause |
10:30–12:00 | Modellierungstechniken | Beginn Praxisforum |
Timo Greifenberg, Klaus Müller, Alexander Roth, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann: Variability in Template-based Code Generators for Product Line Engineering | ||
Christoph Seidl, Tim Winkelmann, Ina Schaefer: A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages | ||
Stefan Gabriel, Christian Janiesch: Konzeptionelle Modellierung ausführbarer Event Processing Networks für das Event-driven Business Process Management (Kurzbeitrag) | ||
Stefan Berner: BPM considered harmful (Kurzbeitrag) | ||
12:00–13:30 | Mittagspause | Mittagspause |
13:30–15:00 | Modellbasiertes Testen und Modellvalidierung | |
Sebastian Fiss, Max E. Kramer, Michael Langhammer: Automatically Binding Variables of Invariants to Violating Elements in an OCL-Aligned XBase-Language | ||
Martin Gogolla, Frank Hilken: Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool | ||
Carsten Kolassa, Markus Look, Klaus Müller, Alexander Roth, Dirk Reiß, Bernhard Rumpe: TUnit - Unit Testing For Template-based Code Generators | ||
15:00 | Ende |