Résumé en anglais

Web Service is the fitted technical solution which provides the required loose coupling to achieve Service Oriented Architecture (SOA). However, there is still much to be done in order to increase flexibility and adaptability to SOA-based applications. In previous researches, we proposed approaches based on Aspect Oriented Programming (AOP) and Process Algebra (PA) to address flexibility and client generation issues in the Web Service context. In this paper, we extend our previous formalism defined for abstract BPEL processes, with three AOP constructs. The new formalism allows to specify dynamic change-prone BPEL processes. We also define the extended interaction relation which characterizes the concept of correct interaction between the adaptable BPEL process and its client. Then, we propose an algorithm to generate a client which dynamically adapt itself to the service changing.