Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Spécification Formelle des Services Web à Interface Flexible

Spécification Formelle des Services Web à Interface Flexible

Oussalah, Yasser

Paperback

General Computers

ISBN10: 3668914117
ISBN13: 9783668914117
Publisher: Grin Verlag
Published: May 20 2019
Pages: 152
Weight: 0.46
Height: 0.35 Width: 5.83 Depth: 8.27
Language: French
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.

Also in

General Computers

View All