The goals for this and the next session are threefold : ( 1 ) get each team to consolidate its analysis and interpret its meaning for the project ; ( 2 ) vet and refine each team ' s analysis , ideas and proposals ; and ( 3 ) gain feedback on the presentation organization , clarity and ways to enhance it 这一节和下一节课的目标有三： 1 )每小组整合他们的分析，并解释其对专题的意义； 2 ）审查并提炼每组的分析、想法及提案； 3 ）得到对报告组织、清晰性和改进方法的回馈。
Therefore , the formal semantic study of uml is helpful for the improvement of the clarification , equivalence , consistency , and extendibility of the language , thus offers a powerful theoretical tool for the validity proof , transition of the model and the consistency check of the modeling tools supporting uml 因此，对uml进行形式语义研究，对增进该语言的清晰性、等价性和一致性、可扩展性是十分有帮助的，为模型的正确性证明、转换以及支持uml建模工具的一致性检查提供了有力的理论工具。
