Lib.rs

标题: "Rusk 一种规范语言"

用法

rusk [options] file.rsk > output.md

读取文件并输出 Markdown 文档。

命令行选项

• -V, --version -- 显示版本。
• -h, --help -- 显示用法。
• --markdown -- 生成 Markdown 文档。 (默认)
• --ast-json -- 生成 AST 的 json 文本。
• --ast-json-pretty -- 生成 AST 的格式化 json 文本。
• --title {title} -- 设置文档标题。

示例

event greet@(do greeting);

state Greeting@(greeting)
{
	var greeted: Boolean = false;
	transition greet
		when greeted == false @[- not yet -]
		-->
	{
		post {
			target greeted;
			greeted' = true;
			state' = Bye;
		}@{-
			Hello!
		-}
	}
}

state Bye@(bye!)
{
	// ...
}

文档

• ./doc/syntax.md.
• ./doc/lib.md.
• ./ChangeLog.
• ./TODO.md.

参考

KML

• 《日经Robo》法纳克收购的机器人创业公司，以软件的技术实力脱颖而出，严格描述规格的“形式方法”实践，约2万行描述 https://tech.nikkeibp.co.jp/dm/atcl/mag/15/00140/00017/?P=2
• 在协作机器人 CORO 的开发中采用形式规格描述 KML 的开发和应用 https://www.slideshare.net/liferobotics/corokml
• 回忆 KML 语法 https://github.com/minekoa/til/blob/master/formalmethod/kml/example.md
• kmldoc https://github.com/minekoa/til/tree/master/formalmethod/kml/kmldoc

许可证

MIT OR Apache-2.0