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

作     者：刘妮娜 周枫 LIU Ni-na;ZHOU Feng

作者机构：昆明理工大学信息工程与自动化学院云南昆明650051 

基　　金：云南省教育科学研究基金(07C10799) 

出 版 物：《计算机技术与发展》 (Computer Technology and Development)

年 卷 期：2012年第22卷第2期

页      码：37-40,44页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1673-629X.2012.02.010

馆 藏 号：203226651...