تركيب المخططات في Z

يجمع مخططَي Z، أي وصفين مسمّيين للنظام. المخطط كتلة مسمّاة من المتغيرات والشروط تصف حالة النظام أو إحدى عملياته. تتطابق متغيرات الحالة بعد العملية الأولى مع متغيرات الحالة التي تتوقعها العملية الثانية قبل البدء؛ ويُخفي Z تلك الحالة الوسيطة المشتركة في النتيجة.

وُضعت Z في أواخر سبعينيات القرن العشرين لوصف أنظمة الحاسوب باستخدام الرياضيات، ثم تطورت خلال ثمانينيات القرن نفسه. صدر أول دليل مرجعي واسع النشر عام 1989. وتعتمد Z على نظرية المجموعات، وهي رياضيات المجموعات، وعلى منطق القضايا الذي يعبّر عن شروط يمكن أن تكون صحيحة أو خاطئة.

استخدم ⨟ في ترميز Z فقط

هذا عامل في حساب المخططات في Z، أي القواعد التي تجمع المخططات. ولا يدل على تركيب عام للدوال أو العلاقات.