An Integrated Approach for Designing and Validating REST Web Service Compositions

Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres Paltor

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    4 Sitaatiot (Scopus)

    Abstrakti

    We present an integrated approach to design and validate RESTful composite web services. We use the Unified Modeling Language (UML) to specify the requirements, behavior and published resources of each web service. In our approach, a service can invoke other services and exhibit complex and timed behavior while still complying with the REST architectural style. We show how to transform service specifications into UPPAAL timed automata for verification and test generation. The service requirements are propagated to the UPPAAL timed automata during the transformation. Their reachability is verified in UPPAAL and they are used for computing coverage level during test generation. We validate our approach with a case study of a holiday booking web service.
    AlkuperäiskieliEi tiedossa
    Otsikko10th International Conference on Web Information Systems and Technologies
    Toimittajat Monfort, Valerie, Krempels, Karl-Heinz
    KustantajaSCITEPRESS Science And Technology Publications
    Sivut104–115
    TilaJulkaistu - 2014
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2014-04-03; 2014-04-05 - 10th International Conference on Web Information Systems and Technologies, Barcelona, Spain
    Kesto: 3 huhtikuuta 20145 huhtikuuta 2014

    Konferenssi

    Konferenssiconference; 2014-04-03; 2014-04-05
    Ajanjakso03/04/1405/04/14

    Keywords

    • Model-based Testing
    • Rest
    • TRON
    • UPPAAL
    • Web services

    Viittausmuodot