A Formal and Integrated Framework to Simulate Evolution of Biological Pathways