登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
基于OOZS的UML类图形式化描述及其应用
  • 摘要

    统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具.但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证.这一点上,形式化方法可与之互补.基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS—结构化面向对象形式规格说明语言,对UML的类图进行了形式化描述,寻求一种在软件设计与系统建模过程中UML到OOZS的映射与转换机制,最后给出一个基于OOZS的UML类图的形式化描述实例,结果表明本文的研究工作在实践中是可行的.

  • 作者

    肖岗  XIAO Gang 

  • 作者单位

    重庆师范大学研究生处,重庆,401331

  • 刊期

    2013年1期 ISTIC

  • 关键词

    面向对象方法  形式化描述  OOZS  UML  类图 

相似文献 查看更多>>
3.215.182.81