Composition of Web Services Using Wrappers

Ali�Nasrat Haidar, Ali E. Abdallah

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Abstract

    Web services (WSs) compositions deal with specifying how to assemble a complex WS system from elementary services. These services can be provided on the Web by third parties as WSs, COTS, or bespoke components. Wrappers are becoming the norm for customising existing components in order to integrate them into larger WS systems. In many cases, using a component ?as-is? is very unlikely to occur. A component has to be customized because of, for example, incompatibilities between the interfaces of components that need to communicate with one another, need for extra security features, or, blocking unneeded functionality. This paper presents an approach for modeling several wrapping techniques that can be used for composing WS application using Hoare?s CSP process algebra.
    Original languageEnglish
    Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
    PublisherSpringer
    Pages862-865
    Number of pages4
    ISBN (Print)0302-9743
    Publication statusPublished (VoR) - 2008

    Keywords

    • Large Scale Embedded Software Systems
    • Comprehensive Architecture
    • Specification
    • Verification

    Fingerprint

    Dive into the research topics of 'Composition of Web Services Using Wrappers'. Together they form a unique fingerprint.

    Cite this