论文部分内容阅读
UML已经成为面向对象建模语言的标准.为了使UML更加精确,同时发挥形式化方法的优势,增加形式化方法在软件开发中的实际作用,研究人员提出了形式化方法与面向对象方法结合软件开发方法.该文使用COOZ描述UML的静态和动态的形式语法和语义,为UML提供形式化基础,同时研究了COOZ的推理证明和精化系统,可以给出UML表示的模型的精确描述并验证模型的正确性、对模型逐步精化到代码.