35、基于UML的实时对象统一设计方法解析

基于UML的实时对象统一设计方法解析

1. 家庭报警系统序列图

在开发家庭报警系统时，序列图是一种重要的工具。它能跨越系统边界，探索内部组件，通过连续分解来识别更基本的对象。例如，在家庭报警系统中涉及到用户、门、控制器、按钮、蜂鸣器发生器、红外传感器、定时器等对象，它们之间有着一系列的交互操作，如关闭门、激活系统、识别代码、设置超时、开门、获取状态等。

需要注意的是，如果红外传感器被激活，由于屋内有人，报警系统不能布防，但在某些序列图中可能未体现这一情况。

2. 实时应用中逻辑模型的含义

在实时应用中，设计阶段用于描绘对象的序列与用户功能几乎相同，但它们会跨越系统边界，找出设计系统所需的所有对象。然而，实时逻辑模型的真正含义存在一定疑问。为应用MDA概念，逻辑设计必须被视为高级逻辑模型。在详细阐述逻辑实时模型时，需遵循以下建议：
- 对象独立性 ：
- 在逻辑阶段，所有对象相互独立，以明确每个对象在系统中所扮演的角色。此时指定的时间约束仅为对象自身运行所需，不考虑特定实现的其他约束。
- 例如，在逻辑模型中，定时器独立于控制器运行，尽管在实现阶段，控制器和定时器可能映射到一个微控制器中。蜂鸣器发生器在实现阶段可由微控制器的子程序实现，但在逻辑阶段，其功能是分离的，以凸显其作用。
- 微控制器在实现阶段作为智能设备使用，为降低系统成本，常作为通用设备。但在逻辑阶段，应忽略其调度问题，将所有功能设备视为独立的。因为调度问题是实现阶段的设计问题，而非逻辑阶段的问题。
- 功能通用性 ：
- 即使实时系统使用现实世界的组件，在设计