基于UML和Z的软件体系结构求精方法及其应用

摘要：

论文探讨了如何将可视化建模语言UML和形式化描述语言Z集成而得到一种新的求精方法,寻求一种在软件体系结构求精过程中UML到Z的映射与转换机制.最后通过使用这个新的求精方法对一个实例求精来描述整个求精过程.

关键词：UML、Z、软件体系结构、求精、形式化方法

所属期刊栏目：42

分类号：TP311(计算技术、计算机技术)

资助基金：国家重点实验室基金SYSKF 0303;重庆市教委资助项目040803;江苏省重点实验室基金

在线出版日期：2006-04-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：59-62