Service-Oriented Architecture: Concepts, Technology, and Design, 2005. ,
Coloured Petri Nets -Modelling and Validation of Concurrent Systems, 2009. ,
Workflow Patterns, Distrib. Parallel Databases, vol.26, issue.8, pp.5-51, 2003. ,
DOI : 10.1007/978-1-4899-7993-3_826-2
Workflow control-flow patterns: A revised view, Tech. Rep, 2006. ,
SOCK: A Calculus for Service Oriented Computing, ICSOC 2006, pp.327-338, 2006. ,
DOI : 10.1007/11948148_27
Executable SOAs exploiting workflow patterns, Tech. Rep ,
Web services choreography description language version 1, 2004. ,
Deadlock freedom by design: multiparty asynchronous global programming. SIGPLAN Not, pp.263-274, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909320
Deadlock freedom by construction for distributed adaptative applications, Tech. Rep ,
Service Interaction Patterns, BPM 2005, pp.302-318, 2005. ,
DOI : 10.1007/11538394_20
Composition of Petri nets models in service-oriented industrial automation, 2010 8th IEEE International Conference on Industrial Informatics, pp.578-583, 2010. ,
DOI : 10.1109/INDIN.2010.5549677
Analyzing BPEL4Chor: Verification and Participant Synthesis, WS-FM 2007, pp.46-60, 2008. ,
DOI : 10.1007/978-3-540-79230-7_4
Analysis of Web Services Composition Languages: The Case of BPEL4WS, ER 2003, pp.200-215, 2003. ,
DOI : 10.1007/978-3-540-39648-2_18
Patternbased analysis of BPML (and WSCI). FIT-TR, 2002. ,
Towards a composition-based APIaaS layer ,
URL : https://hal.archives-ouvertes.fr/hal-01090125