Projektgruppe: Infrastruktur zur Konstruktion, Analyse und Validierung komponentenbasierter Systeme, Bereich SWT, SS 2004

Ergebnisse

Die Ergebnisse der Projektgruppe stehen unter http://www.uni-paderborn.de/cs/kindler/Forschung/ComponentTools zur Verfügung. Ein erstes öffentliches Release von Component Tools (unter GPL) wird voraussichtlich im März 2006 veröffentlicht.

Termine

Freitag 11.00 -13.00 Uhr, E3.327

Themenliste und Arbeitsplan.

Informationsveranstaltung

Am 6. Feb. 2004 um 1530 Uhr findet im Raum E3.327 eine zusätzliche Informationsveranstaltung zu dieser Projektgruppe statt. Alle Interessierten sind herzlich dazu eingeladen.

Anmeldung und Rückfragen

Interessenten melden sich bitte möglichs bald direkt beim Dozenten.

Dozent

Ekkart Kindler (mailto:kindler@uni-paderborn.de), Raum E3.167

Inhalt

Viele Produktionsanlagen sind heute aus Standardkomponenten aufgebaut, die sich auf vielfältige Weise miteinander kombinieren lassen. Die einzelnen Komponenten sind dabei oft relativ einfach; die daraus aufgebauten Produktionsanlagen können dagegen sehr komplex sein. Um die Entwicklung solcher Systeme zu unterstützen, lohnt es sich, die Komponenten präzise zu modellieren. Für eine konkrete Anlage erhält man so ein Gesamtmodell, das man im Prinzip analysieren kann und mit dessen Hilfe sich eine Steuerung für die Anlage entwickeln läßt. Das Problem besteht jedoch darin, daß in diesem Modell viele verschiedenartige Eigenschaften berücksichtigt werden müssen (dynamische, physikalische und geometrische). Das Gesamtmodell der Anlage wird deshalb sehr komplex und ist bei naiver Herangehensweise nicht mehr analysierbar. In aktuellen Forschungsarbeiten werden derzeit Techniken entwickelt, die es erlauben diese Komplexität zu beherrschen.

Im Rahmen der Projektgruppe wird ein Werkzeug entwickelt, das es erlaubt, Komponentenbibliotheken zu erstellen, und dann Anlagen aus diesen Komponentenbibliotheken zu erstellen, zu visualisieren und zu analysieren. Auf dieser Basis sollen dann die in den aktuellen Forschungsarbeiten entwickelten Techniken implementiert und experimentell überprüft werden können.

Das Werkzeug soll dabei als PlugIn für die Eclipse Plattform realisiert werden und Schnittstellen zu verschiedenen Verifikationswerkzeugen besitzen. Da das Konzept des Werkzeuges für beliebige Komponentenbibliotheken und unabhängig von konkreten Modellierungstechniken sein soll, sind bei der Realisierung viele interessante konzeptionelle Aufgaben zu lösen. Darüber hinaus müssen zur Realisierung sehr unterschiedliche Techniken eingesetzt werden, so daß die Teilnehmer Erfahrungen mit verschiedenartigen Techniken sammeln können.

Unterlagen

Die folgenden Folien und Papiere liefern etwas mehr Informationen über die Ziele und Hintergründe dieses Projekts und über die eingesetzen Techniken.
E. Kindler: DAWN for component based systems - just a different view.
In J. Desel, M. Weske (eds.): PROMISE 2002 - Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen. Potsdam, Germany, 9.-11. October 2002. Proceedings. GI-Edition, Lecture Notes in Informatics, P-21, pp. 7-13.

E. Kindler: Eine Komponententechnik für Materialflusssysteme.
Oberseminarvortrag Universität Paderborn, 15. Mai 2003.

E. Kindler, C. Páles: 3D-Visualization of Petri Net Models: A concept.
In: G. Juhas, R. Lorenz (eds.): Workshop Algorithmen und Werkzeuge für Petrinetze, Eichstätt, September 2003.

J. Greenyer: Maintaining and Using Component Libraries for the Design of Material Flow Systems: Concept and Prototypical Implementation.
Studienarbeit, Oktober 2003.

E. Kindler: Infrastruktur zur Konstruktion, Analyse und Validierung komponentenbasierter Systeme.
Projektgruppenpräsentationen, Universität Paderborn, 26. Jan. 2004.

E. Kindler: Lösung zur Aufgabe 1 der 7. Übung zur Vorlesung Modelchecking.
2. Feb. 2004. (Nur für Besucher der Vorlesung verständlich und relevant).

B. Moore, D. Dean, A. Gerber, G. Wagenknecht, P. Vanderheyden: Eclipse Development using the Graphical Editing Framework and the Eclipse Modeling Framework. IBM Redbooks, Februar 2004.