As far as I know, there isn't any. Oracle had one under the Application Integration Architecture Foundation Pack. But I don't know what the status is.
But since it is all xml you could use tools like SOnarQube and use the XML capabilities. But you probably would need to define your own rules.
What I'm thinking about is to create a set of xslt's that transform a BPEL process to a error message xsd. And then add different rules to check. For instance: has every Invoke a scope as parent and are the variables local?
- To add to Martien van den Akker information, you could explore the combination of OJAUDIT with SonarQube for QA.
- Do share the product information that you eventually proceed with. That would be helpful for Oracle FMW users .