Protocol conformance checking of services with exceptions
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Hi-index | 0.00 |
In previous works we suggested an approach to verify if in a component-based system the interaction behavior to a component obeys the specified requirements.We can capture unbounded recursion, synchronous method calls and call backs as well as asynchronous method calls and unbounded parallel behavior including synchronization.In an industrial environment we have the problem, that extensive use of synchronizations results in an unacceptable verification time. In this paper we will describe an approach leading to a better practical applicability.