第九篇 章 动态建模 研究生课程-MDA.pptVIP

第九章 动态建模 赵建华 南京大学计算机系 状态相关行为 状态相关可以被非形式化地理解成：对于一个给定的信号，类的反应行为取决于类的实例接收到该信号时所处的状态。 要找出一个类的实例的行为需要考虑两个因素： 一个是它接收到的信号 另一个是它接收到该信号时所处的状态。 一些定义 状态(state)表示类服从一组规则，策略，规章或物理规律的情形。 信号(signal)表示导致状态转移的事件。 转换(transition)用于说明一个在给定状态的对象在接受到一个特定信号时将会进入的状态。 入口动作(entry action)指的是对象在进入给定状态的时刻所发生的处理序列。 例子 状态图 状态图则图形化表示了每个类对信号会做出何种响应 每个类最多有一个状态机，这个状态机描述了类的每个对象的行为 每个状态都有且只有一个相关联的动作，该动作在对象进入这个状态的时候执行。 每个转换上都附有一个信号，该信号导致了该转换的发生 使用动作规约语言ASL来说明在每个状态中应该做出的处理 删除状态 删除状态指的是当对象到达该状态时会被删除的状态。 不会有从删除状态到其它状态的转换。 会有一个到终止状态点的完成转换 终止状态的动作： 找到所有当前和本对象相关的对象； 切断和这些对象的连接； 检查切断这些连接是否违背了无条件关联约束； 删除所有和本对象无条件相关的对象； 删除本对象。 定时器 对时间建模是通过延时信号来解决的 对看门狗定时器，周期性动作等建立模型 Generate signal to instance handle after delay delay units 该语句的作用是使得指定的信号在指定的时间间隔后进入指定实例的队列。 cancel-next signal to instance handle来取消 enquiryvariable =time-until-next signal to instancehandle in units 该操作返回特定的延时信号进入队列还剩余时间。 状态转换表 状态机的另一种视图——状态转换表 (STT)，使得分析者必须处理所有可能的状态和信号的组合。 在状态转换表中： 每一行对应于一个状态； 每一列对应于一个信号； 每一个单元格对应于一个潜在的转换。这些单元格被称为效果(effect)。 状态转换表的例子 状态转换表的元素 转换效果 对应于状态图上的有向弧 忽略效果 自动机预料到该信号的发生，且可接收该信号，但是不会进行任何动作 不可能发生的效果 如果系统以预期的方式运行，给定信号不可能出现在该状态上。 无意义效果 对应于删除状态（即对象在其上时会被删除的状态）的那一行中的每个单元格都自动地以值“meaningless”填充 完全状态机 所有单元格都被赋予了不等于“unkown”的值时，STT被认为是完全的。 执行语义 分析者以一种无歧义的方式对状态机进行建模和解释 xUML模型中的并发单元即状态机，属于一个主动类。 状态机的运行 动作执行规则 每个动作必须在有限的时间内完成（即必须保证状态动作最终会终止）； 一旦状态动作完成，状态机实例就会接收正在队列中等待的下一个信号，并把该信号从队列中删除。 假定状态机是可以并发运行的。 自导信号 从一个对象发送到它本身的信号被称为自导信号。 自导信号将会先于来自其它状态机的信号得到处理。 信号传递规则 支配信号处理方式的规则如下： 接收自同一个状态机的信号应该按照它们产生的次序处理； 接收自不同状态机的信号可以以任何次序处理； 自导信号最先处理。