Modeling and analysis of Web service composition with time constraint

Wu Jianfeng,Zhu Jihan,Zhang Guangquan
2012-01-01
Abstract:How to combine the existing Web services to achieve value-added service is the current research focus.Considering that the current service composition lacks of time property analysis,this paper proposes a method for model checking of Web service composition based on a time aware service model(TSM).First of all,we make a TSM model for the web service interaction behavior described by BPEL and translate it to UPPAAL specification,then use CTL formula to represent properties of the service composition.Finally we validate the properties of composite web services with the UPPALL model checker.After that,we give an example to illustrate the feasibility of this method.
What problem does this paper attempt to address?