Assessing Service Protocols Adaptability Using Protocol Reduction and Graph-Search with Backtracking TechniquesZhangbing Zhou Sami Bhiri Hai Zhuge Manfred Hauswirth