StreamPark: A streaming application development framework