3--顺序图.ppt

软件建模技术
南昌航空大学
软件学院
主讲教师:段喜龙
1
2
软件建模技术课程主要章节
绪论
1
计划和细化阶段
2
分析阶段
3
设计阶段
4
高级阶段
6
构造阶段
5
2
3
UML之系统顺序图
系统顺序图是系统调查过程的一部分,这个调查过程主要是查明要建立的系统是一个什么样的系统,因此,系统顺序图是分析模型的一部分。展示了参与者向系统发起的事件。
系统顺序图(system sequence diagram)展示了在一个特殊的用况场景(用况执行过程的一个特定实例或实现路径—用况生效的一个真实例子)中系统外部参与者发起的事件、事件的顺序以及各个系统之间的交互事件等。在顺序图中,所有的系统都被当作黑盒子看待,顺序图的重点是参与者发起的跨越系统边界的事件。
3
4
系统行为
在进行逻辑设计之前软件应用系统将如何工作,必须对系统行为进行调查,并且要将系统行为定义为一个“黑盒子”。系统行为(system behavior)描述了系统做什么,而不解释系统怎么做。系统顺序图是对系统行为所做的描述的一部分。
4
5
系统事件和系统操作
系统事件(system event)是有某个参与者发起的指向某个系统的输入事件。一个事件的发生能够触发一个响应操作的执行。
系统操作(system operation)是系统为响应一个事件而执行的一个操作。
5
6
如何建立一个系统顺序图
1)将系统表示为一个黑盒子,在盒子下划一条线
2)识别出所有直接对系统进行操作的参与者。在每个参与者下划一条线
3)根据用例的典型事件发生过程的描述,找出每个参与者所发起的(外部)事件。将他们标在图中。
6
7
契约
契约是一个描述某个操作应该得到什么结果的文档。经常采用叙述体,强调发生了什么,而不是如何发生。通常契约是用前置和后置条件中描述的状态变化表达。
契约可以用来描述一个单独的软件类方法,也可以用来描述规模更大的系统操作。
7
8
系统操作契约
描述了当一个系统操作被调用时整个系统的状态变化。(后置条件)
操作、交叉引用、前置条件、后置条件
殚精竭虑之时,文字将成为利器
——歌德
8
9
后置条件与概念模型
如何建立一个契约
实例的创建与撤消
属性的修改
关联的形成与破裂
后置条件的表达要符合概念模型语境:什么实例可以被创建?什么关联可以被形成?
9
10
前置条件
前置条件定义了操作开始时对系统状态所做的假设。
在操作的执行中执行到某点时,那些对软件测试来说非常重要的条件
不需要测试,但系统操作的成功执行所需要的一些条件。
10