Ta上传的资源 (0)

UMLStatecharts的模型检验方法 摘 要: 统一建模语言 UML 已广泛应用于软件开发中,验证 UML 模型是否满足某些关键性质成为一个重要 问题.提出了对 UML Statecharts 进行模型检验的方法.首先用扩展层次自动机结构化地表示 UML Statecharts,然 后给出其操

摘 要 统一建模语言（ %+/） 是一种通用的图形化建模语言， 在面向对象系统的分析和设计中， 它已成为事实上的工业 标准。但是 %+/ 不是形式化的建模语言， 缺乏精确的语义描述， 因此会导致一些问题。< 是一种广泛使用的形式化规约 语言， < 适合用来精确地表示模型的语法和语义。文章采用 < 符