Publikationen zum Fachbereich Interaktionsgraph

Studien- und Diplomarbeiten

• Gerrit Müller. Strukturelle Analyse von offenen Workflow-Netzen hinsichtlich Bedienbarkeit. Studienarbeit, Humboldt-Universität zu Berlin, January 2007.

• Daniela Weinberg. Analyse der Bedienbarkeit. Diplomarbeit, Humboldt-Universität zu Berlin, October 2004.

  Abstract: Das heutige Internet wächst zunehmend von einer Plattform als Informationsquelle hin zu einer Basis für die Abwicklung von Geschäftsprozessen. Zahlreiche Firmen stellen ihre Dienste bereits mit Hilfe von Web-Services zur Verfügung oder integrieren andere bereitgestellte Web-Services in ihren Geschäftsablauf. Nach Studien einiger Forschungsinstitute geht der Trend in der heutigen IT-Branche stark zum Einsatz solcher verteilter Geschäftsprozesse. Es werden Schlagworte wie out-tasking, plug-and-play und Lego-Wirtschaft geprägt. Bevor ein Geschäftsprozess in Form eines Web-Services jedoch veröffentlicht wird, sollte dieser geeignet untersucht werden. Wir werden uns in dieser Arbeit diesem Thema mit Hilfe von Petri-Netz-Modulen nähern. Sie modellieren gerade die interne Struktur von Geschäftsprozessen und ermöglichen es, den Prozess geeignet zu analysieren. Uns interessiert bei der Analyse, ob die Funktionalität, die ein Web-Service bereitstellen soll, auch wirklich genutzt werden kann. Wir sprechen in diesem Zusammenhang von Bedienbarkeit. Für die Analyse definieren wir den Interaktionsgraphen eines Workflow-Moduls, welcher die Zustände des Moduls und dessen Interaktion mit einer Umgebung veranschaulicht. Auf dieser Grundlage können wir dann eine Bedienstrategie definieren, durch die das Modul bedient werden kann. Das hei¼t, wenn eine Umgebung das Modul so bedienen kann, dass dieses ordentlich terminiert, finden wir eine Bedienstrategie in dem Interaktionsgraphen des Moduls. Darüber hinaus bieten die Graphen dem Modellierer die Möglichkeit, einen Blick auf die Abläufe seines Moduls zu werfen und genau erkennen zu können, welche Zustände des Moduls bei welcher Interaktion mit der Umgebung eingenommen werden. Auf Grundlage dieser Analyse kann der Modellierer seinen Prozess überarbeiten, anpassen etc. Um die Bedienbarkeit der Workflow-Module durch den Interaktionsgraphen zu verifizieren, reicht es aus, einen reduzierten Graphen zu konstruieren. Wir werden Reduktionsregeln definieren, die den Nachweis der Bedienbarkeit in den reduzierten Graphen erhalten. Die in dieser Arbeit entwickelten Algorithmen sind implementiert und in Wombat4ws, einem Analysewerkzeug für Web-Services, integriert worden.

  

zurück zur Übersicht