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

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

4 Citeringar (Scopus)

Sammanfattning

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.

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	10th International Conference on Web Information Systems and Technologies
Redaktörer	Monfort, Valerie, Krempels, Karl-Heinz
Förlag	SCITEPRESS Science And Technology Publications
Sidor	104–115
Status	Publicerad - 2014
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 2014-04-03; 2014-04-05 - 10th International Conference on Web Information Systems and Technologies, Barcelona, Spain Varaktighet: 3 apr. 2014 → 5 apr. 2014

Konferens

Konferens	conference; 2014-04-03; 2014-04-05
Period	03/04/14 → 05/04/14

Nyckelord

Model-based Testing
Rest
TRON
UPPAAL
Web services

N4S: Need for Speed
Porres Paltor, I. (Ansvarig forskare), 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
Projekt: Företag/Business Finland
PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D. (Ansvarig forskare), Ahmad, T. (CoI), Iqbal, J. (Ansvarig forskare), Porres Paltor, I. (CoPI) & Siavashi, F. (CoI)
01/01/12 → 31/12/15
Projekt: Företag/Business Finland

Citera det här

@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–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. i Monfort, Valerie, Krempels & Karl-Heinz (red), 10th International Conference on Web Information Systems and Technologies. SCITEPRESS Science And Technology Publications, s. 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. red. / Monfort; Valerie; Krempels; Karl-Heinz. SCITEPRESS Science And Technology Publications, 2014. s. 104–115.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

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

Sammanfattning

Konferens

Nyckelord

Projekt

N4S: Need for Speed

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

Citera det här