Logic Trạng thái Phân tán
Tóm tắt
Chúng tôi giới thiệu một logic thời gian để lý luận về các ứng dụng toàn cầu. Trước tiên, chúng tôi định nghĩa một logic mô-đun cho địa phương tính, nhúng các lý thuyết địa phương của mỗi thành phần vào một lý thuyết về các trạng thái phân tán của hệ thống. Chúng tôi cung cấp cho logic một hệ thống tiên đề đầy đủ và chuyên sâu. Sau đó, chúng tôi mở rộng logic với một toán tử thời gian. Đóng góp của chúng tôi là khả năng lý luận về các tính chất liên quan đến nhiều thành phần theo cách tự nhiên, ngay cả khi không có đồng hồ toàn cầu, như được yêu cầu trong một môi trường bất đồng bộ.
Từ khóa
#Logic #DSL #Đồng hồ #Giao tiếp bất đồng bộ #Ngôn ngữ đặc tả #Điện toán đồng thời #Điện toán phân tán #Trì hoãn #Điện toán phổ biến #Thư viện thời gian chạyTài liệu tham khảo
1984, Wolper A. temporal logic for reasoning about partially ordered specifications, Proc 3th ACM Principles of Distributed Computing, 28
masini, 1992, TTL: A formalism to describe local and global properties of distributed systems, Theoretical Informatics and Applications, 26, 115, 10.1051/ita/1992260201151
ramanujam, 0, Temporal logics for communicating sequential agents: I, International Journal of Foundations of Computer Science, 3, 117