Validation and verification of Web services choreographies by using timed automata.
María-Emilia CambroneroGregorio DíazValentín ValeroEnrique MartínezPublished in: J. Log. Algebraic Methods Program. (2011)
Keyphrases
- timed automata
- model checking
- web services
- temporal logic
- reachability analysis
- formal verification
- verification method
- service providers
- theorem prover
- loosely coupled
- formal methods
- web applications
- business processes
- business process
- service oriented
- automatic discovery
- web service composition
- service architecture
- asynchronous circuits
- description language
- service oriented architecture
- theorem proving
- service composition
- semantic web services
- real time
- web services composition
- web service discovery
- quality of service
- software engineering
- information systems
- databases