A MapReduce Data Processing Framework for State Transition Applications