Mathematical Modeling and Computation For Reaction Systems