Nâng cấp động các thành phần của hệ thống phân tán

Tóm tắt Nâng cấp động các thành phần của hệ thống phân tán: ...theo của luận văn. GIỚI THIỆU BÀI TOÁN Hệ thống thống tin ngày nay đang từng này mở rộng để phục vụ với nhiều mục đích khác nhau. Nhất là các hệ thống phân tán luôn đòi hỏi các yêu cầu thay đổi. Các yêu cầu đó gọi chung là việc nâng cấp hệ thống. Các hệ thống này rất lớn không thể nâng cấp b...hông tin về các nút khác trong hệ thống, và đặc biệt là các nút mà nút của nó đang giao tiếp. Đối tượng mô phỏng bao gồm: PastSO xử lý các phiên bản cũ; FutureSO xử lý các phiên bản mới. Gọi giữa các phiên bản. KẾT LUẬN Luận văn tôi đã giải quyết được một số vấn đề sau: tìm hiểu phương thức ...n, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer and J. F.Quesada (2002), “Maude: Specication and programming in rewriting logic”, Theoretical Computer Science 285, pp. 187-243. [6] Christoph von Praun (July 2004.),“Detecting Synchronization Defects in Multi- Threaded Object-Oriented Progr...