A Formal Specification-Based Testing Approach to Accurate Web Service Selection
Asia-Pacific Conference on Services Computing. 2006 IEEE
By Weikai Miao,Shaoying Liu
Issue Date:December 2011
Currently most web services are published without sufficient functional behavior descriptions, which makes it difficult for developers to accurately select services according to the expected functions of their target systems. In this paper, we propose a fo...