Spécification Formelle des Services Web à Interface Flexible

Thèse de Doctorat de l¿année 2015 dans le domaine Informatique - Internet, Nouvelles Technologies, , langue: Français, résumé: The service oriented computing is emerging as a new model for automating the interactions among distributed and heterogeneous applications. The reuse of Web services in contexts for which they were not originally designed raises heterogeneities among the involved components in the Web service composition. These heterogeneities may occur at different levels: structural, behavioral, semantic, and even quality of service.

To ensure the correct interaction among Web services, an adaptation mechanism should be considered. The aim of this thesis is to provide a flexible approach for service composition which deals with Web service heterogeneities and that ensures proper interaction and correct working among them. We specify formally the flexible Web service composition using the rewriting logic-based language Maude. We show how to adapt the interfaces of existing web services without having to operate on the source manually. As a result, existing Web services may be easily reused in a broader range of applications, and services libraries do not need to store many variants of a component that differ only in how the interfaces are used.

Keywords : Web service, Formal specification, Maude, Adaptation, Web service composition.