Verification of Web Services with Timed Automata.
Gregorio DíazJuan José PardoMaría-Emilia CambroneroValentín ValeroFernando CuarteroPublished in: WWV (2005)
Keyphrases
- timed automata
- model checking
- web services
- reachability analysis
- temporal logic
- formal verification
- verification method
- service oriented
- web service composition
- theorem prover
- business processes
- neural network
- automatic discovery
- description language
- data intensive
- formal methods
- loosely coupled
- web services composition
- service selection
- colored petri nets
- web applications
- service architecture
- web service discovery
- asynchronous circuits
- composition of web services
- service discovery
- service composition
- reinforcement learning
- composite web services
- service providers
- end users
- quality of service
- service oriented architecture
- modal logic