Modeling interactions of web software, Proceedings of WWV 2006, pp.45-52, 2006. ,
Deciding choreography realizability, Proceedings of POPL 2012, pp.191-202, 2012. ,
On the controlled evolution of process choreographies, Proceedings of ICDE 2006, pp.124-124, 2006. ,
Supporting the dynamic evolution of web service protocols in service-oriented architectures, ACM Trans. Web (TWEB), vol.2, issue.2, p.13, 2008. ,
Realizability and dynamic reconfiguration of chor specifications, Informatica (Slovenia), vol.35, issue.1, pp.39-49, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00538959
Counterexample guided synthesis of monitors for realizability enforcement, ATVA 2012, vol.7561, pp.238-253, 2012. ,
Automated choreography repair, FASE 2016, vol.9633, pp.13-30, 2016. ,
Introduction to Automata Theory. Languages and Computation, 1979. ,
A correct-by-construction model for asynchronously communicating systems, Int. J. Softw. Tools Technol. Transfer, vol.1, p.21, 2016. ,
Syntactic detection of process divergence and non-local choice in message sequence charts, TACAS 1997, vol.1217, pp.259-274, 1997. ,
, Modeling in Event-B: System and Software Engineering, 2010.
Rigorous Open Development Environment for Complex Systems, 2004. ,
ADLs and dynamic Architecture Changes, Proceedings of SIG-SOFT 1996 Workshops, pp.24-27, 1996. ,
, A Systematic Literature Review of Service Choreography Adaptation. SOCA, vol.7, issue.3, pp.199-216, 2013.
Alignment of choreography changes in BPEL processes, Proceedings of SCC 2009, pp.1-8, 2009. ,
Evolution of process choreographies in DYCHOR, OTM 2006, vol.4275, pp.273-290, 2006. ,
Dynamic choreographies, Coordination Models and Languages, vol.9037, pp.67-82, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01631394
Dealing with change in process choreographies: design and implementation of propagation algorithms, Inf. Syst, vol.49, pp.1-24, 2015. ,
Dynamic requirements specification for adaptable and open service-oriented systems, ICSOC 2007, vol.4749, pp.270-282, 2007. ,
Concurrent abstract state machines, Acta Informatica, pp.1-24, 2015. ,