With the fifth generation (5G) communication technologies on the horizon, the society is rapidly transformed into a fully connected world. The Future Internet (FI) is foreseeable to consist of an infinite number of software components and things that coordinate with each other to enable different applications. Transport systems, as one of the most important systems in future smart cities, will embrace the connectivity, together with the fast development of cooperative and automated vehicles to enable smart traffic. To facilitate this transformation, a service choreography composition platform is under development to enable fast innovation and prototyping of choreography-based Internet of Things (IoT) applications by automatically synthesizing choreographies. Based on the method, a smart traffic application is developed and demonstrated.