LaTeX中的Z規格

Question

LaTeX是否有支持寫入Z規格的包？我對模式的橫向和縱向格式都感興趣。

Answer 1

有一個包，它被稱爲zed-csp。以下是關於如何使用它的reference。

下面是一個例子模式：

\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} 

見我的問題，並回答關於這個問題： Zed Notation in LyX

Answer 2

有相當其提供在乳膠書面Z規格說明支持了幾包。雖然許多語法非常相似，有些提供了額外的功能。

• Cadiz.sty：https://www.cs.york.ac.uk/hise/cadiz/latexmarkuptut.html
• oz.sty：https://www.ctan.org/tex-archive/macros/latex/contrib/objectz?lang=en
• fuzz.sty：https://www.cs.cmu.edu/afs/cs/academic/class/15671-f95/ftp/fuzz.sty
• zed.sty：http://tug.ctan.org/macros/latex209/contrib/zed/zed.sty
• zeves.sty：http://www.informatik.uni-bremen.de/agbkb/lehre/ss12/foma/Z/z-eves.sty
• 捷思-CSP。 sty：http://ctan.mackichan.com/macros/latex/contrib/zed-csp/zed-csp.sty

對這些包的更多信息可以在這裏找到：http://czt.sourceforge.net/latex/

它解釋說，是fuzz.sty是第一個，包含了重要的宏但不兼容ISO-Z標準，zed.sty和捷思銳csp.sty是牛津版上fuzz.sty等

Answer 3

提高這是創建的Z-架構和運營時使用的是什麼我的軟件工程教授對乳膠格式：

\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} 

我希望這是有幫助的。