結果 : domain model refinement with example in ooad