WST: a tool supporting timed composite Web Services Model transformation

Authors:
M Emilia Cambronero;Gregorio Díaz;Enrique Martínez;Valentín Valero;Llanos Tobarra
Affiliations:
Associate Professor at the University of Castilla-La Mancha, Department of Computer Science, Albacete, Spain.;Associate Professor at the University of Castilla-La Mancha, Department of Computer Science, Albacete, Spain.;PhD Student at the University of Castilla-La Mancha, Department of Computer Science, Albacete, Spain.;Full Professor at the University of Castilla-La Mancha, Department of Computer Science, Albacete, Spain.;Postdoc Researcher at the University of Castilla-La Mancha, Department of Computer Science, Albacete, Spain.
Venue:
Simulation
Year:
2012

Citing 17
Cited 1

Design and validation of computer protocols

Design and validation of computer protocols
Goal-directed requirements acquisition

6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Automata For Modeling Real-Time Systems

ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Kronos: A Model-Checking Tool for Real-Time Systems

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
A Petri net-based model for web service composition

ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Testing Commercial-off-the-shelf Components And Systems

Testing Commercial-off-the-shelf Components And Systems
LTSA-WS: a tool for model-based verification of web service compositions and choreography

Proceedings of the 28th international conference on Software engineering
UPPAAL 4.0

QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
RT-UML for modeling Real-Time Web Services

SCW '06 Proceedings of the IEEE Services Computing Workshops
Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration

ICEBE '06 Proceedings of the IEEE International Conference on e-Business Engineering
DECLARE: Full Support for Loosely-Structured Processes

EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Test and Analysis of Web Services

Test and Analysis of Web Services
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation

Simulation
Model-Checking Behavioral Specification of BPEL Applications

Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of computation orchestration via timed automata

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Analysis and verification of time requirements applied to the web services composition

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

Generating correct compositions of semantic web services with respect to temporal constraints

Proceedings of the 18th Brazilian symposium on Multimedia and the web

Quantified Score

Hi-index	0.01

Visualization

Abstract

In this paper we introduce a tool called the Web Service Translation tool (WST), which we are developing to implement a methodology for the design, validation and verification of Web Services with timed restrictions. This methodology works by making several translations, from phase to phase in the software development life cycle, where the system is represented at each phase by XML models. We use XSL Transformations (XSLT), which is a language for transforming XML documents. The purpose of these translations is to generate XML code automatically for a Web Service system and to obtain Web Services description models with Timed Automata for validating and verifying composite Web Services with time restrictions.