+--------------------------------------------------------------------+ | Fachtagung | | | | MODELLIERUNG 2016 | | | | 02.-04. März 2016 | | Karlsruher Institut für Technologie | +--------------------------------------------------------------------+ Aufruf zur Einreichung von Beiträgen ==================================== 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. Erbeten wird die Einreichung von Originalbeiträgen mit hoher Qualität, die sich mit Fragestellungen zu den genannten Themengebieten beschäftigen. Im Umfeld des Vortragsprogramms sind Workshops zu speziellen Themen, Tutorien, ein Doktorandinnen- und Doktorandensymposium sowie ein Praxisforum geplant. Hierfür werden ebenfalls Vorschläge erbeten. Die Tagungssprache ist primär deutsch. Gleichwohl sind Einreichungen in englischer Sprache sowie Präsentationen englischsprechender Teilnehmerinnen und Teilnehmer ebenfalls willkommen. Themen ====== Die nachfolgend genannten Themen für Beitragseinreichungen stellen Anregungen dar und sind keineswegs abschließend zu verstehen. Grundlagen ---------- * (Domänenspezifische) Modellierungssprachen und ihre Semantik * (Nicht-)Ausführbarkeit von Modellen * Formale Grundlagen der Modellbildung (Logiken, Transitionssysteme, etc.) * Integration/Interoperabilität verschiedener Modellierungsbereiche * Komplexitätsreduktion und Skalierbarkeit * Meta-Modellierung * Modellbasiertes Testen * Modellqualität * Modelltransformation, -evolution und -integration * Modellverifikation und -validierung * Muster in der Modellbildung * Ontologien in der Modellierung * Modellierung in der Lehre Methoden, Techniken und Werkzeuge --------------------------------- * Aspektorientierte Modellierung * Business/IT-Alignment * Integrierte Modellierungsmethoden * Kollaborative Modellierung * Management von Modellen * Model Engineering * Model-Driven Architecture und Model-Driven Development * Modelle zur Laufzeit * Modellierung kontextsensitiver Systeme * Modellierung von Flexibilität * Modellierungswerkzeuge für domänenspezifische Sprachen * Model-Repositories * Multi-View-Modellierung * Plattformen zur Entwicklung von Modellierungswerkzeugen Domänen und Anwendungen der Modellierung ---------------------------------------- * Anforderungsmodellierung * Benutzermodellierung * Geschäftsprozess- und Workflow-Modellierung * (Biz)DevOps * Modellierung eingebetteter Systeme * Modellierung in der Informationstechnik * Modellierung serviceorientierter IT-Systeme * Modellierung sicherheitskritischer Systeme * Modellierung verteilter betrieblicher Informationssysteme * Open Models * Referenzmodelle für spezielle Anwendungsbereiche * Unternehmensmodellierung und Unternehmensarchitekturen Termine ======= 18.10.2015 Einreichung von Beiträgen 29.11.2015 Mitteilung der Gutachten 07.12.2015 Stellungnahme der Autorinnen und Autoren 21.12.2015 Mitteilung der Annahmeentscheidung 18.01.2016 Einreichung der Endfassung der Beiträge 02.-04.03.2016 Tagung „Modellierung 2016“ Einreichungen zum Doktorandinnen- und Doktorandensymposium werden bis zum 21.12.2015 erbeten, Vorschläge für Workshops und Tutorien bis 02.10.2015 und Vorschläge für das Praxisforum bis 21.12.2015. Hierzu werden in Kürze nähere Informationen veröffentlicht (http://www.modellierung2016.org/). Beitragseinreichung und Publikation =================================== Wissenschaftliche Beiträge können als Langbeiträge (16 Seiten) oder Kurzbeiträge (8 Seiten) eingereicht werden. Die Seitengrenzen sind verbindlich und schließen Literaturverzeichnis und Anhänge mit ein. Angenommene Beiträge werden im Tagungsband publiziert, der in der GI-Reihe Lecture Notes in Informatics (LNI) erscheinen wird. Die Gestaltung der Beiträge wird durch die LNI-Richtlinien bestimmt (http://www.gi-ev.de/fileadmin/redaktion/Autorenrichtlinien/guidelines.pdf). Die Beiträge werden in einschlägigen Indizes, wie z. B. DBLP, gelistet. Autorinnen und Autoren können angenommene Beiträge in überarbeiteter Form für die Publikation in Fachzeitschriften weiterverwerten. Praxisbeiträge können als Kurzbeiträge eingereicht werden. Angenommene Beiträge werden in elektronischer Form verfügbar gemacht. Weitere Details siehe http://www.modellierung2016.org/. Alle Beiträge werden dreifach begutachtet. Die Autorinnen und Autoren haben Gelegenheit, zu den Gutachten Stellung zu nehmen, um etwaige Missverständnisse auszuräumen (Rebuttal). Tagungsort ========== Karlsruher Institut für Technologie, Kaiserstraße 12, 76131 Karlsruhe Verantwortliche =============== Tagungsleitung -------------- Andreas Oberweis (KIT/FZI) Ralf Reussner (KIT/FZI) Workshops --------- Stefanie Betz (KIT) Ulrich Reimer (FHS St. Gallen) Praxisforum ----------- Alexander Paar (TWT GmbH) Christian Stahl (TWT GmbH) Doktorandinnen- und Doktorandensymposium ---------------------------------------- Jörg Desel (Fernuniv. Hagen) Gregor Engels (Univ. Padeborn) Tutorien -------- Erik Burger (KIT) Norbert Seyff (Universität Zürich) Werkzeugpräsentation -------------------- Hans-Georg Fill (Universität Wien) Agnes Koschmider (KIT) Studierendenprogramm -------------------- Robert Heinrich (KIT) Homepage ======== http://www.modellierung2016.org