Giới thiệu phương pháp

Một phần của tài liệu (Luận án tiến sĩ) Các kỹ thuật chuyển đổi mô hình và sinh mã trong phát triển ứng dụng web hướng mô hình (Trang 60 - 61)

Trong quá trình phát triển phần mềm người ta nhận ra rằng, chỉ với hệ thống ký hiệu trực quan trong UML thì không thể hiện được hết các khía cạnh của hệ thống phần mềm. Chính vì thế, OCL được xây dựng và phát triển với mục đích, bổ sung cho các đặc tả UML trở nên rõ ràng và chính xác hơn. Thêm vào đó, OCL là ngôn ngữ chuẩn, được chấp nhận rộng rãi để viết các ràng buộc trong các mô hình UML; ví dụ: có thể viết ràng buộc cho các thuộc tính trong biểu đồ lớp, các bất biến (invariants) của các trạng thái, các bảo vệ (guards) của sự chuyển đổi các trạng thái, ràng buộc trong biểu đồ tuần tự, tiền và hậu điều kiện của các phương thức. OCL giúp khắc phục những thiếu sót và hạn chế của các mô hình, nó giúp biểu diễn các đặc tả, các ràng buộc mà nhiều khi mô hình không thể biểu diễn hết được. Do vậy, đề tài đã chọn theo hướng tích hợp OCL vào các mô hình nhằm giúp cho việc chuyển đổi tự động giữa các mô hình hiệu quả hơn.

Với phương pháp tiếp cận của luận án, phát triển ứng dụng web dựa trên việc mô tả mô hình yêu cầu, sau đó chuyển đổi tự động sang các mô hình khác trong UWE: mô hình nội dung, điều hướng, xử lý, trình bày. Bản thân các mô hình trong kỹ thuật UWE tuy có cấu trúc khác biệt và được định nghĩa thêm một số thành phần mới so với các mô hình UML khác, nhưng bản chất vẫn là các thành phần của UML. Vì vậy, việc áp dụng ràng buộc OCL vào mô hình yêu cầu và thực hiện chuyển đổi mô hình là một hướng mở rộng cho phương pháp này.

Trong mục 2.2 đã trình về quá trình chuyển đổi từ mô hình, các thành phần ở mô hình đích sẽ được chuyển sang các thành phần tương ứng ở mô hình nguồn. Ví dụ như user action thành process class, pin thành các thuộc tính của class và tham số của phương thức validate. Khi pin đó cần phải kiểm tra tính hợp lệ của giá trị, thì một hoặc một số ràng buộc OCL sẽ được khai báo và gán cho pin đó. Vậy yêu cầu đặt ra là, sau chuyển đổi mô hình, tạo ra các thành phần đích tương ứng với thành phần

nguồn, các OCL cũng phải được chuyển đổi để đảm bảo tính nhất quán và làm giàu thông tin cho quá trình sinh mã.

Ngôn ngữ ràng buộc OCL sở hữu nhiều loại ràng buộc khác nhau, nhưng thông dụng nhất là 3 ràng buộc: Bất biến; tiền điều kiện - hậu điều kiện; giá trị khởi tạo và giá trị dẫn xuất. Tuy nhiên, ràng buộc giá trị khởi tạo và giá trị dẫn xuất phần lớn là ảnh hưởng đến cơ sở dữ liệu. Vì vậy, trong luận án sẽ tập trung vào 2 ràng buộc OCL là ràng buộc bất biến và tiền điều kiện - hậu điều kiện. Các ràng buộc OCL sẽ được đặc tả dưới những thành phần khác nhau trên từng mô hình để phù hợp với cấu trúc của mô hình trong UWE. Chi tiết về các quy tắc chuyển đổi từ mô hình yêu cầu sang mô hình xử lý và mô hình trình bày tích hợp OLC được đề cập ở phần tiếp theo của luận án.

Một phần của tài liệu (Luận án tiến sĩ) Các kỹ thuật chuyển đổi mô hình và sinh mã trong phát triển ứng dụng web hướng mô hình (Trang 60 - 61)