MỤC LỤC

MỞ ĐẦU

CHƯƠNG 1 GIỚI THIỆU VỀ CƠ SỞ THỰC TẬP

1.1 Lịch sử thành lập và phát triển của công ty qua các giai đoạn

1.2 Tổ chức bộ máy quản lý của công ty

1.3 Các sản phẩm - Dịch vụ chính của Công ty Điện toán và truyền số liệu

1.4 Định hướng phát triển

CHƯƠNG 2 CÔNG NGHỆ TÁC TỬ

2.1 Khái niệm về tác tử

2.2 Các đặc điểm của tác tử

2.3 Các thành phần cơ bản của tác tử

2.3.1 Kiến trúc của đơn tác tử

2.3.2 Cảm nhận và tác động

2.3.2.1 Cảm nhận

2.3.2.2 Tác động

2.3.3 Cơ chế ra quyết định

2.3.3.1 Mô hình chung

2.3.3.2 Tác tử phản xạ

2.3.3.3 Tác tử có trạng thái

2.3.3.4 Tác tử hành động có mục đích

2.3.3.5 Tác tử với cơ chế suy diễn logic

2.3.4 Hệ đa tác tử-Phối hợp trong hệ đa tác tử

2.3.4.1 Phối hợp và tầm quan trọng đối với hệ đa tác tử

2.3.4.2 Chia sẻ công việc

2.3.4.3 Chia sẻ kết quả

2.3.4.4 Phối hợp nhờ cấu trúc

2.3.4.5 Phối hợp nhờ quy tắc và luật

2.3.4.5.1 Hình thành quy tắc và luật lệ

2.3.4.5.2 Quy tắc dựng sẵn

2.3.4.6 Phối hợp thông qua ý định chung

2.3.4.7 Phối hợp nhờ lập kế hoạch

2.5 Các lĩnh vực ứng dụng

2.5.1 Ứng dụng trong quản lý sản xuất

2.5.2 Tác tử quản lý quá trình và luồng công việc(workflow)

2.5.3 Tác tử thu thập và quản lý thông tin

2.5.4 Tác tử phục vụ thương mại điện tử

2.6 Ưu nhược điểm của tác tử và công nghệ tác tử

CHƯƠNG 3 CÔNG NGHỆ PHẦN MỀM HƯỚNG TÁC TỬ

3.1 Tiếp cận hướng tác tử cho công nghệ phần mềm

3.2 Phần mềm hướng tác tử là gì?

3.3 Tiếp cận hướng tác tử cho các hệ thống phần mềm

3.3.1 Các phân rã hướng tác tử

3.3.2 Các trừu tượng hoá hướng tác tử cho các hệ thống phần mềm phức tạp

3.3.3 Sự thay đổi các cấu trúc trong tổ chức tạo quản lý mềm dẻo

3.4 Vòng đời phần mềm hướng tác tử

3.4.1 Đặc tả (Specification)

3.4.2 Thực hiện (Implementation)

3.4.2.1 Làm mịn (Refinement)

3.4.2.2 Việc thực hiện trực tiếp các đặc tả tác tử

3.4.2.3 Việc biên dịch các đặc tả tác tử

3.4.2.4 Sự xác minh

3.4.3 Các hướng tiếp cận tiêu đề (axiomatic)

3.4.3.1 Sự tiên đề hoá hai ngôn ngữ đa tác tử.

3.4.3.2 Các hướng tiếp cận ngữ nghĩa: kiểm tra mô hình

3.5 Phương pháp luận hướng tác tử

3.5.1 Phương pháp Prometheus

3.5.2 Phương pháp Tropos

3.5.3 Phương pháp Gaia

3.6 Một số ví dụ về ứng dụng công nghệ tác tử

Kết luận và đánh giá

Tài liệu tham khả