Verification and analysis of timing constraints on Petri net-based web service composition models
Yanbo Han · Jisuanji gongcheng yu sheji · 2007
The modeling techniques are desired for reliable web service composition because of the decentralization and autonomy of each service.In order to solve the time constraints conflict in the plan of web service composition,timed place petri nets are used to model basic service composition as well as analyze and verify static and dynamic availability of the model.Finally,a case study is used to illustrate that using these rules,we can simplify the complicated model step by step and verify the rationality of a service composition plan to help avoiding the waste of web service resources.