Klaus Schäfers

Learn More
WS-BPEL is the standard for modelling executable business processes. Recently, verification of BPELprocesseshas been an important topic in the research community.While most of the existing approaches for BPELprocessverification merely consider control-flowbased analysis,some actually consider data-flows, butonly in av ery restrictive manner. In this paper,(More)
  • 1