epk-visualisierung von bpel4ws prozessdefinitionen jan mendling abt. für wi und neue medien, wu...
Post on 05-Apr-2015
105 Views
Preview:
TRANSCRIPT
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
top related