软件工程第10章面向数据的设计方法.ppt

课程名称：软件工程 第17讲 班 级： 日 期： 教 室： 教学题目：第10章面向数据的设计方法 10.1面向数据设计的概念 10.2Jackson系统开发方法 教学目的：了解概念，掌握Jackson系统开发方法。 教学重点：JSP技术。 教学难点： JSP技术。 教 具：多媒体教室、电子教案 作 业：;第10章 面向数据的设计方法;10.1 面向数据设计的概念;10.1 面向数据设计的概念;10.1 面向数据设计的概念;10.1 面向数据设计的概念;10.1 面向数据设计的概念;10.1 面向数据设计的概念;10.2 Jackson系统开发方法;用JSD方法开发一个软件的步骤： ;10.2.1 JSD分析技术回顾;10.2.1 JSD分析技术回顾;10.2.1 JSD分析技术回顾;图6?2?5 对应于结构正文的结构图;10.2.2 扩充功能性过程;图10?2?1 两类功能性过程与系统模型的关系;10.2.2 扩充功能性过程;10.2.2 扩充功能性过程;SHUTTLE_1 seq LON(1) /* 控制发光板“亮”，说 明交通车正停在站1上 */ read 状态向量 WAIT_BODY1 itr while Wait(1) read 状态向量 WAIT_BODY1 end LOFF(1) /* 交通车即将离站；控 制发光板“暗” */ LEAVE(1) TRANSIT_BODY1 itr while Transit(1) read 状态向量 TRANSIT_BODY1 end;SHUTTLE_BODY1 itr STATION seq ARRIVE(i) LON(i) /* 交通车已停靠站（i） */ WAIT_BODY itr while Wait(i) read 状态向量 WAIT_BODY end LOFF(i) /* 交通车将离开站（i） */ LEAVE(i) TRANSIT_BODY itr while Transit(i) read 状态向量 TRANSIT_BODY end STATION end SHUTTL_BODY1 end ARRIVE(1) SHUTTL_1 end;10.2.2 扩充功能性过程;SHUTTLE_1 seq LON(1) read 状态向量 WAIT_BODY1 itr while Wait(1) read 状态向量 WAIT_BODY1 end LOFF(1) LEAVE(1) TRANSIT_BODY1 itr while Transit(1) read 状态向量 TRANSIT_BODY1 end ;SHUTTLE_BODY1 itr STATION seq ARRIVE(i) write arrive to S1D /* 向mcontrol发送数据流， 说明车已到站（i）*/ LON(i) WAIT_BODY itr while Wait(i) read 状态向量 WAIT_BODY end