Considered constraints to test

2. Considered temporal constraints:
In the following, we present the two types of temporal constraints which are considered in our proposed tool.
1. Conformance testing with respect to network timeout:
In fact, in order to avoid the network congestion and the BPEL process long waiting for a message coming from an invoked Web service, we suppose that this waiting time is limited by the maximum latency (or delay) of the network noted tmax. Consequently, the first type of temporal constraint consists in comparing the response time of each partner service with tmax.
2. Conformance testing with respect to temporal constraint of synchronous communications:
The second type concerns the verification of temporal requirements conditioning some synchronous communications between the BPEL process and its partners according to a given specification. In the following, we explain more what does it mean a synchronous communication. First, let us suppose a BPEL process which invokes a partner service. The BPEL process then waits for the partner service operation to be completed, and responded without exceeding a certain delay. After receiving this completion response from the partner service, the BPEL process will continue to carry on its execution flow. We define so a synchronous communication subjected to a temporal constraint between a BPEL process and its partner service.
In our work, this kind of synchronous communication is modeled in Timed Automata using timed transitions and in BPEL using pick activity.