Synthesis of context-aware business-to-business processes for location-based services through choreographies