Preißinger, ChristianChristianPreißingerHarrer, SimonSimonHarrer0000-0002-1023-9897Schuberth, StephanStephanSchuberthBimamisa, DavidDavidBimamisaWirtz, GuidoGuidoWirtz0000-0002-0438-8482Herzberg, NicoKunze, Matthias2019-09-192014-06-232014https://fis.uni-bamberg.de/handle/uniba/6227The errors in BPEL processes that are only detected at runtime are expensive to fix. Several modelers and process engines for BPEL exist, and the standard defines basic static analysis (SA) rules as a detection mechanism for invalid processes, but the actual conformance of BPEL modelers and engines regarding these rules is unknown. We propose to develop test cases to evaluate the conformance of BPEL modelers and engines regarding static analysis. The evaluation results enable decision makers to identify and use the most conformant engine and modeler that detect errors before runtime and therefore reduce costsengSOABPELstatic analysisconformance testingconferenceobjecthttp://zeus-workshop.eu/2014/zeus2014.pdfhttp://ceur-ws.org/Vol-1140/http://www.uni-bamberg.de/pi/bereich/forschung/publikationen/14-03-harrer-wirtz/