Supplementing Process-Oriented with Structure-Oriented Design Explanation within Formal Object Oriented Method