Bối cảnh và vấn đề nghiên cứu

Khóa luận tốt nghiệp thuộc chuyên ngành Công nghệ thông tin / Hệ thống thông tin, thực hiện đề tài phân tích và thiết kế hệ thống thông tin cho bài toán "Xây dựng phần mềm quản lý ký túc xá".

Về bối cảnh thực tiễn, tác giả chỉ ra rằng số lượng sinh viên tại các trường đại học ngày càng gia tăng, trong đó phần lớn là sinh viên từ các tỉnh lẻ có nhu cầu cấp thiết về chỗ ở nội trú. Ký túc xá là lựa chọn phổ biến do đảm bảo an ninh, chi phí thuê phòng hợp lý và tạo lập môi trường học tập, sinh hoạt tập trung. Tuy nhiên, công tác quản lý tại ký túc xá các trường đại học phần lớn vẫn áp dụng mô hình thủ công, chưa hợp lý. Khối lượng sinh viên đăng ký lớn khiến nhân viên phải thực hiện việc ghi chép sổ sách thủ công nhiều, dẫn đến nhầm lẫn, thông tin sinh viên bị sai lệch hoặc gây thất thoát tài chính. Do đó, việc xây dựng một phần mềm quản lý ký túc xá phù hợp với mô hình nhà trường là yêu cầu cấp thiết.

Hệ thống được xác định giải quyết 03 nhiệm vụ cơ bản:

  1. Đáp ứng các yêu cầu về dịch vụ thuê phòng của sinh viên.
  2. Kiểm soát chặt chẽ việc sinh viên nhận phòng và trả phòng.
  3. Thanh toán hóa đơn điện nước chính xác, hạn chế tối đa sai sót.

Đối tượng nghiên cứu của đề tài là toàn bộ quy trình nghiệp vụ quản lý ký túc xá sinh viên, bao gồm luồng công việc giữa các bộ phận chức năng, hệ thống giấy tờ giao dịch và dữ liệu phát sinh. Phạm vi nghiên cứu tập trung vào 03 bộ phận trực tiếp vận hành tại cơ sở ký túc xá của nhà trường:

  • Bộ phận lễ tân: Tiếp nhận hồ sơ đăng ký, nhập và lưu trữ thông tin sinh viên, hướng dẫn nhận phòng và trực tiếp thu tiền điện nước hàng tháng.
  • Bộ phận quản lý sinh viên: Xét duyệt hồ sơ đăng ký, cấp thẻ lưu trú, kiểm tra phòng và cơ sở vật chất, đối chiếu dữ liệu sinh viên do lễ tân nhập vào hệ thống.
  • Bộ phận quản lý điện nước: Kiểm tra chỉ số công tơ điện nước định kỳ, tính toán chi phí, lập hóa đơn và cập nhật dữ liệu vào hệ thống quản lý.

Cơ sở lý thuyết và phương pháp

Khóa luận áp dụng phương pháp luận phân tích và thiết kế hệ thống có cấu trúc (Structured Systems Analysis and Design), kết hợp kỹ thuật mô hình hóa tiến trình và mô hình hóa dữ liệu quan hệ.

Khung lý thuyết và công cụ mô hình hóa được tác giả sử dụng bao gồm:

  • Mô hình tiến trình nghiệp vụ và Biểu đồ hoạt động: Sử dụng các ký hiệu chuẩn về tác nhân trong/ngoài, tiến trình, luồng thông tin, điều kiện rẽ nhánh, luồng công việc và giấy tờ giao dịch để trực quan hóa quy trình thực tế.
  • Sơ đồ luồng dữ liệu (Data Flow Diagram - DFD): Phân rã hệ thống theo các cấp độ gồm DFD mức khung cảnh (mức 0), DFD mức đỉnh (mức 1) và DFD mức dưới đỉnh (mức 2) cho từng phân hệ nghiệp vụ.
  • Mô hình thực thể liên kết (Entity-Relationship Diagram - ERD): Áp dụng phương pháp chuyển đổi chuẩn hóa qua các giai đoạn từ ERD mở rộng về ERD kinh điển (xử lý thuộc tính đa trị), chuyển từ ERD kinh điển về ERD hạn chế (xử lý liên kết 1-1, xác định thuộc tính kết nối và khóa chính/khóa ngoại), và chuyển đổi sang mô hình dữ liệu quan hệ.
  • Ma trận phân quyền kiểm soát CERD (Create - Edit - Read - Delete) và bảng phân quyền tiến trình hệ thống (Allow / not Allow).

Phương pháp nghiên cứu thực tế dựa trên khảo sát hiện trạng hoạt động và hệ thống văn bản biểu mẫu đang lưu hành tại ký túc xá trường đại học. Nguồn dữ liệu sơ cấp được trích xuất trực tiếp từ 05 mẫu biểu giao dịch thực tế:

  • Phiếu đăng ký ở ký túc xá (MB1).
  • Thẻ lưu trú (MB2).
  • Đơn xin chuyển ra khỏi ký túc xá (MB3).
  • Hóa đơn điện - nước (MB4).
  • Hợp đồng thuê chỗ ở nội trú (MB5), với quy định thời hạn thuê 01 học kỳ (05 tháng).

Nội dung chính theo từng chương

Chương 1: Khảo sát hệ thống

Chương 1 tập trung khảo sát hiện trạng tổ chức, mô tả chi tiết các tác vụ nghiệp vụ và văn bản hóa toàn bộ quy trình giao dịch tại ký túc xá.

Cơ cấu tổ chức của hệ thống bao gồm 03 bộ phận với nhiệm vụ phân định rõ ràng: Bộ phận lễ tân, Bộ phận quản lý sinh viên và Bộ phận quản lý điện nước. Tác giả đã mô hình hóa 04 quy trình nghiệp vụ thông qua 17 thao tác xử lý liên tiếp:

  • Quy trình quản lý sinh viên vào KTX: Sinh viên nộp đơn đăng ký (MB1) tại lễ tân (1); lễ tân gửi hồ sơ sang bộ phận quản lý sinh viên xét duyệt (2); quản lý sinh viên sắp xếp phòng (3); tiến hành ký hợp đồng thuê phòng (MB5) (4); lễ tân dẫn sinh viên nhận phòng (5); bộ phận quản lý sinh viên cấp thẻ lưu trú (MB2) (6); lễ tân nhập thông tin sinh viên vào phần mềm (7).
  • Quy trình xử lý sinh viên ra khỏi KTX: Lễ tân tiếp nhận đơn xin chuyển ra (MB3) (8) và chuyển lên bộ phận quản lý xét duyệt (9); thực hiện kiểm tra đối chiếu; lễ tân cập nhật trạng thái trả phòng trên hệ thống (10).
  • Quy trình kiểm tra đối chiếu lại: Bộ phận quản lý sinh viên đối chiếu thông tin lễ tân đã nhập (11); kiểm tra cơ sở vật chất phòng ở trước khi cho sinh viên rời đi (12), yêu cầu bồi thường nếu có hư hỏng/mất mát tài sản; thông báo kết quả cho lễ tân để hoàn tất thủ tục trả phòng (13).
  • Quy trình quản lý điện, nước: Định kỳ hàng tháng, bộ phận quản lý kiểm tra và chốt số chỉ số công tơ điện nước (14); ghi chỉ số và tính toán chi phí (15); lập hóa đơn điện nước (MB4) (16); bàn giao cho lễ tân thu tiền (17).

Nội dung chương hoàn thiện với việc biểu diễn chi tiết các ký hiệu mô hình hóa tiến trình nghiệp vụ và biểu đồ hoạt động thể hiện sự tương tác qua lại giữa sinh viên và các phòng ban.

Chương 2: Phân tích hệ thống

Chương 2 thực hiện phân tích chức năng và phân tích dữ liệu, làm cầu nối chuyển đổi từ nghiệp vụ thực tế sang mô hình kỹ thuật.

Quá trình chuẩn hóa chức năng nghiệp vụ được tác giả thực hiện nghiêm ngặt qua 5 bước:

  1. Gạch chân các thao tác xử lý trong quy trình: Thu thập đủ 17 hành động nghiệp vụ.
  2. Loại bỏ thao tác trùng lặp: Giảm từ 17 xuống 15 hành động.
  3. Gom nhóm đơn giản các công việc liên quan.
  4. Loại bỏ chức năng không mang ý nghĩa xử lý hệ thống: Còn lại 14 chức năng cốt lõi.
  5. Đặt lại tên chức năng chuẩn hóa: Bao gồm (1) Đăng ký phòng, (2) Xét duyệt, (3) Sắp xếp phòng, (4) Ký hợp đồng, (5) Nhận phòng, (6) Cấp thẻ lưu trú, (7) Cập nhật thông tin lên hệ thống, (8) Trả phòng, (9) Kiểm tra thông tin sinh viên, (10) Kiểm tra phòng và tài sản, (11) Kiểm tra đồng hồ điện nước, (12) Tính tiền điện nước, (13) Lập hóa đơn điện nước, (14) Thu tiền điện nước.

Từ 14 chức năng chi tiết, tác giả phân rã thành 03 nhóm chức năng chính gắn với cơ cấu tổ chức:

  • Nhóm Quản lý giao dịch: Gồm các chức năng (1), (5), (7), (8), (14).
  • Nhóm Quản lý sinh viên: Gồm các chức năng (2), (3), (4), (6), (9), (10).
  • Nhóm Quản lý điện nước: Gồm các chức năng (11), (12), (13).

Tác giả xây dựng sơ đồ phân cấp chức năng, hệ thống DFD mức 0, mức 1 và mức 2 cho từng tiến trình, kèm theo đặc tả giải thuật cho 08 tiến trình nghiệp vụ trọng tâm (đăng ký phòng, trả phòng, nhận phòng, cập nhật thông tin sinh viên lên hệ thống, xét duyệt, sắp xếp phòng, cấp thẻ lưu trú, kiểm tra thông tin sinh viên).

Về phân tích dữ liệu, tác giả phân loại tài nguyên hệ thống (con người: Sinh viên; tài sản: Phòng, dịch vụ; kho bãi: Loại phòng; giao dịch: Đăng ký, Hủy đăng ký, Hóa đơn, Hợp đồng). Tiến trình chuẩn hóa dữ liệu xử lý dứt điểm thuộc tính đa trị của thực thể Hóa đơn điện nước bằng cách tách thành thực thể tổng quát và thực thể chi tiết D_HOADONDIENNUOC. Kết quả chuẩn hóa xác định được 07 bảng dữ liệu nghiệp vụ ban đầu: SINHVIEN, HOADONDIENNUOC, D_HOADONDIENNUOC, HOPDONG, PHONG, LOAIPHONG, DIENNUOC.

Chương 3: Thiết kế hệ thống

Chương 3 giải quyết bài toán thiết kế kỹ thuật, từ xác định tiến trình hệ thống, thiết kế kiểm soát an toàn bảo mật, xây dựng mô hình cơ sở dữ liệu vật lý đến thiết kế giao diện người - máy.

Tác giả ánh xạ 09 tiến trình nghiệp vụ sang các thao tác màn hình và lệnh xử lý cụ thể trong hệ thống (như mở biểu mẫu, kiểm soát kiểu dữ liệu nhập, tính toán dữ liệu kết xuất tự động, tìm kiếm, lưu trữ và in ấn). DFD hệ thống được thiết lập gắn liền với các kho dữ liệu quan hệ tương ứng.

Phần thiết kế kiểm soát chia người dùng thành 02 khối chính:

  • Nhóm người dùng nghiệp vụ: Nhân viên quản lý giao dịch, Nhân viên quản lý sinh viên, Nhân viên quản lý điện nước.
  • Nhóm người dùng quản trị: Đảm nhiệm quản trị người dùng (thêm, sửa, xóa, tìm kiếm, kích hoạt tài khoản) và quản trị dữ liệu (sao lưu, phục hồi).

Phân định quyền truy cập dữ liệu được thiết kế chi tiết thông qua ma trận CERD:

Tên bảng dữ liệu Quản lý giao dịch Quản lý sinh viên Quản lý điện nước Quản trị
HOADONDIENNUOC R C, R, E, D R -
D_HOADONDIENNUOC R - C, E, R, D R
SINHVIEN C, E, R, D E, D R C
PHONG E, R C, E, R, D R -
LOAIPHONG R C, E, R, D R -
DIENNUOC - - C, E, R, D R
HOPDONG - C, E, R, D R -

(Ghi chú ký hiệu: C - Create, E - Edit, R - Read, D - Delete)

Cơ chế phân quyền tiến trình hệ thống cũng được thiết lập cho 19 chức năng tác vụ (ký hiệu A - Allow: cho phép thực hiện; nA - not Allow: không được phép thực hiện). Để đáp ứng kiểm soát truy vết, tác giả thiết kế thêm bảng NGUOIDUNG và NHOMNGUOIDUNG, đồng thời bổ sung trường khóa ngoại kiểm soát MaNV vào 02 bảng phát sinh giao dịch là HOADONDIENNUOC và HOPDONG. Cuối cùng, chương đưa ra đặc tả cấu trúc vật lý hoàn chỉnh cho 08 bảng dữ liệu và phác thảo giao diện nhập liệu danh mục quản lý sinh viên.

Thiết kế và triển khai

Hệ thống được thiết kế hướng tới triển khai ứng dụng quản lý với kiến trúc phân quyền dữ liệu và tiến trình chặt chẽ, bảo đảm tính toàn vẹn dữ liệu trong môi trường nhiều bộ phận cùng khai thác.

Cơ sở dữ liệu vật lý hoàn chỉnh của hệ thống bao gồm 08 bảng dữ liệu được đặc tả chi tiết về trường dữ liệu, kiểu dữ liệu, khuôn dạng và ràng buộc toàn vẹn khóa:

  • NHOMNGUOIDUNG: Lưu trữ nhóm quyền gồm sMaNhomND (Khóa chính - C(10)), sTenNhomND (C(50)).
  • NGUOIDUNG: Lưu tài khoản nhân viên gồm sMaNV (Khóa chính - C(10)), sTenNV (C(50)), sSdt (C(20)), sTendn (C(20)), sMatkhau (C(10)), sMaNhomND (Khóa ngoại liên kết bảng NHOMNGUOIDUNG).
  • LOAIPHONG: Danh mục loại phòng gồm sMaloaiphong (Khóa chính - C(10)), sTenloaiphong (C(50)), sDonnguyen (C(5)).
  • PHONG: Thông tin phòng ở gồm sMaphong (Khóa chính - C(10)), sTenphong (C(50)), sMaloaiphong (Khóa ngoại - C(20)).
  • SINHVIEN: Hồ sơ sinh viên gồm sMaSV (Khóa chính - C(10)), sTenSV (C(50)), dNgaysinh (D(20)), slop (C(20)), bGioitinh (B(2)), sSdt (C(12)).
  • HOPDONG: Hợp đồng nội trú gồm sMahopdong (Khóa chính - C(10)), sMaSV (Khóa ngoại - C(50)), sMaphong (Khóa ngoại - C(20)), sMaNV (Khóa ngoại kiểm soát - C(20)), dNgaybatdau (D(20)), dNgayketthuc (D(20)).
  • DIENNUOC: Chỉ số tiêu thụ gồm sMaCT (Khóa chính - C(10)), sMaphong (Khóa ngoại - C(50)), sTenSP (C(10)), iThang (N(2)), iCS_dau (N(10)), iCS_cuoi (N(10)).
  • HOADONDIENNUOC: Hóa đơn tổng gồm sMaHD (Khóa chính - C(10)), sMaNV (Khóa ngoại kiểm soát - C(10)), sMaphong (Khóa ngoại - C(20)), dNgaylap (D(20)), fTongtien (N(20)).
  • D_HOADONDIENNUOC: Chi tiết hóa đơn gồm sMaHD (Khóa chính - C(10)), sMaCT (Khóa chính/Khóa ngoại - C(50)), sTenSP (C(20)), iMucTT (N(10)), fDongia (N(10)), fThanhTien (N(10)).

Về mặt kiểm soát và bảo mật, hệ thống bắt buộc người dùng đăng nhập tài khoản và mật khẩu trước khi thao tác. Quyền hạn được kiểm tra tự động qua mã nhóm người dùng (sMaNhomND) để điều hướng chức năng tương ứng trên thanh điều hướng hoặc hệ thống đơn chọn (menu).

Về thiết kế giao diện người - máy, tài liệu xây dựng mẫu giao diện nhập liệu danh mục quản lý sinh viên dành cho người sử dụng là bộ phận thu ngân/lễ tân với nhiệm vụ cập nhật đầy đủ, chính xác thông tin nhân khẩu sinh viên vào hệ thống.

Kết quả và đóng góp

Khóa luận đã hoàn thành toàn bộ chu trình phân tích và thiết kế cho một hệ thống thông tin quản lý ký túc xá:

  • Khảo sát và chuẩn hóa thành công 04 quy trình nghiệp vụ thực tế (quản lý vào, ra, kiểm tra đối chiếu và quản lý điện nước), gắn kết 17 thao tác nghiệp vụ thủ công thành một chuỗi xử lý thống nhất.
  • Chuẩn hóa hệ thống biểu mẫu giấy tờ gồm 05 mẫu chuẩn (MB1 đến MB5), tạo cơ sở pháp lý và chứng từ rõ ràng cho các giao dịch nội trú và tài chính phát sinh.
  • Chuyển đổi thành công bài toán quản trị thực tế sang mô hình kỹ thuật: Xác định 14 chức năng nghiệp vụ chuẩn hóa, thiết lập sơ đồ phân rã chức năng, hệ thống DFD từ mức khung cảnh đến mức 2, và hoàn thiện 08 đặc tả tiến trình.
  • Thiết kế hoàn chỉnh lược đồ cơ sở dữ liệu quan hệ ở mức vật lý gồm 08 bảng dữ liệu đã qua chuẩn hóa (loại bỏ thuộc tính đa trị, xử lý liên kết thực thể), có tích hợp trường kiểm soát MaNV để lưu vết người thực hiện giao dịch.
  • Xây dựng ma trận phân quyền dữ liệu CERD và ma trận phân quyền tiến trình hệ thống, giải quyết triệt để vấn đề xung đột thẩm quyền và chồng chéo công việc giữa bộ phận lễ tân, quản lý sinh viên và quản lý điện nước.

Hạn chế và hướng nghiên cứu tiếp

Khóa luận thể hiện rõ giới hạn ở phạm vi thiết kế hệ thống thông tin:

  • Tài liệu dừng lại ở mức thiết kế logic, thiết kế cơ sở dữ liệu vật lý và phác thảo giao diện nhập liệu danh mục sinh viên; chưa có nội dung về lập trình mã nguồn, cấu hình hạ tầng mạng máy chủ hay triển khai cài đặt phần mềm thực tế.
  • Các biểu mẫu giao diện người - máy mới chỉ mô tả sơ bộ giao diện quản lý sinh viên, chưa hoàn thiện chi tiết thiết kế giao diện xử lý nghiệp vụ cho các phân hệ lập hóa đơn và ký hợp đồng.
  • Báo cáo chưa đề cập đến kết quả kiểm thử hệ thống (chức năng, hiệu năng, bảo mật) cũng như kịch bản chạy thử nghiệm trên dữ liệu thực tế tại ký túc xá.

Hướng nghiên cứu tiếp theo được xác định là hiện thực hóa bản thiết kế thành phần mềm chạy trên nền tảng công nghệ cụ thể, xây dựng đầy đủ các form giao diện xử lý nghiệp vụ, và tiến hành kiểm thử thực tế trên hệ thống ký túc xá của trường.

Giá trị tham khảo

Tài liệu là nguồn tham khảo hữu ích cho sinh viên các ngành Công nghệ thông tin, Hệ thống thông tin quản lý, Kỹ thuật phần mềm khi thực hiện đồ án môn học hoặc khóa luận tốt nghiệp về phân tích thiết kế hệ thống theo phương pháp cấu trúc.

Các nội dung có giá trị tham khảo cao trong văn bản bao gồm:

  • Quy trình 5 bước rút gọn và chuẩn hóa chức năng từ quy trình thực tế sang chức năng phần mềm.
  • Phương pháp chuẩn hóa dữ liệu từ mô hình ERD mở rộng sang ERD hạn chế và ánh xạ thành các bảng quan hệ.
  • Cách thiết kế kiểm soát thông qua ma trận phân quyền dữ liệu CERD, bảng phân quyền tiến trình và kỹ thuật bổ sung thuộc tính kiểm soát (MaNV) vào các bảng giao dịch để phục vụ kiểm toán hệ thống.

Câu hỏi thường gặp

1. Trong quy trình sinh viên đăng ký vào ký túc xá, sự phân định trách nhiệm giữa bộ phận lễ tân và bộ phận quản lý sinh viên diễn ra như thế nào?
Bộ phận lễ tân có nhiệm vụ tiếp đón, tiếp nhận Phiếu đăng ký (MB1) từ sinh viên rồi chuyển lên bộ phận quản lý sinh viên. Bộ phận quản lý sinh viên thực hiện xét duyệt hồ sơ, sắp xếp phòng, ký hợp đồng thuê phòng (MB5) và cấp thẻ lưu trú (MB2). Sau khi có kết quả duyệt, lễ tân chịu trách nhiệm dẫn sinh viên nhận phòng và nhập toàn bộ thông tin sinh viên vào phần mềm.

2. Quá trình chuẩn hóa chức năng nghiệp vụ ở Chương 2 được tiến hành qua các bước cụ thể nào?
Quá trình chuẩn hóa gồm 5 bước: Bước 1 - Gạch chân các thao tác trong quy trình (thu được 17 thao tác); Bước 2 - Loại bỏ các thao tác trùng lặp (còn 15 thao tác); Bước 3 - Gom nhóm đơn giản; Bước 4 - Loại bỏ các chức năng không mang ý nghĩa xử lý hệ thống (còn 14 chức năng); Bước 5 - Đặt lại tên chức năng chuẩn hóa.

3. Khóa luận sử dụng kỹ thuật gì để kiểm soát truy vết các giao dịch phát sinh trong hệ thống?
Tác giả đã bổ sung thuộc tính kiểm soát mã nhân viên (MaNV) vào cấu trúc của hai bảng dữ liệu giao dịch là HOADONDIENNUOC và HOPDONG. Thuộc tính này đóng vai trò khóa ngoại liên kết với bảng NGUOIDUNG, cho phép xác định chính xác danh tính nhân viên đã tạo lập hợp đồng hoặc hóa đơn.

4. Ma trận phân quyền dữ liệu CERD quy định quyền hạn của nhóm quản lý điện nước trên các bảng dữ liệu ra sao?
Nhóm quản lý điện nước có toàn quyền Tạo, Sửa, Đọc, Xóa (C, E, R, D) trên bảng DIENNUOC và bảng chi tiết hóa đơn D_HOADONDIENNUOC. Đối với các bảng HOADONDIENNUOC, SINHVIEN, PHONG, LOAIPHONG và HOPDONG, nhóm này chỉ được cấp quyền Đọc (R) để phục vụ việc tra cứu, tính toán chỉ số và đối chiếu số liệu.

5. Hợp đồng thuê chỗ ở nội trú (MB5) quy định thời hạn và phương thức thuê phòng như thế nào?
Theo mẫu biểu hợp đồng số MB5 do tác giả khảo sát và trích dẫn, bên cho thuê (đại diện trường) đồng ý cho bên thuê (sinh viên) thuê 01 chỗ ở nội trú với thời gian cho thuê là 01 học kỳ gồm 05 tháng, kèm theo đơn giá thuê tính theo đồng/tháng và hợp đồng sẽ chấm dứt khi hết hạn hiệu lực.

Kết luận

Bản khóa luận tốt nghiệp đã hoàn thành việc khảo sát, phân tích và thiết kế hệ thống thông tin quản lý ký túc xá một cách có hệ thống theo phương pháp phân tích có cấu trúc. Đề tài xây dựng đầy đủ hệ thống mô hình hóa từ tiến trình nghiệp vụ, sơ đồ luồng dữ liệu DFD đến thiết kế chi tiết 08 bảng cơ sở dữ liệu quan hệ và cơ chế phân quyền kiểm soát CERD. Mặc dù dừng lại ở giai đoạn thiết kế kỹ thuật và chưa triển khai lập trình thực tế, công trình cung cấp hồ sơ đặc tả hoàn chỉnh, đáp ứng tốt yêu cầu tin học hóa công tác quản lý ký túc xá tại các trường đại học.