Zusammenfassung

Dieser ganztägige Workshop beschäftigt sich mit den theoretischen und praktischen Konsequenzen des Ansatzes, Geschäftsinteraktionen im Rahmen der Protokoll-Theorie zu beschreiben.

Die Durchdringung moderner Unternehmen mit Software, die direkt in Geschäftsinteraktionen involviert ist, ist in den letzten Jahren enorm gewachsen.

Es ist deshalb eine naheliegende Forderung, dass die - aus unternehmerischer Sicht selbstverständliche - Ausrichtung unternehmerischen Handelns an den notwendigen Geschäftsinteraktionen, sich möglichst einfach in der Software abbilden lassen sollte, die in den Unternehmen die entsprechenden Geschäftsinteraktionen unterstützen.

Damit die Beschreibung von Geschäftsinteraktionen auch aus Applikationssicht laufzeitrelevant werden kann, ist es notwendig, diese Interaktionsbeschreibungen einer formalen Interpretation zugänglich zu machen, aus der ihre Beziehung zu berechenbaren Systemen eindeutig hervorgeht.

Von einer solchen laufzeitrelevanten Interaktionsbeschreibung sind vielversprechende Impulse hinsichtlich der Automatisierung der Implementierung von Geschäftsinteraktionen zu erwarten. Insbesondere die KMU-Unternehmen, die momentan von den immer noch zu hohen Anfangsinvestitionen in diesem Bereich abgeschreckt werden, sollten davon profitieren.

Ausgangspunkt dieses Workshops ist die Annahme, dass die Ökonomie mit ihrem spieltheoretisch fundierten Spielbegriff dieselben Interaktionen beschreibt, wie die Informatik bei ihrer Beschreibung der nichtdeterministischen Interaktion von Geschäftsprozessen. Wegen der engen formalen Beziehung von (ökonomischem) Spiel und (informatischem) Protokoll liegt es nahe, den Protokollbegriff nicht nur informell zur Illustration zu verwenden, wie dies viele heutige Ansätze tun, sondern die formale Basis für die informatische Beschreibung von Geschäftsinteraktionen in der Protokoll-Theorie zu suchen, im Sinne einer Theorie der konsistenten finiten Interaktion von (ggfs. finiten) Systemen.

1. Session 9:00 - 10:30

09:00-09:30 Padma Iyenghar: Software Qualitätssicherung für Geschäftsprozesse mit eingebetteten Systemen
09:30-10:00 Andreas Speck, Sören Witt und Sven Feja: Description of Protocol Rules
10:00-10:30 Johannes Reich: Process synthesis from multiple interaction specifications

2. Session 11:00-12:30

11:00-12:00 Peter Dadam: Prozess Management Systeme der nächsten Generation: Nur ein wenig Flexibilität wird nicht reichen (inkl. Demo)
12:00-12:30 Christian Ammann, Stephan Kleuker und Elke Pulvermüller: From Business Modeling to Verified Applications

3. Session 14:00-15:30

14:00-14:45 Lars Braubach und Alexander Pokahr: Means for Realizing Interactions
14:45-15:30 Andreas Both und Wolf Zimmermann: Robuste Komponentensysteme durch Protokollprüfung

4. Session 16:00-17:30

Diskussion zum Thema: "The description of games and protocols rests on the same system model. Both describe the interaction of these systems, each with a different goal. What are the consequences for computer science and software engineering?“

Dieser Workshop soll die Gelegenheit bieten, Wissenschaftler aus dem Bereichen der Wirtschaftsinformatik mit einem Interesse an Geschäftsinteraktionen und aus dem eher theoretisch ausgerichteten Bereich der Automaten- bzw. Protokolltheorie miteinander ins Gespräch zu bringen. Wir laden daher wissenschaftliche Beiträge ein, die die Relevanz der Protokoll-Theorie für die formale Beschreibung nichtdeterministischer Geschäftsinteraktionen in praktischer oder theoretischer Hinsicht, ggfs. in Beziehung auf die ökonomische Spieltheorie, aufzeigen.

Dauer: 1 Tag

Für die Teilnahme am Workshop ist eine Anmeldung zur INFORMATIK 2011 erforderlich.

• 08. Mai 2011: Einreichungsfrist für Beiträge
• 30. Mai 2011: Mitteilung der Akzeptanz
• 01. Juli 2011: Ablieferung der druckfertigen Versionen
• 04.-07.Oktober 2011:GI Konferenz in Berlin
• 06. Oktober 2011: Workshop

Beiträge können in deutscher oder englischer Sprache bei EasyChair eingereicht werden. Wenn Sie bei EasyChair einen neuen Beitrag anmelden, können sie als ersten Schritt den Workshop auswählen. Danach geben sie bitte alle Autor/-inn/-en, den Titel des Beitrages und die Kurzzusammenfassung an. Anschließend laden Sie Ihren Beitrag im PDF-Format hoch gemäß den Richtlinien der GI-Edition "Lecture Notes in Informatics (LNI)". Sie dürfen in dieser Formatierung einen Umfang von 15 Seiten nicht überschreiten. Genauere Informationen finden Sie auf der Seite der GI-Jahrestagung "Einreichen von Beiträgen"

Eingereichte Beiträge werden in einem Peer-Review geprüft. Akzeptierte Beiträge werden in der GI-Edition "Lecture Notes in Informatics" veröffentlicht.

Von mindestens einer Autorin oder einem Autoren wird erwartet, sich zur Tagung anzumelden und den Beitrag in Form eines Vortrags vorzustellen.

• Lars Braubach, Universität Hamburg
• Amit Chopra, University of Trento, Italy
• Bernd Finkbeiner, Universität des Saarlandes
• Hans-Jörg Kreowski, Universität Bremen
• Martin Leucker, Universität Lübeck
• Lars Mönch, Fernuniversität Hagen
• Alexander Pokahr, Universität Hamburg
• Ralf Peters, Universität Halle
• Elke Pulvermueller, Universität Osnabrück
• Johannes Reich (Co-Chair), SAP, Walldorf
• Munindar P. Singh, North Carolina State University, USA
• Stefan Sackmann, Martin-Luther-Universität Halle-Wittenberg
• Andreas Speck (Co-Chair), Christian-Albrechts-Universität zu Kiel
• Herwig Unger, Fernuniversität Hagen

• "Spiele, Geschäftsprozesse und Interaktionsmodelle" der 39. GI-Jahrestagung 2009 in Lübeck
• PMBI2010 der 40. GI Jahrestagung 2010 in Leipzig