Konzepte zur formalen Spezifikation von Informationssystemen für ingenieurwissenschaftliche Anwendungen

Die Entwicklung moderner Produkte ist durch die Beteiligung von Entwicklern verschiedener Fachbereiche gekennzeichnet. Weiterhin erfolgt die Entwicklung oft verteilt über verschiedene Unternehmen. Diese Heterogenität führt unter anderem dazu, dass bei der Entwicklung unterschiedliche Methoden, Notationen und Softwarewerkzeuge angewendet werden. Speziell die Softwareunterstützung bei der Anwendung unterschiedlicher Notationen und der Erstellung von Teilspezifikationen in den frühen Phasen der Produktentwicklung ist unzureichend. Bestehende Ansätze aus den Bereichen Meta-CASE und Diagrammeditoren stellen eine geeignete Grundlage dar, sind aber nicht hinreichend, da u.a. die verteilte Entwicklung und die Integration von Modellen in unterschiedlichen Notationen nur unzureichend betrachtet werden. Im Projekt soll daher die Integration von unterschiedlichen Notationen mittels eines auf den Meta Object Facilities (MOF) basierenden Metamodells untersucht werden. Die unabhängige Spezifikation von Systemteilen soll dabei durch die Anwendung der Konzepte des in [Nus94] beschriebenen ViewPoint Framework erreicht werden. Dieses bietet weiterhin die Grundlage für die Definition von Beziehungen zwischen Teilspezifikationen und der Spezifikation von Entwicklungsprozessen. Die Hauptaufgabe besteht darin, die Konzepte innerhalb der Metamodellarchitektur umzusetzen. Dies umfasst sowohl die Definition eines Kerns sowie Konzepten für die Erweiterung, als auch die Definition von Vorgehensweisen für die Integration verschiedener Notationen. Schliesslich soll die Unterstützung dieser Vorgehensweisen durch Software untersucht werden.