The document presents an approach for detecting process antipatterns in BPEL (Business Process Execution Language) processes. It defines seven antipatterns using rules of inference and describes a method to transform BPEL processes into a simplified generic model. An experiment applies the approach to detect two antipatterns in three sample BPEL processes with limited detection success due to the small process sizes. Future work is needed to automate the approach and detect more antipatterns in larger, real-world processes.