OO建模的图形化和形式化方法 Based on graphic mode,e.g.UML,MSC/SDL easy to use hard to translate,execute 口 对需求、设计的结果缺乏进行分析、验证的手段 Based on formalization,e.g.Z,VDM;logic,algebra,Petri nets, state machine 理论上可以解决上述问题，但复杂的形式使其难以推广 如何把直观自然的OO图形建模法和形式化技术相结合，是目前 普遍关注的问题（如何折中！） Tian Zhang Nanjing University 3Tian Zhang @ Nanjing University 3 OO建模的图形化和形式化方法 „ Based on graphic mode, e.g. UML, MSC/SDL ‰ easy to use ‰ hard to translate, execute ‰ 对需求、设计的结果缺乏进行分析、验证的手段 „ Based on formalization, e.g. Z, VDM; logic, algebra, Petri nets, state machine ‰ 理论上可以解决上述问题，但复杂的形式使其难以推广 „ 如何把直观自然的OO图形建模法和形式化技术相结合，是目前 普遍关注的问题（如何折中！）