基于UML和Z的需求分析到软件体系结构的映射.PDFVIP

2008年第3期 福建电脑 19 基于UML和Z的需求分析到软件体系结构的映射 汤小康1，王志刚2，彭冰沁- 、 I摘要】：结合可视化建摸工具UML和形式化描述语言Z描述了从需求分析到软件体系结构的映射方案。并以一个 实啻i说明其映射过程。 ‘ 【关键宇】：需求分析；软件体系结构；UML；Z 0．引言 映射问题的工作就是从用例中抽取类．得到的类也恰恰是体系 需求工程和体系结构的设计是软件开发中两个关键活动。 结构设计的基础，然后再使用Z语言进行形式化的描述。通过这 需求工程主要关心软件系统的责任。应用已证实有效的技术、方 种方法得到的系统将具有正确性、一致性和可追踪性的特点。图 法来得到一个正确、一致并且无二义的需求规约。软件体系结构 l描述了基于UML和Z的需求分析到软件体系结构的映射方 是软件系统的高层抽象。描述整个系统的结构和行为模型。标识 法。 了主要的系统组件(component)、组件之间的