Công cụ FM Tool

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 57 - 60)

Hình 17.Giao diện công cụ FM Tool

Tiến hành quy trình theo các phần được trình bày ở trên, chúng tôi đã xây dựng thành công công cụ FM Tool (hình 17) có các chức năng theo mô tả ở phần III.2.1.

Quản lý đặc tả hệ thống a)

Giao diện của FM Tool được thiết kế khá đơn giản và dễ sử dụng. Menu và thanh công cụ đều rất quen thuộc với người dùng vì thế các thao tác tạo, lưu và mở tệp hệ thống được thực hiện dễ dàng:

Tạo tệp hệ thống mới: chọn menu File

- Æ New hoặc ấn nút New ở thanh công

cụ.

Lưu tệp hệ thống: chọn menu File

- Æ Save hoặc ấn nút Save ở thanh công cụ.

Mở tệp hệ thống đã có: chọn menu File

- Æ Open hoặc ấn nút Open ở thanh

- Để xuất đặc tả hệ thống ra XMI có thể chọn từ menu FileÆ Export to XMI

hoặc ấn nút Export to XMI trên thanh công cụ.

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

Sử dụng FM Tool, người dùng có thể thực hiện các thao tác để có thể phát triển một hệ thống phần mềm hướng đối tượng:

- Để thêm các thành phần như lớp, quan hệ giữa các lớp vào đặc tả hệ thống, người dùng click vào thanh công cụ và vẽ các đối tượng tương ứng vào phần thể hiện ký pháp đồ họa.

- Để thay đổi vị trí, kích thước của các ký pháp đồ họa, cũng như trong các công cụ CASE khác, trong FM Tool người dùng chỉ cần thực hiện các thao tác kéo thả khá đơn giản.

- Các thành phần, thuộc tính của lớp có thể được sửa đồi bằng cách click phải chuột vào thành phần đó và chọn Properties từ menu popup (hình 18), chương trình sẽ hiển thị form sửa đổi (hình 19).

- Để xóa một thành phần: click phải chuột vào thành phần và chọn Delete hoặc ấn phím Delete.

Trong biểu diễn ký pháp đồ họa về tầm nhìn (visibility) của các thuộc tính và phương thức của lớp, chúng tôi thống nhất như sau: private được thể hiện bằng dấu trừ (-), protected được thể hiện bằng dấu thắng (#) còn public được thể hiện bằng dấu cộng (+) ngay phía trước thuộc tính và phương thức đó (hình 17).

Hình 18. Sửa đồi đối tượng bằng cách nhấn phải chuột và chọn Properties

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 57 - 60)

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

(81 trang)