软件需求分析图形表示与形式描述.docVIP

软件需求分析图形表示与形式描述 传统图形描述技术建模及语义 中国谚语：Ein Bild Zeigt ueber Tausend Saetze. (A picture shows more than 1000 sentences.) 1、三种主要传统图形描述技术 （1）数据流图技术DFD（Data Flow Diagram） 描述一个信息系统的数据（信息）流。 （2）实体关系图技术ERD（Entity Relationship Diagram） 描述一个信息系统的逻辑数据结构。 （3）状态转换图技术STD（State Transition Diagram） 描述一个信息系统的状态转换过程。 2、基于图形描述技术的需求分析模型 （1）需求分析模型的基本功能 描述用户需求 建立创建软件设计的基础 定义软件开发后的验证条件集合 需求分析模型结构 图2-1给出了基于图形描述技术的需求分析模型结构。 图2-1：需求分析模型结构 （摘自Pressman，Software Engineering，P300） 其中 （1）核心部分 Data Dictionary（DD，数据字典）： -- 存储所有软件使用或产生的对象数据的描述。 （2）中间层 Data Flow Diagram（DFD，数据流图） -- 描述数据在经过系统时的转换过程 -- 图示数据流函数 Entity Relationship Diagram（ERD，实体关系图） -- 图示数据之间的关系 State Transition Diagram（STD，状态转换图） -- 描述系统接收外部事件后的状态变化 （3）外部层 Process Specification（PSPEC，过程规约） -- 描述DFD中定义的每个函数 Data Object Description（数据对象描述） -- 描述ERD中每个数据对象的属性 Control Specification（CSPEC，控制规约） -- 描述软件控制外观的附加信息 2．3．1 数据流图DFD及语义 1．定义（DFD） 数据流图DFD技术描述流经一个信息系统的数据（信息）流，主要包括： 数据的输入与输出：数据是如何进入系统或从系统离开； 数据处理站点：在哪里数据是怎样处理的； 存储单元：数据是在哪里存储的。 2．定义（DFD符号） ：数据（信息）的源点/终点 ：数据（信息）加工或逻辑处理 ：数据（信息）存储 ：数据（信息）流 3．实例研究：汽车租赁数据流图 （1）一个汽车租赁数据流图EuRent DFD见图2-2。 图2-2：EuRent DFD （摘自Haggenmueller, Wirsing: Methoden der Software-Entwicklung, P29） 图中 Kunde：用户或汽车租赁者 Make Bookings：租车登记 Obtain Payment：得到支付 Vehicle Departures Returns：汽车出发及返回 EuRent DB：汽车租赁数据库 Bookings：登记 Invoice：出具发票（货单） Costs：费用 （2）“Make Bookings”数据处理单元的定义 设Bookings = （c，b） 其中c为用户，包括用户自然信息， b为登记信息，包括信用卡、租赁汽车等信息； Db 为EuRent数据库类型，db为一EuRent数据库； put为数据添加函数（操作）； establishCB为EuRent数据库创建函数（操作）。 则Make Bookings（MB）形式规约定义为： Bookings ? Db ? Bookings ? Bookings ? Db 即 MB：c, b, db) ? (c，bc, b), establishCB(c, b, put(b, put(c, db))) （3）“Make Bookings”数据处理单元的语义规约（PSPEC） Data Type： -- 定义数据类型 C = {c}； -- 用户Customers B = {b}； -- 登记信息