基于用例和Z的一种软件体系结构建模的方法

摘要：

随着计算机软硬件技术和网络技术的发展和应用的不断深入,软件复用技术,特别是软件体系结构的设计和复用是克服软件危机行之有效的手段.用例在面向对象的软件开发过程中起着重要的作用,但它是一种半形式化的方法,缺乏精确的语义描述,难以保证软件体系结构模型的正确性,形式化的方法恰好能够弥补这方面的不足.针对如何构建软件体系结构的问题,提出了一种基于用例和Z语言的形式化构建软件体系结构的方法,将迭代增量技术运用到体系结构的设计开发中,并就相关问题进行了分析探讨.

关键词：软件体系结构、用例、Z语言、迭代增量、形式化

所属期刊栏目：22

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

资助基金：云南省教育科学研究基金07C10799

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

页数：共5页

页码：37-40,44