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

Bài giảng Đặc tả hình thức - Chương 7: Kiểu ánh xạ cung cấp cho người học các kiến thức: Ánh xạ, các hàm và thao tác trên ánh xạ, đặc tả sử dụng ánh xạ. Mời các bạn cùng tham khảo nội dung chi tiết.

Chương 7 Kiểu ánh xạ

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

Nội dung

 Ánh xạ

 Các hàm và thao tác trên ánh xạ

 Đặc tả sử dụng ánh xạ

Kiểu ánh xạ

 Ví dụ:

{ “TH301” ↦ “Đặc tả hình thức”,

“TH402” ↦ “Công cụ và Môi trường phát triển phần mềm”,

“TH403” ↦ “Xây dựng phần mềm hướng đối tượng”, …}

Kiểu ánh xạ

custs: Name  Acc-no

accs: Acc-no  Account

m m

m

m

Hàm và thao tác trên ánh xạ

 Ví dụ:

vowel {„A‟ ↦ 65, „E‟ ↦ 69, „I‟ ↦ 73, „O‟ ↦ 79, „U‟ ↦ 85}

dom (vowel) = {„A‟, „E‟, „I‟, „O‟, „U‟}

rng (vowel) = {65, 69, 73, 79, 85}

vowel(„A‟) = 65

vowel(„U‟) = 85

Toán tử cập nhật †

 Kết quả của m † n là tập hợp tất cả các bộ trong n và các bộ

trong m không có tiền ảnh/khóa trong dom (n)

 Ví dụ:

{ 2 ↦ 4, 1 ↦ 3} † {3 ↦ 5, 1 ↦ 2} = {1 ↦2, 2 ↦ 4, 3 ↦ 5}

{ 3 ↦ 5, 1 ↦ 2} † {2 ↦ 4, 1 ↦ 3} = {1 ↦3, 2 ↦ 4, 3 ↦ 5}

Toán tử chọn các bộ theo tập khóa ⊲

Toán tử chọn các bộ theo tập khóa ⊲

Toán tử xóa bộ dựa vào tập khóa ⊲

Toán tử xóa bộ dựa vào tập khóa ⊲

Đặc tả với kiểu ánh xạ

Đăng-ký = Sinh-Viên  Lớp-set

Danh-sách-lớp = Lớp  Sinh-Viên-set

m m