Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
Model-driven synthesis of SOA solutions