1

Tên nhiệm vụ: Nghiên cứu và đề xuất một phương pháp tổ hợp dịch vụ web với các điều kiện ràng buộc hướng thời gian

2

3

4

Mã số nhiệm vụ (nếu có):

5

Tên tổ chức chủ trì:

6

Cơ quan chủ quản:

7

Chủ nhiệm nhiệm vụ:

8

Danh sách cá nhân tham gia nhiệm vụ:

9

Mục tiêu nghiên cứu:

10

Tóm tắt nội dung nghiên cứu chính: Đề xuất phương pháp dùng các kỹ thuật kiểm tra mô hình (model checking) trong việc tổ hợp dịch vụ web._x000d_ _x000d_ Đề xuất phương pháp phân loại các ràng buộc trong các yêu cầu tổ hợp để nâng cao tốc độ xử lý._x000d_ _x000d_ Hỗ trợ các ràng buộc về thời gian trong các yêu cầu tổ hợp dịch vụ web. Đây là hướng mới và sâu hơn về các yêu cầu thỏa mãn các thuộc tính phi chức năng, thuộc tính về chất lượng (Quality of Service- QoS) của dịch vụ.

11

Lĩnh vực nghiên cứu: Khoa học thông tin

12

Mục tiêu kinh tế xã hội của nhiệm vụ:

13

Phương pháp nghiên cứu:

14

Sản phẩm khoa học và công nghệ dự kiến:

15

Địa chỉ và quy mô ứng dụng dự kiến:

16

Thời gian thực hiện: 0 tháng (từ đến )

17

Kinh phí được phê duyệt: 25 triệu đồng
trong đó:

18

Quyết định phê duyệt: số ngày 01 tháng Tháng 1 năm 1970

19

Hợp đồng thực hiện: số ngày 01 tháng Tháng 1 năm 1970