Scenario-based Design and Validation of REST Web Service Compositions

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

doi:.1007/978-3-319-27030-2_10

Scenario-based Design and Validation of REST Web Service Compositions

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

Information Technology

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

Abstrakti

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.

Alkuperäiskieli	Ei tiedossa
Otsikko	Web Information Systems and Technologies - 10th International Conference, WEBIST 2014, Barcelona, Spain, April 3-5, 2014, Revised Selected Papers
Toimittajat	Monfort Valérie, Krempels Karl-Heinz
Kustantaja	Springer
Sivut	145–160
ISBN (elektroninen)	978-3-319-27030-2
ISBN (painettu)	978-3-319-27029-6
DOI - pysyväislinkit	https://doi.org/.1007/978-3-319-27030-2_10
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A3 Kirjan osa tai toinen tutkimuskirja

Keywords

Rest

Pääsy asiakirjaan

.1007/978-3-319-27030-2_10

http://www.springer.com/de/book/9783319270296?wt_mc=Banner.Banner+RTB.3.EPR653.FWDESHnti-DE-Product&token=specialS21#

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I. & Siavashi, F.
01/01/12 → 31/12/15
Projekti: Industry/Business Finland

Viittausmuodot

Rauf, I., Siavashi, F., Truscan, D., & Porres Paltor, I. (2015). Scenario-based Design and Validation of REST Web Service Compositions. teoksessa M. Valérie, & K. Karl-Heinz (Toimittajat), Web Information Systems and Technologies - 10th International Conference, WEBIST 2014, Barcelona, Spain, April 3-5, 2014, Revised Selected Papers (Sivut 145–160). Springer. https://doi.org/.1007/978-3-319-27030-2_10

@inbook{3b198a1a8a7b42a3a9c9e301f8a6e35d,

title = "Scenario-based Design and Validation of REST Web Service Compositions",

abstract = "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. ",

keywords = "Rest, Rest, Rest",

author = "Irum Rauf and Faezeh Siavashi and Dragos Truscan and {Porres Paltor}, Ivan",

year = "2015",

doi = ".1007/978-3-319-27030-2_10",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-27029-6",

pages = "145–160",

editor = "Monfort Val{\'e}rie and Krempels Karl-Heinz",

booktitle = "Web Information Systems and Technologies - 10th International Conference, WEBIST 2014, Barcelona, Spain, April 3-5, 2014, Revised Selected Papers",

publisher = "Springer",

}

Rauf, I, Siavashi, F, Truscan, D & Porres Paltor, I 2015, Scenario-based Design and Validation of REST Web Service Compositions. julkaisussa M Valérie & K Karl-Heinz (toim), Web Information Systems and Technologies - 10th International Conference, WEBIST 2014, Barcelona, Spain, April 3-5, 2014, Revised Selected Papers. Springer, Sivut 145–160. https://doi.org/.1007/978-3-319-27030-2_10

Scenario-based Design and Validation of REST Web Service Compositions. / Rauf, Irum; Siavashi, Faezeh; Truscan, Dragos et al.
Web Information Systems and Technologies - 10th International Conference, WEBIST 2014, Barcelona, Spain, April 3-5, 2014, Revised Selected Papers. toim. / Monfort Valérie; Krempels Karl-Heinz. Springer, 2015. s. 145–160.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

TY - CHAP

T1 - Scenario-based Design and Validation of REST Web Service Compositions

AU - Rauf, Irum

AU - Siavashi, Faezeh

AU - Truscan, Dragos

AU - Porres Paltor, Ivan

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Rest

U2 - .1007/978-3-319-27030-2_10

DO - .1007/978-3-319-27030-2_10

M3 - Kapitel

SN - 978-3-319-27029-6

SP - 145

EP - 160

BT - Web Information Systems and Technologies - 10th International Conference, WEBIST 2014, Barcelona, Spain, April 3-5, 2014, Revised Selected Papers

A2 - Valérie, Monfort

A2 - Karl-Heinz, Krempels

PB - Springer

ER -

Rauf I, Siavashi F, Truscan D , Porres Paltor I. Scenario-based Design and Validation of REST Web Service Compositions. julkaisussa Valérie M, Karl-Heinz K, toimittajat, Web Information Systems and Technologies - 10th International Conference, WEBIST 2014, Barcelona, Spain, April 3-5, 2014, Revised Selected Papers. Springer. 2015. s. 145–160 doi: .1007/978-3-319-27030-2_10

Scenario-based Design and Validation of REST Web Service Compositions

Abstrakti

Keywords

Pääsy asiakirjaan

Projektit

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies

Viittausmuodot