Liên hệ
Tiếng Việt
Tiếng Anh
Thứ năm, 10/07/2025
Understanding Behaviour of Distributed Systems Using mCRL2
Cập nhật vào: Chủ nhật - 27/10/2024 21:39
Nhan đề chính: Understanding Behaviour of Distributed Systems Using mCRL2
Nhan đề dịch: Hiểu về hành vi của hệ thống phân tán bằng cách sử dụng mCRL2
Tác giả: Muhammad Atif
Nhà xuất bản: Springer
Năm xuất bản: 2023
Số trang: 235 tr.
Ngôn ngữ: Tiếng Anh
ISBN: 978-3-031-23008-0
SpringerLink
Lời giới thiệu: Cuốn sách này giúp người đọc dễ dàng học cách kiểm tra mô hình cơ bản bằng cách trình bày các ví dụ, bài tập và nghiên cứu tình huống. Bộ công cụ mCRL2 cung cấp một ngôn ngữ để chỉ định hành vi của các hệ thống phân tán, đặc biệt là khi có sự đồng thời với giao tiếp giữa các quy trình. Ngôn ngữ này cho phép chúng ta phân tích một hệ thống phân tán liên quan đến các yêu cầu chức năng của nó. Ví dụ, tế bào sinh học, hệ thống quản lý chuỗi cung ứng, nền tảng hỗ trợ bệnh nhân và giao thức truyền thông. Kỹ thuật cơ bản dựa trên việc xác minh các yêu cầu thông qua kiểm tra mô hình. Cuốn sách giải thích cú pháp của mCRL2 và cung cấp các mẹo và thủ thuật lập mô hình.
Từ khóa: mCRL2. Bộ công cụ. Hệ thống phân tán. Hoạt động.
Nội dung cuốn sách gồm những phần sau
Giới thiệu mCRL2
Automata để biểu diễn hành vi
Giao tiếp quy trình
Tương đương hành vi
Kiểu dữ liệu và hành vi phụ thuộc dữ liệu
Kiểm tra mô hình
Phép tính mô thức
Quy trình tuyến tính và BES tham số hóa
Ứng dụng: Câu đố và trò chơi
Ứng dụng: Thuật toán phân tán
