loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Irum Rauf ; Faezeh Siavashi ; Dragos Truscan and Ivan Porres

Affiliation: Åbo Akademi University, Finland

Keyword(s): REST, Web Service Composition, Model-based Testing, UPPAAL, TRON.

Related Ontology Subjects/Areas/Topics: Internet Technology ; Restful Web Services ; Web Information Systems and Technologies ; Web Interfaces and Applications ; Web Services and Web Engineering

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.196.106.106

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Rauf, I.; Siavashi, F.; Truscan, D. and Porres, I. (2014). An Integrated Approach for Designing and Validating REST Web Service Compositions. In Proceedings of the 10th International Conference on Web Information Systems and Technologies - Volume 2: WEBIST; ISBN 978-989-758-023-9; ISSN 2184-3252, SciTePress, pages 104-115. DOI: 10.5220/0004949601040115

@conference{webist14,
author={Irum Rauf. and Faezeh Siavashi. and Dragos Truscan. and Ivan Porres.},
title={An Integrated Approach for Designing and Validating REST Web Service Compositions},
booktitle={Proceedings of the 10th International Conference on Web Information Systems and Technologies - Volume 2: WEBIST},
year={2014},
pages={104-115},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004949601040115},
isbn={978-989-758-023-9},
issn={2184-3252},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Web Information Systems and Technologies - Volume 2: WEBIST
TI - An Integrated Approach for Designing and Validating REST Web Service Compositions
SN - 978-989-758-023-9
IS - 2184-3252
AU - Rauf, I.
AU - Siavashi, F.
AU - Truscan, D.
AU - Porres, I.
PY - 2014
SP - 104
EP - 115
DO - 10.5220/0004949601040115
PB - SciTePress