Research On Mapping Requirement Analysis To Software Architecture Based On UML And Z

Requirement analysis and software architecture design aretwo key activities in the software life cycle. Requirementanalysis pays attention to the question space, but softwarearchitecture design mainly raises concern about the solutionspace. Therefore, the majority research work of requirementanalysis and software architecture is relatively independent.Software architecture-based approach divides the process ofsoftware development into five phases: question definition,requirement analysis, software architecture design, detaileddesign and materialization. Maintaining the consistency andtraceability of requirement analysis and software architectureis the goal of software engineering. Therefore, mapping fromrequirement analysis to software architecture will be avaluable topic.How to map requirement analysis to correspondingarchitecture, and how to verify whether the architecture agreewith the desired system requirements or not, are the coreproblems of software architecture-based approach to researchand solve. The paper mainly embarks from this issue, firstcompares with the mapping program from analysis to design ofthe traditional structural method and object-oriented method,and then bases on the mapping program of object-oriented method,an approach of mapping from requirement analysis to softwarearchitecture based on UML and Z is proposed. UML is a generalobject modeling language, can be used to describe softwarearchitecture, however, due to the modeling of complex systemsoften requires strict semantic analysis, but UML actually lacksthe precise semantics, which makes it difficult to check forconsistency and accuracy analysis. Formal method can be made in this area just to make up the shortage of UML, Z languagewith precise, concise and non-ambiguous characteristics whichis of advantage to the system accuracy, therefore this paperuses UML and Z to realize the mapping from requirement modelto architecture model. Finally, we use online bookstore as anillustructive sample to elaborate the mapping program in thedevelopment of practical applications.