1. Ameller, D., 2009. Considering Non-functional Requirements in Model-Driven Engineering, Master Thesis, Universitat Politecnica de Catalunya, Departament de Llenguatges i Sistemes Informatics.
2. Arkin, A., 2002. Business Process Modeling Language (BPML), Tech. rep., Business Process Management Initiative (BPMI).
3. Precise Semantics of EMF Model Transformations by Graph Transformation;Biermann,2008
4. The Petri net markup language: concepts technology, and tools;Billington,2003
5. BPEL 2.0 Specification – OASIS, 2011. Available from: http://docs.oasis-open.org/wsbpel/.