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

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

4 Citations (Scopus)

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.

Original language	Undefined/Unknown
Title of host publication	10th International Conference on Web Information Systems and Technologies
Editors	Monfort, Valerie, Krempels, Karl-Heinz
Publisher	SCITEPRESS Science And Technology Publications
Pages	104–115
Publication status	Published - 2014
MoE publication type	A4 Article in a conference publication
Event	conference; 2014-04-03; 2014-04-05 - 10th International Conference on Web Information Systems and Technologies, Barcelona, Spain Duration: 3 Apr 2014 → 5 Apr 2014

Conference

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

Keywords

Model-based Testing
Rest
TRON
UPPAAL
Web services

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

Cite this

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

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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 - Konferensbidrag

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

Abstract

Conference

Keywords

Projects

N4S: Need for Speed

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

Cite this