tailieunhanh - Bài giảng Đặc tả hình thức: Chương 3 - PGS.TS. Vũ Thanh Nguyên

Bài giảng "Đặc tả hình thức - Chương 3: Mô hình hóa dữ liệu kiểu tập hợp" cung cấp cho người học các kiến thức: Kiểu dữ liệu trong VDM, mô hình hóa dữ liệu, kiểu tập hợp, đặc tả operation,. nội dung chi tiết. | Bài giảng Đặc tả hình thức: Chương 3 - . 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 3 Mô hình hóa dữ liệu Kiểu tập hợp Giảng viên: . Vũ Thanh Nguyên 4/5/2019 . Vũ Thanh Nguyên 1 Kiểu dữ liệu trong VDM integer values: {-32768, , 32767} operations: +, - , *, div, mod, =, , >, =, Các tập hợp được định nghĩa sẵn Tập số nguyên ℤ = { , -2, -1, 0, 1, 2, } Tập số tự nhiên ℕ = {0, 1, 2, 3, } Tập số nguyên dương ℕ1 = {1, 2, 3, } Tập số thực ℝ Tập số hữu tỉ ℚ Tập boolean B = {true, false} Tập ký tự (gồm chữ cái hoa/thường, số, phép toán, dấu câu) Char = {‘a’, ‘b’, ‘c’, ‘d’, ‘e’, ‘f’, ‘g’, ‘h’, ‘i’, ‘j’, ‘k’, ‘l’, ‘m’, ‘n’, ‘o’, ‘p’, ‘q’, ‘r’, ‘s’, ‘t’, ‘u’, ‘v’, ‘w’, ‘x’, ‘y’, ‘z’, ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘I’, ‘J’, ‘K’, ‘L’, ‘M’, ‘N’, ‘O’, ‘P’, ‘Q’, ‘R’, ‘S’, ‘T’, ‘U’, ‘V’, ‘W’, ‘X’, ‘Y’, ‘Z’, ‘0’, ‘1’, ‘2’, ‘3’, ‘4’, ‘5’, ‘6’, ‘7’, ‘8’, ‘9’, ‘+’, ‘-’, ‘=‘, ‘’, ‘*’, ‘/’, ‘(‘, ‘)’, ‘[‘, ‘]’, ‘{‘, ‘}’, ‘.’, ‘,’, ‘?’, ‘!’, } 4/5/2019 . Vũ Thanh Nguyên 3 Các tập hợp được định nghĩa sẵn 4/5/2019 . Vũ Thanh Nguyên 4 Các tập hợp được định nghĩa sẵn Một kiểu dữ liệu bao gồm: Tập hợp các giá trị Hệ thống các phép toán cơ sở Dựa trên các phép toán này, ta có thể đặc tả các phép toán còn lại. Một phép toán (có thể được gọi là 1 hàm) là một ánh xạ riêng phần trên tập D X, D là miền xác định của f: 4/5/2019 . Vũ Thanh Nguyên 5 Mô hình hóa dữ liệu Technical-Staff values: {PROJECT-MANAGER, TEAM-LEADER, ANALYST, DESIGNER, PROGRAMMER, TESTER} operations: Technical-Staff = {PROJECT-MANAGER, TEAM-LEADER, ANALYST, DESIGNER, PROGRAMMER, TESTER} 4/5/2019 .