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

• 作者: 刘妮娜 周枫
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 软件体系结构 用例 Z语言 迭代增量 形式化
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 37-40,44
• 分类号: TP311.5
• 字数: 3402字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2012.02.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周枫	昆明理工大学信息工程与自动化学院	41	74	5.0	7.0
2	刘妮娜	昆明理工大学信息工程与自动化学院	2	5	2.0	2.0