1. Lecture Notes in Computer Science;B. Benatallah,2005
2. BPEL4WS Coalition. Business Process Execution Language for Web Services v1.1
3. Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. In: Proc. of WS-FM 2004, ENTCS, vol. 105, pp. 73–94 (2004)
4. Brogi, A., Popescu, R.: Contract-based Service Aggregation. Technical Report, University of Pisa (September 2006),
http://www.di.unipi.it/~popescu/CoSA.pdf
5. Brogi, A., Popescu, R.: Service Adaptation through Trace Inspection. In: Proc. of SOBPI 2005, pp. 44–58 (2005)