A Modeling Method of Software Architecture Based on Use Case and Z Specification
Zhou Feng · Computer Technology and Development · 2012
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.