Verifying composite service transactional behavior using event calculus
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Petri net based techniques for constructing reliable service composition
Journal of Systems and Software
| Hi-index | 0.00 |
One of the main challenges that encounter Web services is how to ensure reliable compositions. In this paper we present an approach that starts from a composite service effective executions to improve its reliability. Basically, we propose a set of mining techniques to discover its model and its transactional behavior from an event based log. Then, based on this mining step, we use a set of rules to improve its recovery mechanisms.