A Methodology for Automating Business Processes Based on SOA and BPM