जेड विनिर्देशों

Question

वहाँ LaTeX जो जेड विनिर्देशों लेखन का समर्थन करेंगे के लिए किसी भी पैकेज है? मुझे स्कीमा के लिए दोनों क्षैतिज और लंबवत स्वरूपों में दिलचस्पी है।

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

काफी कुछ संकुल जो की पेशकश LaTeX में 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
• जेड-सीएसपी। शूकरशाला: http://ctan.mackichan.com/macros/latex/contrib/zed-csp/zed-csp.sty

इन पैकेजों पर अधिक जानकारी यहां पाया जा सकता है: http://czt.sourceforge.net/latex/

यह बताते हैं कि था fuzz.sty पहला था और अभी तक महत्वपूर्ण मैक्रो शामिल आईएसओ-जेड स्टैंडर्ड, zed.sty और जेड-csp.sty साथ संगत नहीं है कि fuzz.sty आदि

Answer 3

पर सुधार एक ऑक्सफोर्ड संस्करण थे यह वही मेरी सॉफ्टवेयर इंजीनियरिंग के प्रोफेसर जब जेड स्कीमा और संचालन बनाने 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} 

मुझे आशा है कि यह उपयोगी है।