我刚开始研究定义状态机,SCXML看起来很有吸引力,尤其是Apache Commons SCXML for Java。显然,我可以使用适当的XSD验证XML。
然而,我无法找到任何方法来验证已定义的状态机是否有效(无死路,无不可达状态等)。
但是,在执行之前如何验证已定义的状态机呢? 特别是我对可以集成到构建工具链中的工具感兴趣(即从命令行)。
然而,我无法找到任何方法来验证已定义的状态机是否有效(无死路,无不可达状态等)。
但是,在执行之前如何验证已定义的状态机呢? 特别是我对可以集成到构建工具链中的工具感兴趣(即从命令行)。