Chương III : Áp dụng và mở rộng SPSC
3.1 Phần mềm hỗ trợ
3.1.1 Chức năng của phần mềm
Để thuận tiện cho việc chuyển đổi từ ngôn ngữ tự nhiên sang SPSC, chúng tôi đã xây dựng phần mềm hỗ trợ. Phần mềm này thực hiện các chức năng sau:
- Cho phép thêm mới/sửa/xóa các yêu cầu (trong đó cho phép sửa nội dung mô tả bằng ngôn ngữ tự nhiên)
- Đối với mỗi yêu cầu, phần mềm sẽ đưa ra câu hỏi và các lựa chọn để giúp người dùng tìm được mô tả phù hợp trong SPSC
- Xuất ra file định dạng .doc để dễ dàng trao đổi với các bên liên quan. Giao diện trang chủ của phần mềm như trong Hình 3.1.
Hình 3.1: Trang chủ phần mềm hỗ trợ
3.1.1.1 Thêm/sửa/xóa tên yêu cầu
Hình 3.2 thể hiện giao diện cho phép người dùng thêm/sửa/xóa tên các yêu cầu của hệ thống.
Hình 3.2: Giao diện thêm/sửa/xóa yêu cầu
35
3.1.1.2 Xem chi tiết yêu cầu
Sau khi nhập tên các yêu cầu, người dùng sẽ được chuyển vào giao diện chính trong đó liệt kê tất cả các yêu cầu ở phía tay trái màn hình như trong Hình 3.3.
Hình 3.3: Giao diện xem chi tiết yêu cầu
Khi người dùng click vào tên yêu cầu, ở phía bên phải màn hình, hệ thống sẽ đưa ra thông tin tương ứng với yêu cầu đó, bao gồm: nội dung yêu cầu bằng ngôn ngữ tự nhiên (phần “Description”), yêu cầu sau khi đã chuyển sang SPSC (phần “corresponding SPS”).
3.1.1.3 Chỉnh sửa mô tả yêu cầu bằng ngôn ngữ tự nhiên
Nếu người dùng muốn chỉnh sửa phần nội dung yêu cầu bằng ngôn ngữ tự nhiên thì từ giao diện xem chi tiết yêu cầu, click vào “Edit description”, hệ thống sẽ cho phép chỉnh sửa lại phần mô tả này như trong Hình 3.4.
Hình 3.4: Giao diện chỉnh sửa mô tả yêu cầu bằng ngôn ngữ tự nhiên
3.1.1.4 Cung cấp bảng hỏi hỗ trợ sinh mô tả trong SPSC
Nếu người dùng muốn chỉnh sửa phần SPSC tương ứng của yêu cầu thì click vào “Generate SPS” trong giao diện “Xem chi tiết yêu cầu”, hệ thống sẽ hiện ra bảng hỏi với cách xử lý được mô tả trong phần 2.4.3. Bảng thống kê tương ứng giữa SPSCQT và SPSC.
Giả sử với câu hỏi đầu tiên về yêu cầu này có tính xác suất hay không, người dùng trả lời rằng không có tính xác xuất. Hệ thống sẽ tiếp tục với câu hỏi về phạm vi như trong hình 3.5.
36
Hình 3.5: Giao diện câu hỏi mô tả phạm vi
Nếu người dùng chọn lựa chọn thứ hai (No) thì hệ thống sẽ trả về phạm vi tương ứng là “Globally” như trong hình 3.6.
Hình 3.6: Giao diện trả về kết quả phạm vi Và hệ thống sẽ tiếp tục hỏi đến mô tả hành vi như trong hình 3.7. Và hệ thống sẽ tiếp tục hỏi đến mô tả hành vi như trong hình 3.7.
Hình 3.7: Giao diện câu hỏi mô tả xử lý
37
Nếu người dùng chọn “Two events”, hệ thống sẽ cho phép người dùng nhập tên của 02 sự kiện.
Hình 3.8: Giao diện nhập tên sự kiện
Sau khi người dùng đã nhập tên sự kiện, hệ thống tiếp tục hỏi về quan hệ giữa các sự kiện. Trong các câu hỏi và câu trả lời đã chèn tên sự kiện vào để tạo giao diện trực quan cho người dùng.
Hình 3.9: Giao diện câu hỏi mối quan hệ giữa các sự kiện
Nếu người dùng chọn câu trả lời đầu tiên (như đánh dấu trên Hình 3.9), hệ thống trả về kết quả mô tả tương ứng trong SPSC như trong hình 3.10.
38
Hình 3.10: Giao diện kết quả chuyển đổi sang SPSC
3.1.1.5 Xuất file văn bản định dạng .doc
Khi có tối thiểu một mô tả yêu cầu trong SPSC, hệ thống cho phép xuất file văn bản định dạng .doc bằng cách click vào nút “Export all” (như trong hình 3.10). File văn bản xuất ra có định dạng như Hình 3.11.
Hình 3.11: File văn bản xuất ra từ phần mềm