An Integrated Approach for Designing and Validating REST Web Service Compositions

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

An Integrated Approach for Designing and Validating REST Web Service Compositions

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

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

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äiskieli	Ei tiedossa
Otsikko	10th International Conference on Web Information Systems and Technologies
Toimittajat	Monfort, Valerie, Krempels, Karl-Heinz
Kustantaja	SCITEPRESS Science And Technology Publications
Sivut	104–115
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2014-04-03; 2014-04-05 - 10th International Conference on Web Information Systems and Technologies, Barcelona, Spain Kesto: 3 huhtik. 2014 → 5 huhtik. 2014

Konferenssi

Konferenssi	conference; 2014-04-03; 2014-04-05
Ajanjakso	03/04/14 → 05/04/14

Keywords

Model-based Testing
Rest
TRON
UPPAAL
Web services

2 Päättynyt

N4S: Need for Speed
Porres Paltor, I. (Vastuullinen tutkija), Nybom, K. (CoI), Truscan, D. (CoI), Ashraf, A. (CoI), Troubitsyna, E. (CoI), Byholm, B. (CoI), Rauf, I. M. (CoI) & Ahmad, T. (CoI)
01/01/14 → 31/12/16
Projekti: Industry/Business Finland
PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D. (Vastuullinen tutkija), Ahmad, T. (CoI), Iqbal, J. (Vastuullinen tutkija), Porres Paltor, I. (CoPI) & Siavashi, F. (CoI)
01/01/12 → 31/12/15
Projekti: Industry/Business Finland

Viittausmuodot

@inproceedings{1bdc638a37714befb4a6d78e08658d05,

title = "An Integrated Approach for Designing and Validating REST Web Service Compositions",

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 for computing coverage level during test generation. We validate our approach with a case study of a holiday booking web service.",

keywords = "Model-based Testing, Rest, TRON, UPPAAL, Web services, Model-based Testing, Rest, TRON, UPPAAL, Web services, Model-based Testing, Rest, TRON, UPPAAL, Web services",

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

note = "Paper Nr: 130; conference; 2014-04-03; 2014-04-05 ; Conference date: 03-04-2014 Through 05-04-2014",

year = "2014",

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

pages = "104{\textendash}115",

editor = "Monfort and Valerie and Krempels and Karl-Heinz",

booktitle = "10th International Conference on Web Information Systems and Technologies",

publisher = "SCITEPRESS Science And Technology Publications",

}

Rauf, I, Siavashi, F, Truscan, D & Porres Paltor, I 2014, An Integrated Approach for Designing and Validating REST Web Service Compositions. julkaisussa Monfort, Valerie, Krempels & Karl-Heinz (toim), 10th International Conference on Web Information Systems and Technologies. SCITEPRESS Science And Technology Publications, Sivut 104–115, conference; 2014-04-03; 2014-04-05, 03/04/14.

An Integrated Approach for Designing and Validating REST Web Service Compositions. / Rauf, Irum; Siavashi, Faezeh; Truscan, Dragos et al.
10th International Conference on Web Information Systems and Technologies. toim. / Monfort; Valerie; Krempels; Karl-Heinz. SCITEPRESS Science And Technology Publications, 2014. s. 104–115.

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

TY - GEN

T1 - An Integrated Approach for Designing and Validating REST Web Service Compositions

AU - Rauf, Irum

AU - Siavashi, Faezeh

AU - Truscan, Dragos

AU - Porres Paltor, Ivan

N1 - Paper Nr: 130

PY - 2014

Y1 - 2014

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

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

KW - Model-based Testing

KW - Rest

KW - TRON

KW - UPPAAL

KW - Web services

KW - Model-based Testing

KW - Rest

KW - TRON

KW - UPPAAL

KW - Web services

KW - Model-based Testing

KW - Rest

KW - TRON

KW - UPPAAL

KW - Web services

M3 - Publicerad konferensartikel

SP - 104

EP - 115

BT - 10th International Conference on Web Information Systems and Technologies

A2 - Monfort, null

A2 - Valerie, null

A2 - Krempels, null

A2 - Karl-Heinz, null

PB - SCITEPRESS Science And Technology Publications

T2 - conference; 2014-04-03; 2014-04-05

Y2 - 3 April 2014 through 5 April 2014

ER -

An Integrated Approach for Designing and Validating REST Web Service Compositions

Abstrakti

Konferenssi

Keywords

Projektit

N4S: Need for Speed

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

Viittausmuodot