A Method for Service Identification from Business Process Models in a SOA Approach