EPK-Visualisierung von BPEL4WS Prozessdefinitionen

Jan Mendling

Abt. für WI und Neue Medien, WU Wien

Jörg Ziemann

Institut für WI, Universität des Saarlandes

02. Mai 2005 - WSR Workshop Bad HonnefFolie 2

Agenda

1. Motivation

2. Ereignis-gesteuerte Prozessketten (EPK)

3. Abbildung von BPEL zu EPML

4. Implementierung

5. Ausblick

02. Mai 2005 - WSR Workshop Bad HonnefFolie 3

Szenario

Beratung

Kunde

Simulation

Workflow

02. Mai 2005 - WSR Workshop Bad HonnefFolie 4

Betriebswirte versus Techniker

• Betriebswirtschaftliche Prozessmodelle

• Betriebswirtschaftliche Aktivitäten

• Organisationseinheiten und Informationssysteme

• Graphische EPK-Notation

• Technische Prozessmodelle

• (Entfernte) Funktionsaufrufe

• Beteiligte Systeme

• Textbasierte Beschreibung mit BPEL4WS

02. Mai 2005 - WSR Workshop Bad HonnefFolie 5

Business Process Lifecycle

Process Metrics

other reportingpurposes

ProcessImplementation

ProcessDesign

Process Enactment

Process Evaluation

Process Models

Impl

emen

ted

Pro

cess

es

Mea

sure

s fo

r Im

pro

vem

ent

Process Metrics

Mea

sure

-men

ts

Process Monitoring

Animation,Simulation

Metrics,Targets

Goals,Evironmental

Analysis,Organizational

Analysis

Tar

get

Va

lue

s

M. zur Muehlen: Workflow-based Process Controlling, 2004

Freigabe von

Betriebswirt

Analyse durch

Betriebswirt

02. Mai 2005 - WSR Workshop Bad HonnefFolie 6

Transformation von BPEL zu EPML

• Visualisierung des BPEL-Prozessverhaltens

• Bei Freigaben der BPEL-Prozessmodelle

• Bei Prozess-Evaluation

02. Mai 2005 - WSR Workshop Bad HonnefFolie 7

EPKs

Event

Function

Process Interface

Connectors

Control Flow Arc

EPC Symbols

Participant

Application

Data

Relation

Start

List requirements

Requirementsverified

Specification

Specificationverified

Additional Requirements

found

Design

Designverified

New Design Aspect

found

Implementation

Implementationtested

New Implementation

aspect found

Integration

Integrationtested

New Integration

aspect found

Start

InterviewPotential

User

Requirementsverified

FurtherInterviews

needed

Analyst

Minute

Waterfall Model EPC List Requirements EPC

02. Mai 2005 - WSR Workshop Bad HonnefFolie 8

Abbildung von BPEL zu EPKs

• Prinzipien

• Syntaktisch korrekte EPKs erzeugen

• BPEL-Kontrollfluss mit EPK-Kontrollfluss darstellen

• Keine EPK-Symbole hinzufügen

02. Mai 2005 - WSR Workshop Bad HonnefFolie 9

Basic Activities (mit Web Services)

Receive<Operation>

MessageReceived

PartnerLink,PortType

VariableInvoke

<Operation>

<Operation>invoked

PartnerLink,PortType

Invoke<Operation>

<Operation>executed

PartnerLink,PortType

Output VariableReply

<Operation>

Messagereplied

PartnerLink,PortType

Variable

Previousaction ended

PreviousAction ended

PreviousAction ended

PreviousAction endedInput Variable

Input Variable

Following construct

Following construct

Following construct

Following Construct

Synchr. Invoke Asynchr. Invoke Receive Reply

02. Mai 2005 - WSR Workshop Bad HonnefFolie 10

Weitere Basic Activities

Waitedfor/until

PreviousAction ended

Wait

Assignementfinished

PreviousAction ended

Following Construct

Assign

PreviousAction ended

END

Terminate all activities

Duration/Deadline

To-Variable

From-Variable

Following Construct

Throw<FaultName>

scope<name>ended

scope <name><FaultVariable>

PreviousAction ended

Following Construct

Signal given

PreviousAction ended

Following Construct

Signal to compensate

branch <name>

Wait Terminate Assign Throw Compensate

02. Mai 2005 - WSR Workshop Bad HonnefFolie 11

Structured Activities: Switch + While

CheckCondition 1

Condition 1TRUE

PreviousAction ended

Following Construct

CheckCondition 2

Condition 1FALSE

Condition 2TRUE

OTHERWISE

Case 1

Case 2 Otherwise

CheckCondition

Conditionfulfilled

Conditionno longerfulfilled

PreviousAction ended

Following Construct

RepetitiveActivity

Switch

While

02. Mai 2005 - WSR Workshop Bad HonnefFolie 12

Structured Activities: Pick + Sequence

OnMessage OnAlarm

Wait for events

PreviousAction ended

Following Construct

PartnerLink,PortType,Operation

Variable

Duration orDeadline

Case 1done

Case 2done

Case 1 Case 2

Pick

PreviousAction ended

Following Construct

Activity 1finished

Activity 1

Activity 2finished

Activity 2

Sequence

02. Mai 2005 - WSR Workshop Bad HonnefFolie 13

Structured Activities: Flow

Sourceactivity

Sourceactivityfinished

Target

Targetfinished

PreviousAction ended

Following Construct

Evaluate <Transition Condition>

TransitionCondition

TRUE

TransitionConditionFALSE

Case 3 finished

Case 1finished

Case 2finished

Case 1PartialCase 2

PartialCase 3

02. Mai 2005 - WSR Workshop Bad HonnefFolie 14

Handlers: Beispiel Faulthandler

CheckFaultsIn branch <name>

Fault Received

Dispatch Fault

Fault<FaultName>

occurred

UnspecifiedFault

occurred

Following Construct

Faulthandled

Faulthandled

branch<name>ended

FaultnameFaultData

No FaultsReceived

Check if end of branch<name>

branch <name>still active

branch<name>ended

Fault<FaultVariable>

occurred

Faulthandled

PreviousAction ended

branch<name>

Handler for <Fault-

Variable>

Handler for <Fault-Name>

CatchAllFault-

Handler

Fault Handler

02. Mai 2005 - WSR Workshop Bad HonnefFolie 15

Transformationsprogramm

• Hierarchisches Durchlaufen der BPEL-Activities

• Anforderungen:

• Generiere EPK-Blöcke inklusive IDs:

mit nextId-Instanzvariable

• Definiere Kanten zwischen den Blöcken:

Übergeordnete Activity definiert enterId und endId

• Syntaktische Richtigkeit der EPKs:

Bereinigungsoperationen bspw. um Ereignisse zu

verschieben

02. Mai 2005 - WSR Workshop Bad HonnefFolie 16

Ausblick

• Visualisierung von BPEL-Prozessen als EPK

• BPEL-Activities zu EPK-Blöcken

• BPEL2EPML als Vorbereitung zu EPML2BPEL