Archive for the 'Tools' Category

BPEL2oWFN

Published
by
Niels
on 16. Januar 2006
in BPEL and Tools
. 0 Comments

BPEL2oWFN übersetzt BPEL-Prozesse in offene Workflownetze (oWFN).

bpel2owfn.png

Ausgabeformate:

  • LoLA
  • Fiona
  • PNML

BPEL2oWFN Übersicht

Versionsgeschichte:

  • Version 1.0: 16. Januar 2006
  • Version 1.1: 24. Feburuar 2006
  • Version 1.2: 6. April 2006
  • Version 2.0.0: 20. April 2007

Links

TLDC

Published
by
Niels
on 26. Juni 2005
in Temporale Logik and Tools
. 0 Comments

TLDC berechnet die Aktionen einer TLDA-Spezifikation und konstruiert den Erreichbarkeitsgraphen.

tldc.jpg

Links