Forschungsthemen
[GB] Entwurf und Umsetzung eines dynamischen, webbasierten intelligenten Entwurfsmusterkatalogs
Entwurfsmuster sind eine wichtige Möglichkeit, Softwareentwürfe wiederverwendbar aufzubereiten. Seit der Veröffentlichung des \"Design Patterns\"-Buchs der sogenannten Gang of Four hat sich eine sehr rege Forschungsgemeinschaft um dieses Thema gruppiert, die eine sehr große Anzahl von Entwurfsmustern entwickelt hat. Mehr und mehr stellt sich daher die Frage, wie Entwickler genau die Entwurfsmuster finden sollen, die sie zur Lösung ihrer konkreten Entwurfsprobleme benötigen. Bisher entwickelte Entwurfsmusterkataloge sind dabei nur eine geringe Hilfe, da sie entweder manuell durchsucht werden müssen oder nur anhand der Lösungsstruktur automatisch durchsucht werden können.
In seiner Diplomarbeit am Lehrstuhl ST hat Herr Holger Kampffmeyer einen Ansatz entwickelt, mit dem der Intent von Entwurfsmuster ontologiegestützt formal erfaßt werden kann. Dadurch ergibt sich nun die Möglichkeit, Entwurfsmusterkataloge auf Basis des Intents und damit auf Basis der zu lösenden Entwurfsprobleme zu durchsuchen. Um diese Technologie tatsächlich produktiv nutzen zu können, muß sie jedoch über den prototypischen Status eines ersten Forschungswerkzeugs hinausentwickelt werden.
Ziel des großen Belegs ist daher der Entwurf und die Umsetzung eines dynamischen, webbasierten, intelligenten Entwurfsmusterkatalogs auf Basis der Intentformalisierung von Holger Kampffmeyer. Dabei soll neben der Suche nach Entwurfsmustern auch das Einstellen und die Klassifikation neuer Entwurfsmuster möglich sein. Der entstandene Entwurfsmusterkatalog soll nach Abschluß der Arbeit nach Möglichkeit der Forschungsgemeinde sowie interessierten Softwareentwicklern öffentlich zugänglich gemacht werden.
Im Einzelnen sind dabei die folgenden Aufgaben zu lösen:
- Einarbeitung in Ontologien, datenbankgestützte Ontologiesysteme, Ontologiemanipulation (DIG-Interface) und die Arbeit von Holger Kampffmeyer.
- Entwurf eines webbasierten Entwurfsmusterkatalogs auf Basis dieser Vorarbeiten. Der Katalog soll dabei so entworfen werden, daß später auch andere Formalisierungsansätze (beispielsweise Formalisierungen der Lösungsstruktur) sowohl auf Basis von Ontologien als auch auf anderer formaler Grundlage eingebunden werden können.
- Implementierung des entworfenen Systems.
Interessante initiale Quellen:
http://pellet.owldl.com/papers/halaschek06description.pdf http://jena.sourceforge.net/ - Holger Kampffmeyer: Formalisierung von Entwurfsmustern mit Hilfe von Ontologien. Diplomarbeit. Technische Universität Dresden, 2007.
Betreuer: Steffen Zschaler