Automata cổ điển không hữu ích cho các hệ thống phức tạp (đồ thị phức tạp không thể được hiểu bởi con người).
Giới thiệu hệ thống cấp bậc biểu đồ trạng thái [Harel, 1987]
đồ trạng thái = sự kết hợp không sử dụng duy nhất của
"dòng chảy" hay "nhà nước" với "sơ đồ" hay "biểu đồ"
Được sử dụng ở đây như là một (nổi bật) ví dụ về một mô hình tính toán dựa trên bộ nhớ chia sẻ giao tiếp.
chỉ thích hợp cho các hệ thống địa phương (không phân phối)
Định nghĩa
đang được dịch, vui lòng đợi..