Study on Verification of Web Services Composition Based on OWL-S
Zengzhi Li · Microelectronics & Computer · 2007
In order to ensure the correctness and reliability of Web services composition based on OWL-S,and verify the interaction protocol of Web services,we adopt a three-level architecture idea,use OWL-S to compose Web services,use a GA model as an intermediate representation,and use a Promela model as the verification model.We design and implement the translation from OWL-S Web services composition models to GA models,which are then translated into Promela models.Finally,we use SPIN to complete the verification.This method has good agility and expansibility because of the intermediate representation.It also preferably overcomes the challenges brought by the characters of Web Services.