Eine Methode zur formalen Spezifikation und Umsetzung von Bezeichnungskonventionen für fachkonzeptionelle Informationsmodelle

Abstract

Bei der verteilten Erstellung von fachkonzeptionellen Informationsmodellen können, insbesondere aufgrund der Subjektivierung, beim Vergleich und der anschließenden Zusammenführung von Teilmodellen eine Reihe von Vergleichskonflikten (z. B. Namens-, Detaillierungs- oder Typkonflikte) auftreten, deren Auflösung Gegenstand zahlreicher methodischer Arbeiten ist. Diese betrachten jedoch ausschließlich die Problembehandlung zur Zeit der Konsolidierung. In diesem Artikel wird eine Methode vorgestellt, die Probleme, welche bei der nachträglichen Auflösung von Namenskonflikten aufgrund semantischer Diversitäten auftreten, bereits während der Modellierung verhindert. Die Methode ist generisch und somit für jede Modellierungstechnik und jede natürliche Sprache anwendbar.