Verifying Web Services Composition Based on Interface Automata Using SPIN.
Jia MeiHuaikou MiaoYihai ChenHonghao GaoPublished in: J. Digit. Content Technol. its Appl. (2010)
Keyphrases
- web services composition
- web service composition
- service composition
- web services
- composition of web services
- highly reliable
- process algebra
- cellular automata
- service selection
- quality of service
- user interface
- probabilistic automata
- service discovery
- finite automata
- tree automata
- finite state machines
- model checking
- case study