1. Curbera, F., Goland, Y., Klein, J., Leymann, F.: Business process execution language for web services. Technical report, IBM (2002), http://www.ibm.com/developerworks/library/ws-bpel/
2. Kavantzas, N., Burdett, D., Ritzinger, G.: Web services choreography description language (WS-CDL) version 1.0. Working draft, W3C (2004), http://www.w3.org/TR/2004/WD-ws-cdl-10-20040427
3. (OMG), O.M.G.: Business process modeling notation (BPMN) specification. Final adopted specification, OMG (2006), http://www.bpmn.org/Documents/OMGFinalAdoptedBPMN1-0Spec06-02-01.pdf
4. Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models. In: Information and Software Technology (IST) (2008)
5. Wong, P., Gibbons, J.: A process semantics for BPMN. Technical report, Queensland University of Technology (2007), http://www.comlab.ox.ac.uk/publications/publication454-abstract.html