问答题 什么是对象模型？建立对象模型时主要使用哪些图形符号？这些符号的含义是什么？

问答题 用面向对象方法可开发软件，通常需要建立哪3种形式的模型？

问答题 简述形式化方法（基于数学）的优点。