文件名称:jfsm:JSON 有限状态机 (JFSM) 表示、验证和生成
文件大小:252KB
文件格式:ZIP
更新时间:2024-07-01 12:12:32
JavaScript
JSON 有限状态机 (JFMS) 表示、验证和生成 该项目定义了使用 JavaScript 对象表示法 (JSON) 表示单级有限状态机 (FSM) 的语义,作为图形生成、FSM 执行分析和其他语言状态机生成的中间语言。 动机是嵌入式代码的很大一部分(阅读:全部)是某种有限自动机,并且在 C(和其他语言)中描述和实现 FSM 的常用方法需要大量样板代码,并且通常导致复杂和不明确的实现。 一定有更好的方法。 这样做的目标是: 为状态机提供相当标准的中间表示,可用于渲染、编辑、验证或生成。 无需机器辅助(即 IDE)即可轻松人类阅读和编辑 这对程序员而不是架构师有用(尽管这可能不是排他性的)。 将状态机的定义与其实现分离以不干扰开发的方式(即让您在您想编写代码的地方编写代码)。 提供一种工具,用于从该中间表示生成状态机实现。 以与最小开发环境(文本编辑器和 CLI 构建器)集成的
【文件预览】:
jfsm-master
----.travis.yml(621B)
----package.json(733B)
----test()
--------fsm-validator-test.js(11KB)
----LICENSE(18KB)
----app()
--------index.js(2KB)
--------package.json(236B)
--------index.html(578B)
--------lib()
--------UMLStateMachine.json(1KB)
----makefile(2KB)
----examples()
--------MealyStateMachine.json(641B)
--------MooreStateMachine.json(613B)
--------UMLStateMachine.json(2KB)
----.gitignore(85B)
----lib()
--------fsm-visualizer.js(92B)
--------fsm-helpers.js(1KB)
--------fsm-validator.js(10KB)
--------fsm-generator.js(3KB)
--------generators()
--------fsm-executor.js(706B)
--------language-validator.js(51B)
--------jfsm.js(2KB)
--------fsm-constants.js(569B)
----README.md(9KB)