Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 59 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy

Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy

BỌ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI _____________*_______LÊ THỊ THU TRANGMÔ HÌNH HÓA ỨNG DỤNG WEB BÀNG NGÔN NGỮ ĐẶC TA ALLOYChuyên

Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy ngành: CÔNG NGHỆ THÔNG TINLUẬN VÃN THẠC sĩ KỸ THUẬTNGƯỜI HƯỚNG DÃN KHOA HỌC: TS . TRẤN DƯC KHÁNHHà Nội - Năm 2014LỜI CÀM ƠNĐê hoãn thành được luận vă

n này tòi đâ nhận được rất nhiều sự động viên, giúp đờ của nhiều cá nhân vả tập thê.Trước hết, tòi xin bày tó lòng biết ơn sâu sắc đến thầy giáo TS. T Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy

rần Đức Khánh đã giao đề tài và tận lình hướng dẫn tôi trong suốt quá trình hoàn thành luận văn này.Xin cùng bày tò lòng biết ơn chán thành tới các th

Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy

ầy cô giáo, người đà đem lại cho tôi những kiến thức bò trợ vô cùng có ích trong những năm học vừa qua.Cũng xin gửi lời cám ơn chân thành tới Ban lãnh

BỌ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI _____________*_______LÊ THỊ THU TRANGMÔ HÌNH HÓA ỨNG DỤNG WEB BÀNG NGÔN NGỮ ĐẶC TA ALLOYChuyên

Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy ối cùng tôi xin gứi lời cám ơn đến gia đình, bạn bè, những người đà luôn bên tôi, đông x iên và khuyến khích tôi trong quá trình thực hiện đề tài nghi

ên cứu của mình.Dù đà có rất nhiều cố gắng, xong luận văn không tránh khỏi nhùng hạn chế. thiếu xót Kinh mong nhận được sự chia sẻ và nhùng ỷ kiến chí Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy

dần. góp ỷ quý báu cua quỷ thầy cô và bạn bè đồng nghiệp.Trân trọng!1LỜI CAM ĐOANTôi xin cam đoan đây là đề tài nghiên cứu cúa bàn thần tòi. được xuấ

Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy

t phát từ nhừng van đề cấp thiết trong xà hội và sự phát triên cùa cồng nghệ thông tin. Các số liệu có nguồn gốc rô ràng, tuân thú đủng nguyên tắc và

BỌ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI _____________*_______LÊ THỊ THU TRANGMÔ HÌNH HÓA ỨNG DỤNG WEB BÀNG NGÔN NGỮ ĐẶC TA ALLOYChuyên

Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy ănLê Thị Thu TrangTÓM TẤT NỘI ĐUNG LUẬN VĂNNội dung cua luận văn gồm các phần chinh sau:1Nghiên cửu ngôn ngừ mô hình hóa Alloy:Nghiên cửu về ngôn ngừ.

mô hình Cách thức mô hình hóa một trang web. Cách thửc xử lý và phân tích một trang web. đê lừ đó áp dụng mò hình hỏa forum cung cấp thông tin học bố Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy

ng, giai thướng của các quỳ học bông dành cho sinh viên trường Đại học Hồng Đửc2Mô hĩnh hóa Forum bằng Alloy:Mò hình được mô hình hóa dựa trên các bưó

Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy

c sau:•Xây dựng nội dung trang web•Xác định các thành phân đổi tượng của forum•Xây dựng các chính sách truy cập bao gồm:o Xây dựng các Facts: Các yêu

BỌ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI _____________*_______LÊ THỊ THU TRANGMÔ HÌNH HÓA ỨNG DỤNG WEB BÀNG NGÔN NGỮ ĐẶC TA ALLOYChuyên

Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy sữa. tạo mới. xóao Xây dựng các Pre-conditions vả Post-conditions: Các điều kiện trước và sau khi add hoặc delete dừ liệuo Xây dựng các Triggers: Các

diều kiện khi add hoặc delete dữ liệuSau khi đà mô hĩnh hóa forum. Sứ dung bộ phân tích tự động Alloy Analyzer trong việc phân tích, kiêm tra VỚI tat Mô hình hóa ứng dụng web bằng ngôn ngữ đặc tả alloy

cá các trường hop đọc. thèm. sứa. xóa các thành phần trong forum.

BỌ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI _____________*_______LÊ THỊ THU TRANGMÔ HÌNH HÓA ỨNG DỤNG WEB BÀNG NGÔN NGỮ ĐẶC TA ALLOYChuyên