A Survey of formalization approaches to service composition

Glaucia M.M. Campos, Nelson S. Rosa, Luis Ferreira Pires

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)


    Service-Oriented Computing (SOC) was introduced some years ago as a paradigm that allows companies to expose their core competencies as services. Yet, we can only benefit from the full potential of SOC if we explore the possibility of composing services. In practice, service composition enables the development of complex systems by combining existing services, which makes it possible to integrate business processes across different companies. Several languages have been defined to specify service compositions, such as WS- BPEL and WS-CDL. However, these languages lack formal semantics, so that they do not allow the verification of the service composition behavior by means of properties such as the absence of deadlocks and livelocks. In this paper, we present a structured survey on initiatives in which formal description techniques were applied to specify and possibly verify service compositions. As a result of this study, we identified some open challenges and some topics for future work.
    Original languageUndefined
    Title of host publicationIEEE International Conference on Services Computing, SCC 2014
    Place of PublicationUSA
    PublisherIEEE Computer Society
    Number of pages8
    ISBN (Print)978-1-4799-5065-2
    Publication statusPublished - Jun 2014
    EventIEEE 11th International Conference on Services Computing, SCC 2014 - Anchorage, United States
    Duration: 27 Jun 20142 Jul 2014

    Publication series

    PublisherIEEE Computer Society


    ConferenceIEEE 11th International Conference on Services Computing, SCC 2014
    Country/TerritoryUnited States


    • EWI-25212
    • SCS-Services
    • METIS-306083
    • IR-92341
    • Behavioral Analysis
    • Algebra
    • Petri nets
    • Automata
    • Formal Description Techniques
    • Wiring
    • Semantics
    • Service Composition
    • Service oriented computing
    • Companies

    Cite this