Đang chuẩn bị liên kết để tải về tài liệu:
Bài giảng Đặc tả hình thức: Chương 8 - PGS.TS. Vũ Thanh Nguyên

Bài giảng "Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z" cung cấp cho người học các kiến thức: 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 đồ. nội dung chi tiết. | Bài giảng Đặc tả hình thức: Chương 8 - 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 Chương 8: Ngôn Ngữ Đặc Tả Z PGS.TS. Vũ Thanh Nguyên 4/5/2019 PGS.TS. Vũ Thanh Nguyên 1 CuuDuongThanCong.com https://fb.com/tailieudientucntt 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 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https://fb.com/tailieudientucntt 2 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 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https://fb.com/tailieudientucntt 3 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 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https://fb.com/tailieudientucntt 4 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 1 vị từ sử dụng lượng từ: Qx: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ừ. 4/5/2019 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https://fb.com/tailieudientucntt 5 Các Thành Phần Của Ngôn Ngữ Logic vị từ. Ta có các phát biểu tương đương như sau: Như vậy, ký hiệu thuộc về 1 tập hợp trong Z là