Home // ICIW 2011, The Sixth International Conference on Internet and Web Applications and Services // View article
Authors:
Jose Antonio Mateo
Valentin Valero
Enrique Martinez
Gregorio Diaz
Keywords: Web Services Resource Framework (WSRF); model checking; timed automata
Abstract:
Throughout the history of computing, engineers have used various formal methods to improve the quality of software and hardware. The next natural step is trying to exploit their advantages in the so-called new era of computing: Cloud Computing. In this paper, we present a first approximation about how to simulate and check the behaviour of these systems using timed automata through the model checking tool UPPAAL. We use Web Services Resource Framework (WSRF) as a standard intended to the modelling of distributed resources using Web services, and we apply formal techniques to WSRF specifications in order to analyse and verify these specifications.
Pages: 222 to 227
Copyright: Copyright (c) IARIA, 2011
Publication date: March 20, 2011
Published in: conference
ISSN: 2308-3972
ISBN: 978-1-61208-124-3
Location: St. Maarten, The Netherlands Antilles
Dates: from March 20, 2011 to March 25, 2011