Next: , Previous: Future Work, Up: Top



Appendix A References

[ACD^+03]
Tony Andrews, Francisco Curbera, Hitesh Dholakia, Yaron Goland, Johannes Klein, Frank Leymann, Kevin Liu, Dieter Roller, Doug Smith, Satish Thatte, Ivana Trickovic, and Sanjiva Weerawarana. Business Process Execution Language for Web Services, Version 1.1. Technical report, BEA Systems, IBM, Microsoft, SAP, Siebel Systems. May 2003.
[SHS05]
Sebastian Hinz, Karsten Schmidt, and Christian Stahl. Transforming BPEL to Petri Nets. In W.M.P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Proceedings of the Third International Conference on Business Process Management (BPM 2005), pp. 220-235, Springer-Verlag (LNCS 3649), September 2005.1
[LoLA]
Karsten Schmidt: LoLA: A Low Level Analyser. Manual. 2
[Mar03]
Axel Martens. Verteilte Geschäftsprozesse – Modellierung und Verifikation mit Hilfe von Web Services (in German). PhD thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2003.
[MCK]
Javier Esparza, Claus Schröter, and Stefan Schwoon. Model-Checking Kit. 3
[MRS05]
Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. Proceedings of the 2nd South-East European Workshop on Formal Methods 2005 (SEEFM05), Ohrid, Republic of Macedonia, 2005. 4
[Sch00]
Karsten Schmidt: LoLA: A Low Level Analyser. In: Mogens Nielsen, and Dan Simpson, editors: Application and Theory of Petri Nets, 21st International Conference (ICATPN 2000), pp. 465-474, Springer-Verlag (LNCS 1825), June 2000.
[Sta05]
Christian Stahl. A Petri Net Semantics for BPEL. Informatik-Berichte 188, Humboldt-Universität zu Berlin, July 2005. 5
[Wei04]
Daniela Weinberg. Analyse der Bedienbarkeit. Diplomarbeit, Humboldt-Universität zu Berlin, October 2004. 6

Footnotes

[1] Tool available at http://www.informatik.hu-berlin.de/top/bpel2pn

[2] http://www.informatik.hu-berlin.de/top/lola/doku.ps

[3] http://www.fmi.uni-stuttgart.de/szs/tools/mckit

[4] http://www.informatik.hu-berlin.de/top/download/publications/MassutheReisigSchmidt-OGApproach.ps

[5] http://www.informatik.hu-berlin.de/Institut/struktur/systemanalyse/preprint/stahl188.pdf

[6] http://www.informatik.hu-berlin.de/top/download/publications/weinberg04.pdf