1. A method 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, acyclic 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, validating the business process model by ensuring no loops or cycles in the graph for the business process model, and further validating the business process model by ensuring no shared vertices amongst the graphs for the service groupings.