Object Constraint Language (OCL)

OCL Giảng viên hướng dẫn: đào thị hường Nhóm sinh viên: phạm gia điền Bùi thị phương Vũ việt tuấn Tr ầ n t h n h l ộ c OCL gì? • OCL viết tắt Object Constraint Language • Là ngôn ngữ giới hạn đối tượng • Là thành phần OMG(Object Management Group) • Object Management Group: quản lý nhóm đối tượng OCL Language • OCL ngôn ngữ ràng buộc đối tượng; đó, biểu đồ OCL đảm bảo để mà không bị nghĩ sai tác dụng kiểu OCL đánh giá, đơn giản trả giá trị Nó thay đổi điều mô hình Điều có nghĩa phân tich hệ thống không thay đổi đánh giá biểu đồ OCL, biểu OCL dùng để xác định thay đổi trạng thái (ví dụ, điều kiện) OCL Language • OCL ngôn ngữ lập trình; đó, viết chương trình logic kiểm soát kiện OCL Bạn gọi trình khởi tạo hoạt động truy vấn OCL Bởi OCL ngôn ngữ mô hình lần nơi, biểu thức OCL không theo định nghĩa trực tiếp thực thi OCL Language • OCL ngôn ngữ để mô hình OCL có loại Để hình thành tốt, mô hình OCL phải phù hợp quy tắc sử dụng phù hợp ngôn ngữ Ví dụ, bạn so sánh số nguyên với chuỗi Classifier xác định mô hình UML đại diện cho loại OCL riêng biệt Ngoài ra, OCL bao gồm tập hợp định nghĩa trước bổ sung loại Sử dụng OCL để làm gì? Mô tả input, output Ngôn ngữ truy vấn Sác định kiểu class phương thức OCL Mô tả rang buôc phương thức Xác định tính bất biến cho Xác định quy tắc, thuộc tính đối tượng cho UML Cú pháp OCL • Khai báo ngữ cảnh • Cú pháp khai báo ngữ cảnh • Từ khóa seft • Tiền điều kiện/hậu điều kiện – pre/post condition Khai báo ngữ cảnh • OCL ngôn ngữ hình thức, chúng biểu diễn dạng biểu thức.Biểu thức OCL dùng để đặc tả cho UML luôn phải gắn liền với đối tượng mô hình UML Do trước tiến hành biểu diễn biểu thức OCL phải khai báo ngữ cảnh mà biểu thức OCL tham gia Cú pháp khai báo ngữ cảnh • Khai báo ngữ cảnh khóa context tiếp đến tên ngữ cảnh • Ví dụ: khai báo ngữ cảnh có tên Person: context Person Từ khóa seft • Biểu thức OCL đặt ngữ cảnh cụ thể, đ ể thể đối tượng ngữ cảnh sử dụng từ khóa seft 10 Khai báo biến bất biến • Khai báo bất biến bắt đầu với từ khóa inv, tiếp đến tên bất biến • Ví dụ: context Class khai báo ngữ cảnh có tên Class inv : seft numberOfSdudents > 50 Khai báo giá trị bất biến 11 Tiền điều kiện/hậu điều kiện – pre/post condition • Tiền điều kiện hậu điều kiện ràng buộc liên kết tới phương thức phân loại lớp • Tiền điều kiện chứa biểu thức OCL (trả kết Boolean).Biểu thức OCL phải đánh giá phương thức bắt đầu thực thi, việc đánh giá áp dụng cho thể thực thi phương thức • Hậu điều kiện biểu diễn biểu thức OCL (trả kết Boolean) Việc đánh giá biểu thức OCL thời điểm kết thúc thực thi phương thức • Dùng @pre để tham chiếu đến giá trì tiền điều kiện 12 Cú pháp • context Typename::operationName(para1 : Type1, para2 : Type2, )Return Type • pre: Khai báo tiền điều kiện • post: Khai báo hậu điều kiện 13 Cú pháp khác 14 Cú pháp khác 15 The end 16 ... gì? • OCL viết tắt Object Constraint Language • Là ngôn ngữ giới hạn đối tượng • Là thành phần OMG (Object Management Group) • Object Management Group: quản lý nhóm đối tượng OCL Language • OCL ngôn... đổi đánh giá biểu đồ OCL, biểu OCL dùng để xác định thay đổi trạng thái (ví dụ, điều kiện) OCL Language • OCL ngôn ngữ lập trình; đó, viết chương trình logic kiểm soát kiện OCL Bạn gọi trình... OCL Bởi OCL ngôn ngữ mô hình lần nơi, biểu thức OCL không theo định nghĩa trực tiếp thực thi OCL Language • OCL ngôn ngữ để mô hình OCL có loại Để hình thành tốt, mô hình OCL phải phù hợp quy tắc