especificaciones Z en látex

Question

¿Hay algún paquete de LaTeX que apoyará las especificaciones Z escritura? Estoy interesado en ambos formatos horizontales y verticales para los esquemas.

Answer 1

Hay un paquete, se llama zed- csp . He aquí una referencia sobre cómo usarlo.

El siguiente es un esquema de ejemplo:

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

Vea mis preguntas y respuestas sobre el tema: Zed Notación en LyX

Answer 2

Hay un buen número de paquetes que ofrecen soporte para la escritura de especificación Z en LaTeX. A pesar de que muchos de ellos tienen una sintaxis muy similar y algunas ofrecen funciones adicionales.

• 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 / zeta / zed.sty
• zeves.sty: http: //www.informatik.uni-bremen.de/agbkb/lehre/ss12/foma/Z/z-eves.sty
• Zeta-csp.sty: http: // ctan.mackichan.com/macros/latex/contrib/zed-csp/zed-csp.sty

Más información sobre estos paquetes se puede encontrar aquí: http://czt.sourceforge.net/latex/

Se explica que fue el fuzz.sty fue la primera y contiene macros importantes todavía no es compatible con la norma ISO-Z estándar, zed.sty y csp.sty zeta eran una versión mejorada de Oxford que fuzz.sty etc.

Answer 3

Esto es lo que mi profesor de Ingeniería de Software utilizado para el látex de formato al crear el Z-esquemas y Operaciones:

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

Espero que sea útil.