Như đã đề cập trong các chương trước, một trong những đặc tính cơ bản của DLs là hỗ trợ cho sự phân biệt giữa nguyên thủy / nguyên tử khái niệm-mà trường chỉ có thể tuyên bố một cách rõ ràng khái niệm-đó-và xác định cung cấp các điều kiện cần và đủ cho các thành viên. Vì vậy, ví dụ, chúng ta có thể phân biệt giữa khái niệm "người vay" là một người có thể mượn một cuốn sách (một khách hàng đã được phê duyệt của thư viện)
/ * Vay được trước đó tuyên bố là một khái niệm nguyên thủy.
Ở đây nó được chỉ định những gì hạn chế về vay là hiệu lực đối với khái niệm này * /
v vay (tất cả hasBorrowed Book)
từ khái niệm "người vay" là một người đã thực sự vay mượn một cuốn sách từ
thư viện
/ * vay được định nghĩa là một người đã mượn cuốn sách * /
vay. (Và (tất cả hasBorrowed Book)
(at-ít nhất 1 hasBorrowed))
Bây giờ chúng ta chuyển sang xem xét một loạt các vấn đề tinh tế mà phát sinh khi mô hình hóa một miền. Hầu như tất cả các vấn đề phát sinh độc lập với ngôn ngữ mô hình được sử dụng; những gì chúng tôi nhấn mạnh ở đây là loạt các giải pháp có thể trong khuôn khổ DL là.
đang được dịch, vui lòng đợi..
