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
• 格式: Theses and Dissertations
• 語言: Vietnamese
• 出版: ĐHCN 2017
• 主題: Công nghệ thông tin; Công nghệ phần mềm; Dịch vụ Web
• 在線閱讀: http://repository.vnu.edu.vn/handle/VNU_123/42859

Đư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ụ.