形式的なモデル化と、OOによる設計は対立する概念じゃないだろ。