P. Albert, C. De-sainte-marie, M. Kleiner, and L. Henocque, Specification of the composition prototype, 2005.

P. Albert, C. De-sainte-marie, M. Kleiner, and L. Henocque, Composition prototype, 2006.

P. Albert, L. Henocque, and M. Kleiner, Configuration based workflow composition, IEEE International Conference on Web Services (ICWS'05), pp.285-292, 2005.
DOI : 10.1109/ICWS.2005.38

P. Albert, L. Henocque, and M. Kleiner, A Constrained Object Model for Configuration Based Workflow Composition, Revised and Selected Papers, Business Process Management -BPM 2005 Workshops, pp.102-115, 2006.
DOI : 10.1007/11678564_10

A. Ankolekar, F. Huch, and K. Sycara, Concurrent Semantics for the Web Services Specification Language DAML-S, Proc. 5th Intl. Conf. on Coordination, 2002.
DOI : 10.1007/3-540-46000-4_5

L. Cabral, J. Domingue, S. Galizia, A. Gugliotta, B. Norton et al., IRS-III: A Broker for Semantic Web Services Based Applications, Proc. of the 5th International Semantic Web Conference, 2006.
DOI : 10.1007/11926078_15

M. Dumas and A. H. Ter-hofstede, UML Activity Diagrams as a Workflow Specification Language, Proc. 4th Intl. Conf. on the Unified Modeling Language (UML), number 2185 in LNCS, 2001.
DOI : 10.1007/3-540-45441-1_7

D. Roman, Orchestration in WSMO (working version)

D. Roman, Web service modeling ontology WSMO v1.2, 2005.

D. Roman, Ontology-based choreography of wsmo services v0, 2006.

D. Martin, OWL-S: Semantic markup for web services, 2004.

S. Thatte, Business process execution language for web services version 1.1, 2003.

D. Fensel, H. Lausen, A. Polleres, J. De-bruijn, M. Stollberg et al., Enabling Semantic Web Services. The Web Service Modeling Ontology, 2006.

A. Haller, E. Cimpian, A. Mocan, E. Oren, and C. Bussler, WSMX - a semantic service-oriented architecture, IEEE International Conference on Web Services (ICWS'05), 2005.
DOI : 10.1109/ICWS.2005.139

L. Henocque, Modeling object oriented constraint programs in z. RACSAM (Revista de la Real Academia De Ciencias serie A Mathematicas, special issue on Symbolic Computation in Logic and Artificial Intelligence, pp.127-152, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01479589

M. Hepp, F. Leymann, J. Domingue, A. Wahler, and D. Fensel, Semantic business process management: a vision towards using semantic Web services for business process management, IEEE International Conference on e-Business Engineering (ICEBE'05), pp.535-540, 2005.
DOI : 10.1109/ICEBE.2005.110

B. Norton, Experiences with OWL-S, directions for service composition: The Cashew position, OWL: Experiences and Directions Workshop (co-located with ESWC 2005), 2005.

B. Norton, S. Foster, and A. Hughes, A compositional semantics for OWL-S, Proc. 2nd Intl. Workshop on Web Services and Formal Methods (WS-FM 05), number 3670, 2005.

B. Norton and T. Haselwanter, Dataflow for orchestration in WSMO, 2006.

B. Norton, G. Lüttgen, and M. Mendler, A Compositional Semantic Theory for Synchronous Component-Based Design, 14th Intl. Conference on Concurreny Theory (CONCUR '03), number 2761 in LNCS, 2003.
DOI : 10.1007/978-3-540-45187-7_30

B. Norton, C. Pedrinaci, J. Lemcke, L. Henocque, M. Kleiner et al., Ontology for web services choreography and orchestration, 2007.

C. Ouyang, M. Dumas, A. Ter-hofstede, and W. Van-der-aalst, From BPMN Process Models to BPEL Web Services, 2006 IEEE International Conference on Web Services (ICWS'06)
DOI : 10.1109/ICWS.2006.67

M. Stollberg and D. Fensel, Ontology-based choreography of WSMO services, 2005.

W. M. Van-der-aalst, Formalization and verification of event-driven process chains, Information and Software Technology, vol.41, issue.10, pp.636-650, 1999.
DOI : 10.1016/S0950-5849(99)00016-6

P. Wohed, W. M. Van-der-aalst, M. Dumas, A. H. Ter-hofstede, and N. , Pattern-based analysis of UML activity diagrams, BETA Working Paper Series WP, vol.129, 2005.

P. Wohed, M. P. Wil, M. Van-der-aalst, A. H. Dumas, N. Ter-hofstede et al., Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams, Proceedings of Conceptual Modeling -ER 2005, 24th International Conference on Conceptual Modeling, pp.63-78, 2005.
DOI : 10.1007/11568322_5