Scenario-based Design and Validation of REST Web Service Compositions

A3 Bokavsnitt, kapitel i forskningsböcker

Interna författare/redaktörer

Publikationens författare: Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
Redaktörer: Monfort Valérie , Krempels Karl-Heinz
Publiceringsår: 2015
Förläggare: Springer
Moderpublikationens namn: Web Information Systems and Technologies - 10th International Conference, WEBIST 2014, Barcelona, Spain, April 3-5, 2014, Revised Selected Papers
Seriens namn: Lecture Notes in Business Information Processing
Nummer i serien: 226
Artikelns första sida, sidnummer: 145
Artikelns sista sida, sidnummer: 160
ISBN: 978-3-319-27029-6
eISBN: 978-3-319-27030-2
ISSN: 1865-1348


We present an approach to design and validate RESTful composite web services based on user scenarios. 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 specify user scenarios via UML Sequence Diagrams. The service specifications are transformed 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.



Senast uppdaterad 2020-30-03 vid 09:03

Dela länk