การประกอบสคีมาใน Z

⨟ รวมสคีมา Z สองชุด หรือคำอธิบายระบบที่มีชื่อกำกับ เข้าด้วยกัน สคีมาคือชุดตัวแปรและเงื่อนไขที่มีชื่อ ใช้อธิบายสถานะหรือการทำงานของระบบ ตัวแปรที่บอกสถานะหลังการทำงานแรกจะตรงกับตัวแปรของสถานะที่การทำงานถัดไปคาดหวังก่อนเริ่ม Z จะซ่อนสถานะขั้นกลางที่ทั้งสองใช้ร่วมกันไว้ในผลลัพธ์

มีแนวคิดเกี่ยวกับ Z ในช่วงปลายทศวรรษ 1970 เพื่อใช้อธิบายระบบคอมพิวเตอร์ด้วยคณิตศาสตร์ และพัฒนาต่อเนื่องตลอดทศวรรษ 1980 คู่มืออ้างอิงฉบับแรกที่เผยแพร่อย่างกว้างขวางออกมาในปี 1989 Z อาศัยทฤษฎีเซต ซึ่งเป็นคณิตศาสตร์ว่าด้วยกลุ่มของสิ่งต่าง ๆ และตรรกศาสตร์ภาคแสดง ซึ่งใช้ระบุเงื่อนไขที่เป็นจริงหรือเท็จได้

ใช้ ⨟ เฉพาะในสัญกรณ์ Z

นี่คือตัวดำเนินการในแคลคูลัสสคีมาของ Z หรือกฎสำหรับรวมสคีมาเข้าด้วยกัน ไม่ได้หมายถึงการประกอบฟังก์ชันหรือความสัมพันธ์โดยทั่วไป