Assessing Service Protocols Adaptability Using Protocol Reduction and Graph-Search with Backtracking Techniques | IEEE Conference Publication | IEEE Xplore