Phép hợp thành lược đồ Z

Nó kết hợp hai lược đồ Z, tức hai mô tả có tên về hệ thống. Lược đồ là một khối có tên gồm các biến và điều kiện, dùng để mô tả trạng thái hoặc thao tác của hệ thống. Các biến chỉ trạng thái sau thao tác thứ nhất khớp với các biến chỉ trạng thái mà thao tác thứ hai mong đợi trước khi bắt đầu; Z ẩn trạng thái trung gian chung đó trong kết quả.

Z được hình thành vào cuối thập niên 1970 để mô tả hệ thống máy tính bằng toán học và tiếp tục phát triển trong thập niên 1980. Sổ tay tham khảo đầu tiên được xuất bản rộng rãi ra mắt năm 1989. Z dựa trên lý thuyết tập hợp, ngành toán học về các tập hợp, và logic vị từ, dùng để biểu đạt điều kiện có thể đúng hoặc sai.

Chỉ dùng ⨟ trong ký pháp Z

Đây là toán tử trong phép tính lược đồ của Z, tức các quy tắc kết hợp lược đồ. Nó không biểu thị phép hợp thành hàm hoặc quan hệ nói chung.