Detecting Feature Interactions in Web Services with Timed Automata.
Xiangyu LuoAicheng XuanRongsheng DongPublished in: WGEC (2009)
Keyphrases
- timed automata
- feature interactions
- web services
- model checking
- reachability analysis
- service oriented
- web applications
- business processes
- business process
- automatic detection
- theorem prover
- service architecture
- web service composition
- real time systems
- theorem proving
- automatic discovery
- semantic web services
- real time
- first order logic
- databases
- data intensive
- loosely coupled
- description language
- web services composition
- artificial intelligence