Bài giảng "Đặc tả hình thức - Chương 6: Kiểu đối tượng phức" bao gồm các nội dung: Định nghĩa kiểu đối tượng phức, khởi tạo đối tượng phức, ràng buộc trên kiểu dữ liệu, cập nhật đối tượng phức. . | Bài giảng Đặc tả hình thức: Chương 6 - . 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 6: Kiểu đối tượng phức . Vũ Thanh Nguyên 4/5/2019 . Vũ Thanh Nguyên 1 Nội dung Định nghĩa kiểu đối tượng phức Khởi tạo đối tượng phức Ràng buộc trên kiểu dữ liệu Cập nhật đối tượng phức 4/5/2019 . Vũ Thanh Nguyên 2 Đặc tả kiểu đối tượng phức Trong quá trình phát triển các ứng dụng, đối với các kiểu dữ liệu được hỗ trợ trong hệ thống không đủ sức mạnh để chúng ta đặc tả các bài toán phức tạp. Đối với khái niệm trong ngôn ngữ lập trình thì chúng ta sử dụng cấu trúc dữ liệu để mô tả các đối tượng này và trong đặc tả hình thức chúng ta có khái niệm tương tự đó là đối tượng phức. Với một đối tượng phức chúng ta có thể xử lý được nhiều thông tin hơn so với đối tượng có sẵn. 4/5/2019 . Vũ Thanh Nguyên 3 Đặc tả kiểu đối tượng phức Cú pháp: Tên-kiểu-đối-tượng-phức :: Tên-field1: Kiểu1 Tên-field2: Kiểu2 Tên-fieldn: Kiểun 4/5/2019 . Vũ Thanh Nguyên 4 Đặc tả kiểu đối tượng phức Ở đó: ký hiệu :: có thể được đọc là ”is composed of” mà có thể định nghĩa tương đương 2 khả năng sau: Name :: Name = compose Name of end Lưu ý: ký hiệu :: thường được sử dụng hơn so với compose 4/5/2019 . Vũ Thanh Nguyên 5 Đặc tả kiểu đối tượng phức Ví dụ: xác đinh kiẻu dữ liệu Datec Datec :: day : {1, ,366} year : N hoặc Datec = compose Datec of day : {1, ,366} year : N end 4/5/2019 . Vũ Thanh Nguyên 6 Đặc tả kiểu đối tượng phức Ví dụ: xác đinh kiẻu dữ