latex - LaTeX の Z 仕様

Question

Z仕様の記述をサポートするLaTeX用のパッケージはありますか? スキーマの水平形式と垂直形式の両方に興味があります。

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 記法

Answer 2

これは、ソフトウェア工学の教授が Z スキーマと操作を作成するときに LaTeX 形式に使用したものです。

\usepackage{oz, amsfonts}
...
\begin{schema}{MusicStore}
member: \pset NAME\\
orders: \pset (NAME\times ALBUM)\\
owns: \pset (NAME\times ALBUM)
\ST
{\bf dom}\mbox{ } orders \subseteq member\\
{\bf dom}\mbox{ } owns \subseteq member\\
\forall (m, a)\in orders.(m, a)\notin owns
\end{schema}

お役に立てば幸いです。