问题标签 [scxml]

我正在使用Apache Commons SCXML，我想知道是否可以告诉状态机 (SCXMLExecutor) 跳转到给定状态。

我不能使用该initialstate属性，因为我希望状态机恢复（即从电源故障中恢复），而我唯一拥有的就是最后一个状态。这就是为什么我想告诉状态机直接跳转到它。

是否有用于事件驱动的有限状态机的简单 .NET 代码生成器？

我厌倦了手动为用户界面对象执行此操作。我只需要枚举定义、switch 语句和每个函数调用。我不需要“图书馆”。

请参阅http://en.wikipedia.org/wiki/Event_driven_finite_state_machine上的事件驱动有限状态机。

C# 3.0 中的状态机在 http://aabs.wordpress.com/2008/06/26/state-machines-in-c-30-using-t4-templates/ 上使用 T4 模板似乎是我想要的，但示例代码的链接已损坏。

我知道用户以不同的方式定义它们（XML 与 UML 工具相比），但两者之间的语义有什么区别？

或者 SCXML 中的状态图与 UML 中的可比较状态图的含义相同吗？

是否有类似于基于 Eclipse 的 Visual SCXML 编辑器来构建 Harel 状态表的工具？目前项目页面的状态是代码未发布。我如何安装插件？

在使用 SCXML 制作的状态机中，有没有办法为转换设置动态目标值？

我的意思是，假设我有一个名为“obj”的对象，它已被设置为 scxml 的数据模型。因此可以在其上设置条件（如果对象中有一个名为 checkCondition 的属性），例如：

cond="obj.checkCondition"

我在 obj 中有另一个属性，称为 nextTarget。我想在这个转换中设置目标，从对象中读取它的值（因为它在条件中完成）。

有什么语法可以做到这一点吗？

谢谢。

我在使用以下 scxml 代码时遇到问题：

它工作正常，但是当我添加了 onentry 元素时，处理器会说以下内容：

似乎 raise 不被理解。我试图用“发送”元素来改变“提高”元素，我得到了类似的日志警告。谁能告诉我可能出了什么问题？

谢谢。

更新

我试图改变架构，避免像这样嵌入 if 元素：

但它也给出了以下错误：

我是 SCXML 的新手，我什至无法启动最简单的应用程序。当我尝试启动它时，出现以下异常。但是我commons-scxml-0.9.jar在类路径上有那个类的库。有任何想法吗？

这是代码：

Main class

Event

StateMachineImpl

state-machine-cfg.xml

编辑 - 解决方案： 我必须添加额外的依赖项（我认为它们会由 Maven 自动加载）。

pom.xml dependencies

我正在为我的客户寻找一些可视化状态图编辑器。我正在为他构建服务器应用程序，他需要工具来构建状态车并将它们上传到服务器。当然，该工具需要能够导出为某种可读格式（例如SCXML），所以我可以为它构建一个阅读器。

我看到了一些工具，例如fsm-editor. 但它们对我没有好处，因为我想将我的客户限制为一组特定的参数化条件、参数化事件和参数化操作。

例如，我将定义：

我的客户可以使用这些明确的预定义属性（条件、事件和操作）构建几十个状态图，并将它们的导出上传到适当的位置。

没有必要对一种状态图标准或另一种严格。但我需要这方面的支持：

• 参数化条件/事件/动作
• 在进入/退出状态动作之前

无需支持内部变量；我可以为它使用动作和条件。

是否有任何工具（最好是免费的）？

如果没有 - 是否有任何 OpenSource (C# / JS) 编辑器实现支持所有 abpve 而没有 conds/events/actions 的严格限制，我可以很容易地闯入它并添加请求的严格模式？

我需要以标准和可移植的格式描述分层有限状态机。是否有我应该使用的被广泛接受和支持的文件格式？

• 我看到Graphviz DOT 语言支持可能被有向边引用的子图。（尽管使用 Graphviz 渲染连接的集群有点问题。）将通用有向边上的文本标签解释为转换事件/标准似乎有点语义拉伸，但并非不可用。

• 我看到UML 状态图支持分层嵌套状态。然而，这个问题的公认答案意味着我自己在 XMI 中描述状态图实际上可能无法与名义上支持 UML 的工具正确互操作。

• 我看到了W3C SCXML 标准。然而，这仍然是一个工作草案（已经有将近 7 年了），我不确定是否有任何工具支持这种格式（除了通过转换）。

是否有比上述任何一种更广泛接受的替代方案？我应该使用上述一种还是另一种？

可移植性的一个例子是，我希望图形能够被Matlab Stateflow之类的 HSM 模拟器读取和使用。

是否有任何可视化编程工具来建模表示多模式用户界面的状态图？我想构建一个 android 和 windows metro 应用程序，它接收来自触摸和语音的输入。该应用程序通过问卷引导用户在医疗保健场景中进行筛查。用户可以在文本框中输入文本或通过触摸按钮或说话来生成事件。

我发现状态图用于模拟反应系统行为，例如最初由其创建者 David Harel 使用的航空电子系统，其任务是为以色列飞机工业公司制造的 LAVI 战斗机设计软件；IAI 清晰准确地指定飞机控制行为。他想以一种直观清晰且数学严谨的方式来指定行为。从那时起，状态图就从单纯的规范语言发展成为可执行、可编译和可分析的语言。

由于我要构建的应用程序具有复杂的医疗保健逻辑，并且由屏幕流的层次结构组成，该层次结构会根据交互用户的输入发生变化，将操作发送到外部 Web 服务并从外部 Web 服务接收异步事件——所有这些都在用户界面中保持响应性，我想到了用状态图对应用程序逻辑进行建模。但是，我找不到可以让我分别编写应用程序业务逻辑和 UI（不仅仅是屏幕界面组件）的编程工具。例如，如果我想在 html5/ mxml中表示 UI和在scxml中的业务逻辑。

我找到了几个工具，但没有一个与我的应用程序要求相对应。主要是没有这样一个应用程序的设计示例，将状态图中的行为和某种形式的标记语言的 UI 表示明确分离。我的发现：

• IBM Rational Statemate是一个图形化设计、模拟和原型设计工具，用于快速开发复杂的嵌入式系统
• IBM Rational Rhapsody - 基于 UML 的建模环境，是系统工程师的可视化开发环境，具有 UML 状态图
• Apache scxml 编辑器：仅用于建模scxml的 Gsoc 项目
• Qt 状态机框架，但没有分离行为和用户界面的状态图
• W3C Multimodal Architecture也有一些设计理念，以及scxml+xhtml