Event-action model (paradigm) ·发生与预定状态相关的事件，则执行预定动作 -FSM based:“状态”由状态变量的特定值标识 ReaF-Time Analysis: 事件：在特定时刻瞬间发生，标志系统的行为 - 外部事件：外部动作产生的事件 一内部事件：系统内产生或激活的事件 一开始事件和终止事件：标识动作开始和结束的事件 primitive events,composite events event -Mode:事件的集合 Real-Time 。 动作：系统对事件的反应。 System action 一简单动作：原子操作 一复杂动作：一个动作序列 anEvent [guardCondition/anAction A B ·三种：顺序、选择、并行 一可按所需使用的资源划分动作 ·条件(condition):定义允许的动作 一条件通过允许或禁止某些操作来影响系统的行为。 一动作执行或发生外部事件可以引起条件变化，条件变化又可引起事件发生。Event-action model（paradigm） • 发生与预定状态相关的事件，则执行预定动作 – FSM based： “状态”由状态变量的特定值标识 • 事件：在特定时刻瞬间发生，标志系统的行为 – 外部事件：外部动作产生的事件 – 内部事件：系统内产生或激活的事件 – 开始事件和终止事件：标识动作开始和结束的事件 – primitive events，composite events – Mode：事件的集合 • 动作：系统对事件的反应。 – 简单动作：原子操作 – 复杂动作：一个动作序列 • 三种：顺序、选择、并行 – 可按所需使用的资源划分动作 • 条件（condition）：定义允许的动作 – 条件通过允许或禁止某些操作来影响系统的行为。 – 动作执行或发生外部事件可以引起条件变化，条件变化又可引起事件发生