1. A method executed by a processor for validating a service oriented architecture (SOA) oriented application, the method comprising: transforming a business process model for an SOA oriented application into a directed and connected graph; further transforming a plurality of service groupings for the business process model into corresponding directed and connected, acyclic graphs; computing all paths from root node to leaf node in the graph for the business process model; and, invalidating the business process model in response to either identifying a loop or cycle in the graph for the business process model, or identifying a shared vertex amongst the graphs for the service groupings.