Thông số kỹ thuật của Z trong LaTeX

Question

Có gói nào cho LaTeX sẽ hỗ trợ viết thông số kỹ thuật Z không? Tôi quan tâm đến cả hai định dạng ngang và dọc cho các lược đồ.

Answer 1

Có một gói, nó được gọi là zed-csp. Đây là một reference về cách sử dụng nó.

Dưới đây là một sơ đồ ví dụ:

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

Xem câu hỏi của tôi và trả lời về đề tài này: Zed Notation in LyX

Answer 2

Có khá một vài gói mà cung cấp hỗ trợ cho các văn bản Z đặc điểm kỹ thuật trong LaTeX. Mặc dù nhiều người có cú pháp rất giống nhau và một số cung cấp các chức năng bổ sung.

• 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
• zed-CSP. chuồng: http://ctan.mackichan.com/macros/latex/contrib/zed-csp/zed-csp.sty

Thông tin thêm về các gói này có thể được tìm thấy tại đây: http://czt.sourceforge.net/latex/

Nó giải thích rằng fuzz.sty là lần đầu tiên và chứa macro quan trọng chưa tương thích với tiêu chuẩn ISO-Z, zed.sty và zed-csp.sty là một phiên bản Oxford rằng cải thiện trên fuzz.sty vv

Answer 3

Đây là những gì phần mềm của tôi Engineering Giáo sư sử dụng cho LaTeX-định dạng khi tạo Z-Schemas và hoạt động:

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

tôi hy vọng nó có ích.