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

A Modeling Method of Software Architecture Based on Use Case and Z Specification

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

With the development and deepgoing application of computer hardware and software technology,the technology of software reuse,especially the design and reuse of the software architecture,was an effective method to overcome the crisis of software.The use case played an important role in the object-oriented software development process,but it was a half-formal representation,and it lacked of precise semantics description.The use case can＇t assure the accuracy of the software architecture model,but the formal method can make up for this deficiency.On how to construct the software architecture,it gives a kind of method based on the use case and the formal Z specification to construct the software architecture.This method adopts the technology of iterative increment during the design and development of the software architecture,and discusses the related issues.