Automated Runtime Verification for Web Services.
Tien-Dung CaoTrung-Tien Phan-QuangPatrick FélixRichard CastanetPublished in: ICWS (2010)
Keyphrases
- web services
- composition of web services
- colored petri nets
- semi automated
- business processes
- description language
- automated analysis
- model checking
- semantic web services
- data sets
- data intensive
- web service composition
- service oriented architecture
- service composition
- service oriented
- computer aided
- information retrieval
- business applications
- fully automated
- business process
- data driven
- web applications
- formal verification
- real time
- neural network
- service architecture
- asynchronous circuits
- web services composition
- automatic discovery
- knowledge base
- web technologies
- service discovery