Modeling Process Exception Handling