Kiểm chứng các dịch vụ web : Luận văn ThS. Công nghệ thông tin : 60 48 10 / Nguyễn, Thị Thúy Nga; Trương, Ninh Thuận
Tác giả : Nguyễn, Thị Thúy Nga; Trương, Ninh Thuận
Nhà xuất bản : ĐHCN
Năm xuất bản : 2011
Mô tả vật lý : 65 tr. + CD-ROM
Chủ đề : 1. Công nghệ phần mềm. 2. Công nghệ thông tin. 3. Dịch vụ Web. 4. Thesis.
Thông tin chi tiết
Tóm tắt : | Đưa ra cái nhìn tổng quát về dịch vụ web, tìm hiểu về các thành phần chuẩn được sử dụng trong dịch vụ web, kiến trúc của dịch vụ web. Tổng quan về phương pháp B, tìm hiểu các khái niệm cơ bản thông qua một ví dụ cụ thể. Tổng quát về ngôn ngữ OWL-S, các nguyên tắc để chuyển các yêu cầu của bên yêu cầu dịch vụ thành máy trừu tượng B và chuyển các chức năng của nhà cung cấp dịch vụ thành máy cải tiến B. Đưa ra ví dụ thực nghiệm để minh họa cho các nguyên tắc đã đưa ra trong chương 4, và đưa ra các tìm hiểu về công cụ Atelier B dùng để kiểm chứng sự phù hợp giữa các yêu cầu mong muốn của bên yêu cầu dịch vụ và các chức năng được cung cấp bởi nhà cung cấp dịch vụ. |
Thông tin dữ liệu nguồn
Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
---|---|---|
Đại học Công nghệ - ĐHQGHN |
|
https://repository.vnu.edu.vn/handle/VNU_123/42859 |