Modeling the Exception Flow in PHP Systems