4/5/2019 PGS.TS. Vũ Thanh Nguyên 1
Chương 8: Ngôn Ngữ Đặc Tả Z
PGS.TS. Vũ Thanh Nguyên
Trường Đại học Công Nghệ Thông Tin, ĐHQG-HCM
Khoa Công Nghệ Phần Mềm
4/5/2019 PGS.TS. Vũ Thanh Nguyên 2
Nội dung
Giới thiệu
Các thành phần của ngôn ngữ
Giản đồ
Các phép toán trên giản đồ
4/5/2019 PGS.TS. Vũ Thanh Nguyên 3
Giới Thiệu
Được xây dựng dựa trên lý thuyết tập hợp và logic toán học
Đây là một ngôn ngữ toán học chặt chẽ, được sử dụng chủ yếu
trong đặc tả hình thức để đặc tả các yêu cầu chức năng của 1
hệ thống, đặc biệt là hệ thống phần mềm.
Ngôn ngữ Z không được thiết kế để mô tả các yêu cầu phi
chức năng của hệ thống.
Ngôn ngữ cũng không được thiết kế cho các đặc tả theo thời
gian hay xử lý song song.
4/5/2019 PGS.TS. Vũ Thanh Nguyên 4
Các Thành Phần Của Ngôn Ngữ
Logic mệnh đề.
Các khái niệm về logic mệnh đề cũng như hệ thống ký hiệu
của logic mệnh đề trong ký pháp Z hoàn toàn giống với ngôn
ngữ toán học thông thường.
Có 5 phép toán mệnh đề trong ngôn ngữ Zđược liệt kê trong
bảng dưới đây, với độ ưu tiên giảm dần từ trên xuống dưới:
4/5/2019 PGS.TS. Vũ Thanh Nguyên 5
Các Thành Phần Của Ngôn Ngữ
Logic vị từ.
Các khái niệm và định nghĩa của logic vị từ cũng hoàn toàn
giống như trong toán học, ngoại trừ ký hiệu có khác biệt.
Cú pháp chung của 1vị từ sử dụng lượng từ:
Q x : A | p
q
Trong đó:
Q: lượng từ (hoặc ).
x: biến ràng buộc.
A: tập các giá trị của x.
p: ràng buộc trên biến.
q: vị từ.