Bài giảng đặc tả hình thức chương 8 pgs ts vũ thanh nguyên

Slide 1 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 d[.]

Trường Đại học Công Nghệ Thông Tin, ĐHQG-HCM Khoa Công Nghệ Phần Mềm Chương 8: Ngôn Ngữ Đặc Tả Z PGS.TS Vũ Thanh Nguyên 4/5/2019 PGS.TS Vũ Thanh Nguyên Nội dung  Giới thiệu  Các thành phần ngơn ngữ  Giản đồ  Các phép tốn giản đồ 4/5/2019 PGS.TS Vũ Thanh Nguyên Giới Thiệu  Được xây dựng dựa lý thuyết tập hợp logic tốn học  Đây ngơn ngữ toán học chặt chẽ, sử dụng chủ yếu đặc tả hình thức để đặc tả yêu cầu chức hệ thống, đặc biệt hệ thống phần mềm  Ngôn ngữ Z không thiết kế để mô tả yêu cầu phi chức hệ thống  Ngôn ngữ không thiết kế cho đặc tả theo thời gian hay xử lý song song 4/5/2019 PGS.TS Vũ Thanh Nguyên Các Thành Phần Của Ngôn Ngữ  Logic mệnh đề Các khái niệm logic mệnh đề hệ thống ký hiệu logic mệnh đề ký pháp Z hồn tồn giống với ngơn ngữ tốn học thơng thường Có phép tốn mệnh đề ngơn ngữ Z liệt kê bảng đây, với độ ưu tiên giảm dần từ xuống dưới: 4/5/2019 PGS.TS Vũ Thanh Nguyên Các Thành Phần Của Ngôn Ngữ  Logic vị từ Các khái niệm định nghĩa logic vị từ hồn tồn giống tốn học, ngoại trừ ký hiệu có khác biệt Cú pháp chung vị từ sử dụng lượng từ: Qx:A|pq Trong đó: Q: lượng từ ( ) x: biến ràng buộc A: tập giá trị x p: ràng buộc biến q: vị từ 4/5/2019 PGS.TS Vũ Thanh Nguyên Các Thành Phần Của Ngôn Ngữ  Logic vị từ Ta có phát biểu tương đương sau: Như vậy, ký hiệu thuộc tập hợp Z dấu hai chấm (:), thay dấu  toán học Ký hiệu “sao cho” sử dụng dấu gạch đứng ( | ), ký hiệu “thì” sử dụng dấu chấm trịn () 4/5/2019 PGS.TS Vũ Thanh Nguyên Các Thành Phần Của Ngôn Ngữ  Logic vị từ “Tồn giá trị thỏa điều kiện” biểu diễn sau: “Tồn giá trị thỏa điều kiện” biểu diễn sau: Ví dụ: Phát biểu “có sách bàn” biểu diễn dạng vị từ sau: xDesk có nghĩa sách nằm bàn 4/5/2019 PGS.TS Vũ Thanh Nguyên Các Thành Phần Của Ngôn Ngữ  Logic vị từ Ký pháp-: Để xác định đối tượng tập hợp thỏa điều kiện, ngôn ngữ Z dùng ký pháp gọi ký pháp-, cụ thể sau: x: A|p đọc là: “có giá trị x thuộc tập A cho p” Khi ta ký hiệu: y=(x: A|p) tức y giá trị thuộc tập A cho p Ví dụ 4: Ta nói “2 số thuộc tập số tự nhiên thỏa 4+n=6”: 2=(x: N|4+n=6) 4/5/2019 PGS.TS Vũ Thanh Nguyên Các Thành Phần Của Ngôn Ngữ  Lý thuyết tập hợp Tập hợp biểu diễn dạng liệt kê : S == {a, b, c} Tập hợp biểu diễn dạng vị từ: S == {x :X | p(x)} Tập hợp rỗng: S ==  Để biểu diễn phát biểu: „giá trị x thuộc tập S‟, ta dùng ký hiệu: xS Để biểu diễn phát biểu : „giá trị x không thuộc thuộc tập S‟, ta dùng ký hiệu : x  S  (x  S) 4/5/2019 PGS.TS Vũ Thanh Nguyên Các Thành Phần Của Ngơn Ngữ  Các phép tốn tập hợp  Tập tất tập tập hợp (Power set) Ký hiệu : PX 4/5/2019 PGS.TS Vũ Thanh Nguyên 10 ... thiết cho q trình đặc tả Nó giúp cho đặc tả ngắn gọn, xác, tránh trùng lắp rõ ràng, dễ hiểu 4/5/2019 PGS. TS Vũ Thanh Nguyên 16 Giản Đồ  Ví dụ: hay 4/5/2019 PGS. TS Vũ Thanh Nguyên 17 Giản Đồ... 4/5/2019 PGS. TS Vũ Thanh Nguyên Giới Thiệu  Được xây dựng dựa lý thuyết tập hợp logic tốn học  Đây ngơn ngữ toán học chặt chẽ, sử dụng chủ yếu đặc tả hình thức để đặc tả yêu cầu chức hệ thống, đặc. .. hiệu viết lại thành ^= Tên ^= [khai báo | ràng buộc] 4/5/2019 PGS. TS Vũ Thanh Nguyên 18 Giản Đồ  Ví dụ: hay 4/5/2019 PGS. TS Vũ Thanh Nguyên 19 Giản Đồ  Giản đồ tương đương Hai giản đồ gọi tương