Checking robustness of web services based on the parallel composition of partial timed finite state machines
In this paper, we discuss how the robustness of the web service can be checked using the parallel composition of partial timed finite state machines. We propose a technique for checking this property. In fact, we check whether there are no deadlocks in the composition. If deadlocks can happen, then...
| Published in: | Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018 P. 256-261 |
|---|---|
| Main Author: | |
| Format: | Book Chapter |
| Language: | English |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000659558 |