Checking Robustness of Web Services Based on the Parallel Composition of Partial Timed Finite State Machines.
Ekaterina ShirokovaPublished in: EWDTS (2018)
Keyphrases
- finite state machines
- web services
- web service composition
- web services composition
- composition of web services
- model checking
- finite state automata
- web applications
- composite web services
- service composition
- shared memory
- web service compositions
- parallel computing
- regular expressions
- parallel processing
- hidden markov models
- description language
- digital circuits
- service discovery
- description languages
- parallel implementation
- database
- petri net