Diagnostic model-checking for real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
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
Automatic verification of the TLS handshake protocol
Proceedings of the 2004 ACM symposium on Applied computing
Notations for the Specification and Verification of Composite Web Services
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Proceedings of the 2005 ACM symposium on Applied computing
Asynchronous Timed Web Service-Aware Choreography Analysis
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Hi-index | 0.00 |
In this paper we show how we can use formal methods for describing and analyzing the behavior of Web Services, and more specifically those including time restrictions. Then, our starting point are Web Services descriptions written in WSCI - WSCDL (XML-based description languages). These descriptions are then translated into timed automata, and then, we use a well known tool that supports this formalism (UPPAAL) to simulate and analyze the system behavior. As illustration we take a particular case study, a travel reservation system.