Web service modeling and composition based on bounded model checking
Liu Jin-jiang · Jisuanji gongcheng yu sheji · 2011
Currently,the SOA in many fields of application is accepted,which result in the rapid growth of available web services.To meet user complicated needs effectively,a method of web service automated composition based on bounded model checking is proposed.Web services are modeled as a finite state machine and many web services constitute a service to the community.The user requirements are represented by the linear temporal logic formulas,the method can automatically construct solution from the community to satisfy the demand of user requests.Experiments show that this method can adapt to large-scale web service composition scenarios.