Where academic tradition
meets the exciting future

An Integrated Approach to Design and Validate REST Web Service Compositions

Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres, An Integrated Approach to Design and Validate REST Web Service Compositions. TUCS Technical Reports 1097, TUCS, 2013.

Abstract:

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 as test goals during test generation. We validate our approach with a case study of a holiday booking web service.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tRaSiTrPo13a,
  title = {An Integrated Approach to Design and Validate REST Web Service Compositions},
  author = {Rauf, Irum and Siavashi, Faezeh and Truscan, Dragos and Porres, Ivan},
  number = {1097},
  series = {TUCS Technical Reports},
  publisher = {TUCS},
  year = {2013},
  keywords = {REST, web service composition, model-based testing, UPPAAL, TRON},
  ISBN = {978-952-12-2995-4},
}

Belongs to TUCS Research Unit(s): Software Engineering Laboratory (SE Lab)

Edit publication