Specification of the composition prototype, 2005. ,
Composition prototype, 2006. ,
Configuration based workflow composition, IEEE International Conference on Web Services (ICWS'05), pp.285-292, 2005. ,
DOI : 10.1109/ICWS.2005.38
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
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
IRS-III: A Broker for Semantic Web Services Based Applications, Proc. of the 5th International Semantic Web Conference, 2006. ,
DOI : 10.1007/11926078_15
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
Orchestration in WSMO (working version) ,
Web service modeling ontology WSMO v1.2, 2005. ,
Ontology-based choreography of wsmo services v0, 2006. ,
OWL-S: Semantic markup for web services, 2004. ,
Business process execution language for web services version 1.1, 2003. ,
Enabling Semantic Web Services. The Web Service Modeling Ontology, 2006. ,
WSMX - a semantic service-oriented architecture, IEEE International Conference on Web Services (ICWS'05), 2005. ,
DOI : 10.1109/ICWS.2005.139
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
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
Experiences with OWL-S, directions for service composition: The Cashew position, OWL: Experiences and Directions Workshop (co-located with ESWC 2005), 2005. ,
A compositional semantics for OWL-S, Proc. 2nd Intl. Workshop on Web Services and Formal Methods (WS-FM 05), number 3670, 2005. ,
Dataflow for orchestration in WSMO, 2006. ,
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
Ontology for web services choreography and orchestration, 2007. ,
From BPMN Process Models to BPEL Web Services, 2006 IEEE International Conference on Web Services (ICWS'06) ,
DOI : 10.1109/ICWS.2006.67
Ontology-based choreography of WSMO services, 2005. ,
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
Pattern-based analysis of UML activity diagrams, BETA Working Paper Series WP, vol.129, 2005. ,
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