From Business Process Specifications to Sensor Network Deployments