-
Modern languages for modeling and verifying asynchronous systems
The work in this thesis is at the intersection of two major research domains~: Model-Driven Engineering (MDE) and formal methods, and has various fields of... -
A component based approach for large-scale service orchestration
This thesis focuses on the distributed orchestration of services, resulting (1) from an explicit decomposition of an orchestration into sub-orchestrations, located on... -
Intergiciels et Construction d'Applications Réparties
International audience -
Business Process Flexibility in Service Composition: Experiment Using a PLM-B...
In recent years, service oriented systems that compose services in a loosely coupled manner, have emerged as a new paradigm to provide automated support for business... -
Web Services choereography: Workflows for Web Services
Support de cours. -
Online Testing Framework for Web services
International audience
