On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services.
Faezeh SiavashiDragos TruscanJüri VainPublished in: ICSOFT-EA (2016)
Keyphrases
- timed automata
- web services
- model checking
- reachability analysis
- theorem prover
- service composition
- theorem proving
- first order logic
- web service composition
- temporal logic
- formal verification
- real time systems
- service oriented
- service architecture
- business processes
- business process
- service oriented architecture
- web applications
- real time
- computational efficiency
- service providers
- description language
- web services composition
- automatic discovery
- enterprise application
- service discovery
- quality of service
- expert systems
- case study
- neural network
- databases