Engineering Service Oriented Applications: From StPowla Processes to SRML Models