1. Übersetzung
von
Petrinetzen
in
BPEL-‐Prozesse
Fully-‐automatic
Translation
of
Open
Workflow
Net
Models
into
Simple
Abstract
BPEL
Processes
Niels
Lohmann
und
Jens
Kleine
Modellierung
2008
▪
Berlin
▪
13.
März
2008
UNIVERSITÄT ROSTOCK
2. BPEL
• Sprache
zur
Spezifikation
und
Implementierung
von
Geschäftsprozessen
mit
Webservices
• "Programmieren
im
Großen"
• Spezifikation
(abstrakte
Prozesse)
Beschreibung
von
"Business
Protocols"
Auslassen
von
internen
Details
2
3. BPEL
• Sprache
zur
Spezifikation
und
Implementierung
von
Geschäftsprozessen
mit
Webservices
• "Programmieren
im
Großen"
• Spezifikation
(abstrakte
Prozesse)
Beschreibung
von
"Business
Protocols"
Auslassen
von
internen
Details
• Implementierung
(ausführbare
Prozesse)
Verfeinerung
der
Spezifikation
breite
Werkzeugunterstützung
2
4. BPEL
zur
Modellierung?
• Grenzen
als
Modellierungs-‐/Spezifikationssprache
XML-‐basiert:
Wirklich
lesbar?
syntaktische
Einschränkungen:
Nicht
alles
erlaubt.
Erbe
der
Eltern:
Mischung
von
Konzepten
<flow>
<links>
<link
name="l1"/>
</links>
<receive
...>
<sequence>
<sources>
<source
linkName"l1"/>
</sources>
<receive
.../>
<reply
...
/> vs.
</receive>
<reply
...>
</sequence>
<targets>
<target
linkName"l1"/>
</target>
</reply>
</flow>
3
12. Übersetzung
Petrinetze
➙
BPEL
• Regelbasierter
Übersetzungsansatz
Teilnetze
werden
zusammengefasst
und
mit
BPEL-‐Code
annotiert
Endergebnis
ist
einziger
Knoten
mit
komplettem
BPEL-‐Prozess
als
Annotation
7
13. Übersetzung
Petrinetze
➙
BPEL
• Regelbasierter
Übersetzungsansatz
Teilnetze
werden
zusammengefasst
und
mit
BPEL-‐Code
annotiert
Endergebnis
ist
einziger
Knoten
mit
komplettem
BPEL-‐Prozess
als
Annotation
• Herausforderung:
BPEL
ist
blockorientiert
eine
Anfangsaktivität,
Ende
implizit
Schleifen
syntaktisch
eingeschränkt
Mehrfachausführung
nur
innerhalb
von
Schleifen
7
64. Fazit
• Verbindung
von
Petrinetzen
als
Modellierungs-‐/Spezifikationssprache
und
BPEL
als
Implementierungs-‐ Petrinetze – BPEL
sprache BPEL – Petrinetze
• Vervollständigung
des
Tools4BPEL-‐Frameworks
• Übersetzungs-‐/Analyse-‐Tools
sind
frei
verfügbar:
www.informatik.hu-‐berlin.de/top/tools4bpel
www.informatik.uni-‐rostock.de/~nl/tools
26
65. Fazit
• Verbindung
von
Petrinetzen
als
Modellierungs-‐/Spezifikationssprache
und
BPEL
als
Implementierungs-‐ Petrinetze – BPEL
sprache BPEL – Petrinetze
• Vervollständigung
des
Tools4BPEL-‐Frameworks
• Übersetzungs-‐/Analyse-‐Tools
sind
frei
verfügbar:
www.informatik.hu-‐berlin.de/top/tools4bpel
www.informatik.uni-‐rostock.de/~nl/tools
26
66. Fazit
• Verbindung
von
Petrinetzen
als
Modellierungs-‐/Spezifikationssprache
und
BPEL
als
Implementierungs-‐ Petrinetze – BPEL
sprache BPEL – Petrinetze
• Vervollständigung
des
Tools4BPEL-‐Frameworks
26
67. Fazit
• Verbindung
von
Petrinetzen
als
Modellierungs-‐/Spezifikationssprache
und
BPEL
als
Implementierungs-‐ Petrinetze – BPEL
sprache BPEL – Petrinetze
• Vervollständigung
des
Tools4BPEL-‐Frameworks
26
68. Fazit
• Verbindung
von
Petrinetzen
als
Modellierungs-‐/Spezifikationssprache
und
BPEL
als
Implementierungs-‐ Petrinetze – BPEL
sprache BPEL – Petrinetze
• Vervollständigung
des
Tools4BPEL-‐Frameworks
• Übersetzungs-‐/Analyse-‐Tools
sind
frei
verfügbar:
www.informatik.hu-‐berlin.de/top/tools4bpel
www.informatik.uni-‐rostock.de/~nl/tools
26
69. Übersetzung
von
Petrinetzen
in
BPEL-‐Prozesse
Fully-‐automatic
Translation
of
Open
Workflow
Net
Models
into
Simple
Abstract
BPEL
Processes
Niels
Lohmann
und
Jens
Kleine
Modellierung
2008
▪
Berlin
▪
13.
März
2008
UNIVERSITÄT ROSTOCK