Xác định yêu cầ u

Một phần của tài liệu (LUẬN VĂN THẠC SĨ) Phương pháp hình thức trong việc phát triển hệ thống hướng đối tượng (Trang 46 - 47)

Công cụ này trợ giúp quá trình phát triển phần mềm hướng đối tượng dựa trên một khung nhìn duy nhất – khung nhìn biểu đồ lớp. Vì thế, công cụ cần trợ giúp người dùng thực hiện các thao tác thêm và biến đổi các thành phần của biểu đồ lớp, công cụ cần phải có một giao diện người dùng trực quan với các ký pháp UML. Người dùng chỉ cần chỉ ra các yêu cầu cần thiết bằng cách vẽ biểu đồ với các ký pháp đồ họa chuẩn, khi đó công cụ sẽ tiến hành các phép biến đổi phía trong theo đúng các luật và ràng buộc đặt ra để đảm báo tính đúng đắn của hệ thống đặc tả nhận được. Sử dụng công cụ thực hiện một loạt các phép biến đổi, người dùng có thể chuyển biểu đồ lớp khái niệm ban đầu về biểu đồ lớp thiết kế cuối cùng. Các thao tác cơ bản mà công cụ cần hỗ trợ bao gồm: thêm lớp (có thể kế thừa), thêm thuộc tính, thêm phương thức vào một lớp, thay đổi các đặc trưng của thuộc tính, của phương thức, thêm và thay đổi các mối quan hệ giữa các lớp.

Ngoài ra, công cụ cần có khả năng quản lý các tệp đặc tả hệ thống, bao gồm:

tạo mới một hệ thống hay mở tệp của một hệ thống đã có hay lưu chúng vào tệp để sử dụng sau này. Ta có thể mô tả các chức năng của công cụ bảng 3:

Tham khảo Chức năng

R.1 Quản lý hệ thống

R.1.1 Tạo tệp hệ thống mới R.1.2 Lưu tệp hệ thống đang dùng R.1.3 Mở tệp hệ thống đã có

R.1.3 Xuất đặc tả ra file có định dạng chung để có thể tương tác với công cụ CASE khác

R.2 Phát triển và làm mịn đặc tả hệ thống

R.2.1 Thêm lớp (có thể kế thừa) vào hệ thống R.2.2 Xóa lớp của hệ thống

R.2.3 Chọn một lớp từ hệ thống đang mở

Tham khảo Chức năng

R.2.6 Thay đổi đặc trưng của thuộc tính của lớp được chọn R.2.7 Thay đổi đặc trưng của phương thức của lớp được chọn R.2.8 Xóa thuộc tính/phương thức của lớp được chọn

R.2.9 Thêm mới quan hệ giữa hai lớp của hệ thống đang mở

R.2.10 Thay đổi mối quan hệ giữa hai lớp của hệ thống đang mở

R .2.11 Xóa một quan hệ giữa hai lớp của hệ thống đang mở

Bảng 3. Bảng tổng hợp chức năng của công cụ

Một phần của tài liệu (LUẬN VĂN THẠC SĨ) Phương pháp hình thức trong việc phát triển hệ thống hướng đối tượng (Trang 46 - 47)

Tải bản đầy đủ (PDF)

(81 trang)