The service oriented architecture (SOA) approach constitutes an ideal solution for distributed application development. However, its success is conditioned by a solution to the problem of dynamic service composition. The formal-based tools are ones of the promising solutions to this problem,...