Web service composition process verification methods
Mate' Sztipanovits · 2008
This paper proposes a web service process verification method which can be used by engineers to effectively evaluate web service compositions. A Web Service composition verification process would provide a valuable oversight on the engineering of web service based applications. Using a process known as graph-transformation we formalize the translation of a well known web service composition specification called the Business Process Execution Language (BPEL) to a practically useful modeling language with which extensive analysis, including program verification, can be performed. The modeling language used is the Coloured Petri-Net specification which comes with well tested analysis methods and tools. This translation process can be used to formalize a Web service Composition Process verification (WeseCoP) tool. The usefulness of such a tool lies in how it facilitates visual simulation analyses of BPEL process execution.