Verification of Web Services with Timed Automata.
Gregorio DíazJuan José PardoMaría-Emilia CambroneroValentín ValeroFernando CuarteroPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- timed automata
- model checking
- web services
- temporal logic
- reachability analysis
- formal verification
- verification method
- service oriented
- web applications
- service providers
- semantic web services
- data intensive
- theorem prover
- formal methods
- service composition
- web service composition
- business process
- service architecture
- colored petri nets
- description language
- service oriented architecture
- quality of service
- databases
- business processes
- description languages
- automatic discovery
- asynchronous circuits
- software development
- response time
- knowledge base
- face recognition
- software engineering
- web service selection
- web services composition
- content management
- service selection
- real time systems
- loosely coupled