LaTeX中的Z规格

Question

是否有任何LaTeX软件包支持编写Z规范？我对模式的水平和垂直格式感兴趣.

Answer 1

有一个包,它叫做zed-csp.以下是如何使用它的参考.

这是一个示例模式:

\begin{schema}{InitJunction1}
\Delta Sys\\
junc?: JUNCTION\\
road1?: ROAD\\
road2?: ROAD
\where
road1? \neq road2?\\
junc? \notin juncList\\
\forall j: juncList @ \neg ((road1? \in roadsInJunc(j)) \land (road2? \in roadsInJunc(j))\\
roadsInJunc' = roadsInJunc \cup \{junc? \mapsto \{road1,road2\}\}\\
juncList' = juncList \cup \{junc?\}
\end{schema}

请参阅我的问题和答案: LyX中的Zed Notation