Themen

Unter anderem werden die folgenden Themen durch die Tagung abgedeckt:

• Formale Grundlagen der Modellbildung
• (Domänenspezifische) Modellierungssprachen und ihre Semantik
• Logik-basierte Modelle
• Ontologien in der Modellierung
• Modelltransformation
• Modellintegration
• Modellevolution
• Komplexitätsreduktion und Skalierbarkeit
• Muster in der Modellbildung
• Modellqualität
• Modellverifikation und -validierung
• Sicherung der Modellkonsistenz
• (Nicht-)Ausführbarkeit von Modellen
• Integration/Interoperabilität verschiedener Modellierungsbereiche

• Standardisierung
• Model Engineering
• Model-Driven Architecture
• Model-Driven Development
• Ganzheitliche Modellentwicklung
• Business/Domän-Alignment
• Management und Qualitätssicherung von und mit Modellen
• Requirements Traceability
• Modellierung zur Verhaltensverifikation
• Aspektorientierte Modellierung
• Modell-basiertes Testen
• Modelle zur Laufzeit
• Model-Repositories
• Modelle zur Kommunikation

• Referenzmodelle für spezielle Anwendungsbereiche
• Integration von Unternehmensanwendungen
• Geschäftsprozessmodellierung
• Anforderungsmodellierung
• Benutzermodellierung
• Modellierung sicherheitskritischer Systeme
• Modellierung eingebetteter Systeme
• Modellierung verteilter Handels- oder Planungssysteme
• Modellierung in der Informationstechnik
• Modellbildung in den Grundlagen und im Wissenstransfer