Projekt

Entwicklung verteilter Software mit Objekt-Koordinations-Netzen

Obwohl die Komplexität und Bedeutung verteilter Anwendungen adhoc-Lösungen verbietet, gibt es noch keine allgemein akzeptierte Methodik, wie solche Systeme unter Einhaltung hoher Qualitätsstandards an Korrektheit und Ausfallsicherheit zu entwickeln sind. Der hier vorgeschlagene Ansatz zur Kombination objektorientierter Analyse- und Design-Methoden unter Nutzung der UML mit einer auf Petri-Netzen basierenden Beschreibungsmethodik für Schnittstellen und Systemdynamik versucht die Nachteile objektorientierter Techniken in Hinsicht auf Verhaltensbeschreibungen und Präzision auszugleichen ohne ihre weite Akzeptanz zu verlieren.
Im Rahmen des langfristig angelegten Projektes werden

geeignete Beschreibungsformalismen definiert und erprobt, die verständlich und formal analysierbar sind,
Werkzeuge zur Beschreibung und Analyse von (insbesondere verteilten) SW-Designs entwickelt, und
Frameworks zur möglichst automatisierten Generierung von korrekten Code-Skeletten für verschiedene Middleware-Plattformen realisiert,
die Anwendbarkeit bzw. Weiterentwicklung der Methodik auf verwandte Gebiete, wie z.B. Business-Process- und Workflow-Modeling, anhand von Fallstudien untersucht.

Bisher wurde ein als UML-Profil in UML-Designs integrierter Beschreibungsformalismus, sog. Object Coordination Nets, entwickelt, ein entsprechendes Werkzeug für OCoN-Beschreibungen auf der Grundlage von mit Rational Rose beschriebenen UML-Designs entwickelt und ein erstes Analysewerkzeug in Form eines umfassenden Simulators fertiggestellt.

Projektleitung:
Prof. Dr. rer. nat. Guido Wirtz

Beteiligte:
Holger Giese

Stichwörter:
high-level Petri-Nets, Program Design, state-based services, OCoNs

Beginn: 1.1.1997

Kontakt:
Wirtz, Guido
Telefon 0951 863-2810, Fax 0951 863 5528, E-Mail: guido.wirtz@uni-bamberg.de

Publikationen

Giese, H. ; Graf, J. ; Wirtz, Guido: Object Coordination Nets (1.0) – A Formalism to Describe Parallel and Distributed Methods . In: Technical Report, Universität Münster, Institut für Informatik, April 1997 (1997)

Wirtz, Guido ; Graf, J. ; Griese, H.: Ruling the Behaviour of Distributed Software Components . In: PDPTA-97 (Veranst.) : Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA-97 Las Vegas 30.06.-03.07.1997). xxx : CSREA Press, 1997, S. XXX.

Giese, H. ; Graf, J. ; Wirtz, Guido: Kontraktbasierte Modellierung verteilter Softwaresysteme .Vortrag: 5. Fachgruppentreffen der GI-Fachgruppe 2.1.9 Objektorientierte Software-, Arabella-Hotel, München, 02.1998

Giese, H. ; Graf, J. ; Wirtz, Guido: Modeling Distributed Software Systems with Object Coordination Nets . In: PDSE-98 (Veranst.) : Proc. Int. Symp. Software Engineering for Parallel and Distributed Systems, (PDSE-98 Kyoto (Japan) April 1998). xxx : IEEE Press, 1998, S. xxx.

Wirtz, Guido ; Giese, H. ; Graf, J.: A Real Object-Oriented Visual Design Language for Distributed Software Systems . In: Technical Report, Universität Münster, Institut für Informatik (1999), Nr. 06/99-I

Giese, H. ; Graf, J. ; Wirtz, Guido: Closing the Gap Between Object-Oriented Modeling of Structure and Behavior . In: UML-99 (Veranst.) : Proc. of The Second International Conference on The Unified Modeling Language (UML-99 Fort Collins, Colorado (USA) Oktober 1999). 1999, S. xxx.

Giese, H. ; Graf, J. ; Wirtz, Guido: Contract-Based Coordination of Distributed Object Systems . In: PDPTA-99 (Veranst.) : Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications, (PDPTA-99 Las Vegas (USA) Juli 1999). xxx : CSREA Press, 1999, S. xxx.

Giese, H. ; Graf, J. ; Wirtz, Guido: Verhaltensmodellierung eingebetteter Systeme mit dem OCoN-Ansatz . In: OMER - Objektorientierte Modellierung eingebetteter Realzeitsysteme, Techreport 1999-01. Workshop des AG GROOM... (1999)

Giese, H. ; Wirtz, Guido: Early Evaluation of Design Options for Distributed Systems . In: PDSE-2000 (Veranst.) : Proc. Int. Symp. Software Engineering for Parallel and Distributed Systems, (PDSE-2000 Limerick (Ireland) Juni 2000). xxx : IEEE Press 2000, 2000, S. xxx.

Wirtz, Guido ; Weske, M. ; Giese, H.: Extending UML with Workflow Modeling Capabilities . In: CoopIS-2000 (Veranst.) : Proc. 5th IFCIS Int. Conf. on Cooperative Information Systems (CoopIS-2000 Eilat (Israel) September 2000). xxx : xxx, 2000, S. xxx.

Graf, J. ; Giese, H. ; Wirtz, Guido: Modellierung verteilter Systeme nach dem OCoN/UML-Ansatz. 7. FG-Treffen der GI-FG 2.1.9, Febr. 2000 . München : München. 2000. - Interner Bericht

Wirtz, Guido ; Giese, H.: Skalierbare Beschreibung des Verhaltens verteilter Systeme . In: ITG-FBT-2000 (Veranst.) : 10. GI/ITG Fachgespräch Formale Beschreibungstechniken f¨ur Verteilte Systeme (ITG-FBT-2000 Lübeck Juni 2000). 2000, S. xxx.

Giese, H. ; Wirtz, Guido: The OCoN Approach for Object-Oriented Distributed Software Systems Modeling . In: xxx (Veranst.) : Workshop Software Engineering and Petri Nets. (21st Int. Conf. on Application and Theory of Petri Nets Aarhus (Denmark) Juni 2000). xxx : xxx, 2000, S. xxx.

Wirtz, Guido: Using a Visual Software Engineering Language for Specifying and Analysing Workflows . In: VL-2000 (Veranst.) : Proc. IEEE/CS Int. Symposium On Visual Languages, VL-2000 (VL-2000 Seattle (USA) Sept. 2000). Bd. xxx. xxx : xxx, 2000, S. xxx.

Wirtz, Guido ; Giese, H.: Using UML and Object-Coordination Nets for Workflow Specification . In: SMC-2000 (Veranst.) : Proc. IEEE/CS Int. Conference on Systems, Man and Cybernetics (SMC-2000 Nashville Oktober 2000). xxx : xxx, 2000, S. xxx.

Giese, H. ; Wirtz, Guido: Visual Modeling of Object-Oriented Distributed Systems . In: IEEE/CS VLl-2000 (Veranst.) : Workshop Visual Methods for Parallel/Distributed Programming (EEE/CS VLl-2000). xxx : xxx, 2000, S. xxx.

Wirtz, Guido: Applications of Petri Nets in Modeling Distributed Software Systems . Aarhus (Denmark) : Aarhuus. 2001 (MOCA '01, Aug. 2001). - Interner Bericht

Weske, M. ; Wirtz, Guido: Integrated Modeling of Distributed Systems and Workflow Applications . In: IEEE/CS HICSS-35 (Veranst.) : xxx (Proc. IEEE/CS HICSS-35 Software Track. Mini-Symposium: Integrated Modeling of Distributed Systems and Workflow Applications Big Island, Hawaii (USA) Januar 2002). 2001, S. xxx.

Giese, H. ; Wirtz, Guido: The OCoN Approach for Object-Oriented Distributed Software Systems Modeling . In: Int. Journal of Computer Systems Science and Engineering 16 (2001), Nr. 3

Wirtz, Guido ; Weske, M. ; Giese, H.: The OCoN Approach to Workflow Modeling in Object-Oriented Systems . In: Information Systems Frontiers 3 (2001), Nr. 3

Bruhn, Jens ; Kaffille, Sven ; Wirtz, Guido: Hierarchical Scheduling for State-Based Services . In: PDPTA 2004 (Veranst.) : Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA 2004 Las Vegas, Nevada (USA) 21.-24.06.2004). 2004, S. xxx.