Konferenzprogramm
Mittwoch, 19. Februar 2020
MOD-DLT: Session 1
Mittwoch, 19. Februar 2020 | 09:00 - 10:30
Homepage
Introduction to the Workshop
Towards the Process-oriented Analysis of Blockchain Data
Blockchain-based decentralized validation of tax processes
Modeling privity and enforceability requirements for BPM-based smart contracts
MOD-DLT: Session 2
Mittwoch, 19. Februar 2020 | 11:00 - 12:30
Homepage
Storing and attesting conceptual models on blockchains
Trusted artifact-driven monitoring of business processes using blockchains
Modelle in der KI: Session 1
Mittwoch, 19. Februar 2020 | 11:00 - 12:30
Homepage
Towards a Case-Based Decision Support System for Recruiting Processes using T-Shapes
Towards Enhancing of Situational Awareness for Cognitive Software Agents
Diskussion
Modelle in der KI: Session 2
Mittwoch, 19. Februar 2020 | 14:00 - 16:00
Homepage
Conceptual Modelling and Artificial Intelligence - Overview and research challenges from the perspective of predictive business process management
A Methodology for Assisting Customers Service Selection in Freight Transportation by Data Analytics
Learning of Utility Functions for the Behaviour Analysis in Maritime Surveillance Tasks
Diskussion
Modelle in der KI: Session 3
Mittwoch, 19. Februar 2020 | 16:30 - 18:30
Homepage
Prozessorientiertes Reinforcement Learning: Grafische Modellierung zur Unterstützung der Erklärbarkeit
Explainable Search of Multimodal Itineraries
Going Beyond Explainability in Medical AI Systems
Diskussion und Ausblick
MoHol: Session 1
Mittwoch, 19. Februar 2020 | 09:00 - 10:30
Homepage
Keynote - Modellieren lehren – Lehre modellieren
Learning Conceptual Modeling: Structuring Overview, Research Themes and Paths for Future Research
Hands-on Process Discovery with Python – Utilizing Jupyter Notebook for the Digital Assistance in Higher Education
MoHol: Session 2
Mittwoch, 19. Februar 2020 | 11:00 - 12:30
Homepage
Ansätze zur automatischen Generierung von Aufgaben zum Modellverstehen
Generating diverse exercise tasks on UML class and object diagrams, using formalisations in Alloy
Digitale Zwillinge modellieren und verstehen: Eine Fallstudie zum problembasierten und forschenden Lernen
MoHol: Session 3
Mittwoch, 19. Februar 2020 | 14:00 - 16:00
Homepage
Vorstellung Initiative – Workshop-Organisatoren
Was sollen Studierende modellieren? Erweiterung klassischer Prozessmodellierungsaufgaben um den Aspekt der Prozesserhebung
BPMN-Rad: Gamifizierte Anwendung zur Unterstützung der Modellierung von Geschäftsprozessen mittels der Modellierungssprache BPMN
Vorstellung Projekt KEA-Mod – Workshop-Organisatoren
Umfrage bezüglich Kompetenzorientierung und Lernzielen zum Thema Modellierung
Story Driven Modeling with the Fujaba Library
Mittwoch, 19. Februar 2020
Abstract
The FUjaba LIBrary (FULib) is a new lightweight version of the Fujaba modelling tool. The tutorial starts with the online version of FULib. We provide textual scenario descriptions like:
There are students with name Alice and Bob and with 19 credits.
We add 23 to the credits of Alice.
We expect that Alice has 42 credits.
From such a scenario description FULib derives a class diagram, the Java implementation of the corresponding classes, and a JUnit test executing the scenario. With similar scenarios, we may also describe GUI mockup scenarios and click dummies. Fulib also provides project integration via gradle and maven. The new “incremental” code generator of Fulib allows to blend generated and manual code in iterative projects.
Presenter
Albert Zündorf
Models as Programs: A Tutorial
Abstract
Models are one of the main instruments for system development in computer science and engineering. So far models have been used for system description and system prescription, i.e. essentially as a blueprint for development. Models might however become programs for themselves. This approach allows to claim that models will become the kernel element of true fifth generation programming.
Presenter
Bernhard Thalheim
Multi-level Modelling with the FMMLx and the XModelerML
Mittwoch, 19. Februar 2020
Abstract
Multilevel modelling is a new modelling paradigm that enables additional abstraction through an unlimited number of classification levels and thus contributes to reuse, integration and flexibility. The XModeler is a language engineering tool that allows for the common representation of (meta) models and code. The multi-level modelling and execution language FMMLx is implemented in the XModeler by extending its genuine meta model. This tutorial provides a comprehensive introduction into the foundations of multi-level modelling and its application. It will be shown how multi-level modelling enables relaxing fundamental conflicts of system design. During a practical exercise with the XModelerML, the participants will experience a new style of modelling that integrates language design with traditional ways of modelling.
Presenter
Tony Clark, Ulrich Frank
08:00 - 09:00
Registrierung
|
10:30 - 11:00
Kaffeepause
|
12:30 - 14:00
Mittagstisch
|
16:00 - 16:30
Kaffeepause
|
Donnerstag, 20. Februar 2020
Keynote: Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin
Komposition von Komponenten-Modellen: der Schlüssel zur Konstruktion großer Systeme
Donnerstag, 20. Februar 2020 | 09:30 - 10:30
Verfeinern und Komponieren sind fundamentale Prinzipien zur systematischen Konstruktion großer, rechnerintegrierter Systeme und Systemmodelle. Zu Fragen der Verfeinerung von Modellen wurden im Lauf der Zeit allgemeine Konzepte und Entwurfsprinzipien entwickelt. Zu Komposition von Komponenten gibt es bisher wenig Entsprechendes; stattdessen werden in der Literatur vielfältige spezielle Techniken und heterogene Kompositions-Operationen vorgeschlagen. |
Session 1: Domänenspezifische Modellierung
Donnerstag, 20. Februar 2020 | 11:00 - 12:30
Towards Aligning Business Models with Business Processes: A Tool-based Approach
Model-Based Generation of Software Configurations in Mechatronic Systems
A Domain-Specific Modeling Method for Supporting the Generation of Business Plans
Session 2: Modellkonstruktion und kollaborative Modellierung
Donnerstag, 20. Februar 2020 | 14:00 - 15:30
HCI-Patterns für kollaborative Unternehmensmodellierung am Multi-Touch-Tisch
Understanding individual processes of conceptual modeling: A multi-modal observation and data generation approach
Architektur und Entwicklung eines Modellierungswerkzeuges zur kollaborativen synchronen Konstruktion von BPMN-Modellen
Session 3: Modellierungsausbildung & Grundlagen der Modellierung
Donnerstag, 20. Februar 2020 | 16:00 - 17:30
Konstruktion eines Referenzmodells für den Wissenstransfer in und aus Hochschulverbünden
Conceptual Modelling and Humanities
Zur Modellierungsausbildung in der Informatik: Auswertung von Modellierungsaufgaben im Zeitraum 2011 bis 2019
Komposition Domänenspezifischer Sprachen unter Nutzung der MontiCore Language Workbench am Beispiel SysML 2
Abstract
In diesem Tutorial präsentieren wir die Language Workbench MontiCore. Das ca. zweistündige Tutorial teilt sich in einen Präsentations- und einen Hands On-Teil. Es wird erklärt wie DSLs und Modellierungssprachen mit MontiCore entwickelt werden können. Hierzu dienen Modellierungssprachen der SysML 2 als Beispiel. Der Fokus des Tutorials liegt auf der Entwicklung neuer Sprachen durch Komposition und Erweiterung vorhandener Sprachen und Sprachkomponenten.
Presenter
Katrin Hölldobler, Nico Jansen, Bernhard Rumpe, Andreas Wortmann
08:30 - 09:00 | Registrierung |
09:00 - 09:30 | Konferenzeröffnung |
09:30 - 10:30 |
Keynote
Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin Komposition von Komponenten-Modellen: der Schlüssel zur Konstruktion großer Systeme Hörsaal 1, 1. Untergeschoss |
10:30 - 11:00 | Kaffeepause |
11:00 - 12:30 | |
12:30 - 14:00 | Mittagstisch |
14:00 - 15:30 | |
15:30 - 16:00 | Kaffeepause |
16:00 - 17:30 | |
16:30 - 18:30 | QFAM-Sitzung |
19:00 | Gala Dinner in der Kuppelhalle des Kunsthistorischen Museums |
Freitag, 21. Februar 2020
Session 4: Modellsimulation und -verifikation
Freitag, 21. Februar 2020 | 10:30 - 12:00
Athos: An Extensible DSL for Model Driven Traffic and Transport Simulation
Modeling Low-Level Network Configurations for Analysis, Simulation and Testing
Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen
Session 5: Model-Driven Development
Freitag, 21. Februar 2020 | 13:30 - 15:00
Model-based Software Cost Estimation
Modellbasierte Methode zur Ableitung nicht-funktionaler Anforderungen im Kontext der Softwaremodernisierung
Generated Enterprise Information Systems: MDSE for Maintainable Co-Development of Frontend and Backend
Industrieforum: Session 1
Freitag, 21. Februar 2020 | 10:30 - 12:00
Digital Governance 4.0: Der „Ordentliche Kaufmann 4.0“ und sein digitalisiertes integriertes GRC-Managementsystem: „Das Richtige richtig tun“ in unsicheren Zeiten!
Die digitale Transformation ist ohne Human Workflow nicht denkbar, oder wird zur Farce
Mit Modulo und Limo von der haptischen zur digitalen Modellierung
Industrieforum: Session 2
Freitag, 21. Februar 2020 | 13:30 - 15:00
OMG's BPM+: Industriestandards zur Automatisierung von Prozessen und Entscheidungen
Domain Storytelling
Mit Storystorming visuelle Geschichten erzählen
Tools & Demos
Freitag, 21. Februar 2020 | 09:00 - 10:00
ADAMO – Echtzeit Kollaboration mit adaptiven Prozess-modellen
TOOL—Modeling Observatory & Tool: An Update
Advanced Features for Model Visualization in the UML and OCL Tool USE
CoreWEB - Semantic Expressions in Conceptual Models for Generation of Information Systems
Direwolf Model Academy: An Extensible Collaborative Modeling Framework on the Web
bee-up – A teaching tool for fundamental conceptual modelling
ProVis – Probability Visualized: Ein Modellierungswerkzeug für den Stochastikunterricht
08:30 - 09:00 | Registrierung |
09:00 - 10:00 |
Tools & Demos |
10:00 - 10:30 | Kaffeepause |
10:30 - 12:00 | |
12:00 - 13:30 | Mittagstisch |
13:30 - 15:00 | |
15:00 | Abschlusszeremonie Hörsaal 1, 1. Untergeschoss |