美文网首页
SCXML 解释器算法 —— 初步定义

SCXML 解释器算法 —— 初步定义

作者: 寻找无名的特质 | 来源:发表于2021-02-05 06:21 被阅读0次

W3C文档中给出了一个SCXML解释器算法的原型,可以帮助我们对SCXML有更深入的理解。针对这些算法有一些初步的定义。

  • state : 指文档中 <state>, <parallel>或 <final>元素。
  • pseudo state: 指<initial>或者<history>元素。
  • transition target:指state或者history。
  • atomic state:指没有子状态的<state>或者<final>。
  • compound state:有至少一个子状态的<state>。
  • configuration:状态机当前的状态的最大集,包括(parallel和final)。
  • source state :transition的source state就是包含这个transition的state。
  • target state:transition的target state就是这个transition转入的state。注意,一个transition可以有0或多个target state。
  • targetless transition:没有target state的transition。
  • eventless transition:没有定义事件的transition。
  • external event:在外部事件队列中的事件,这些事件来自外部或者由<send>产生。
  • internal event:内部事件队列中的事件,这些事件由内部产生或者是<raise>或<send>产生的。
  • microstep:microstep涉及单个transition(或者在parallel中的一组transition)的处理,microstep可能改变当前的configuration,更新数据模型,产生新的事件。这可能激活相关的transition,这些transition会在后续的microstep中进行处理。
  • macrostep:macrostep包括一系列microstep,macrostep完成后状态机会处于稳定状态,可以处理外部事件。一个外部事件会导致一个macrostep。然而,如果外部事件不激活任何transition,就没有microstep,macrostep就是空的。

相关文章

  • SCXML 解释器算法 —— 初步定义

    W3C文档中给出了一个SCXML解释器算法的原型,可以帮助我们对SCXML有更深入的理解。针对这些算法有一些初步的...

  • SCXML 解释器算法 —— 原则与约束

    SCXML遵守下面的原则和约束: Encapsulation(封装):SCXML处理器是一个纯事件处理器,给SCX...

  • SCXML 事件I/O处理器

    SCXML事件I/O处理器的目的是在SCXML的会话间传递消息。SCXML文档规定了发送会话和接收消息会话的事件之...

  • 缺省的事件和错误

    下面是SCXML解释器产生的事件。 done.state.id : 当进入一个状态的final子状态时,会产生这个...

  • 解释器模式

    1. 解释器模式 1.1 定义: 解释器模式(Interpreter) : 定义一种文法的表示,并定义一种解释器...

  • 设计模式解释器模式

    解释器模式的定义 解释器模式 (Interpreter Pattern):定义一个语言的文法,并且建立一个解释器来...

  • 设计模式-解释器模式

    1.定义 解释器模式(Interpreter),给定一个语言,定义它的文法的一种表示,并定义一个解释器,这个解释器...

  • SCXML 注意事项

    在解释时,SCXML处理器需要浅复制迭代的集合,也就是说在迭代中如果修改集合不能影响迭代行为。迭...

  • 设计模式笔记(23)--解释器模式

    解释器模式 GOF对于解释器模式的定义是:“给定一个语言,定义它的文法的一种表示,并定义一个解释器,这个解释器使用...

  • 第27章 其实你不懂老板的心--解释器模式

    解释器模式 解释器模式(interpreter),给定一个语言,定义它的文法的一种标识,并定义一个解释器,这个解释...

网友评论

      本文标题:SCXML 解释器算法 —— 初步定义

      本文链接:https://www.haomeiwen.com/subject/ngbltltx.html