Biểu đồ trạng thái còn được gọi là biểu đồ máy trạng thái, là một hình thức biểu hiện của máy trạng thái. Biểu đồ trạng thái sử dụng máy trạng thái có thể mô tả chính xác hành vi động của đối tượng trong suốt thời gian tồn tại của nó, biểu hiện dưới dạng một chuỗi trạng thái mà đối tượng trải qua, sự kiện gây ra chuyển đổi trạng thái, và hành động đi kèm do chuyển đổi trạng thái.
Máy trạng thái hữu hạn, còn được gọi là máy tự động trạng thái hữu hạn, viết tắt là máy trạng thái, máy trạng thái có thể đơn giản hóa logic phức tạp thành một số trạng thái ổn định hữu hạn, trong trạng thái ổn định đánh giá sự kiện.
Cộng tác đa người dùng thời gian thực với liên kết chia sẻ để chuyển thông tin ngay lập tức
Tạo đồ họa tự động từ văn bản với cải tiến phong cách
Chủ đề dựng sẵn với tùy chỉnh đầy đủ
Hỗ trợ biểu tượng, hình ảnh, nhãn, công thức LaTeX, khối mã, liên kết, tệp đính kèm
Xuất: PNG, VISIO, PDF, SVG | Nhập: VISIO, Mermaid
Lưu trữ đám mây thời gian thực, đồng bộ đa thiết bị, lịch sử phiên bản và bảo mật dữ liệu
Sơ đồ trạng thái tập trung vào biểu đạt trạng thái, hình chữ nhật bo góc biểu thị trạng thái, nội dung viết trên đường chuyển đổi tương ứng với hoạt động của sơ đồ hoạt động.
Sơ đồ hoạt động tập trung vào biểu đạt hoạt động, hình chữ nhật bo góc biểu thị hoạt động, thường không viết nội dung trên đường chuyển đổi, chỉ khi thực hiện phán đoán, cần viết điều kiện phán đoán trên đường chuyển đổi.
Trạng thái là tình huống khi đối tượng trong vòng đời của nó đáp ứng một số điều kiện, thực hiện một số hoạt động hoặc chờ đợi một số sự kiện, được biểu thị bằng hình chữ nhật bo góc.
Trạng thái khởi đầu: Đại diện cho sự bắt đầu của sơ đồ máy trạng thái, được biểu thị bằng hình tròn đặc, một sơ đồ máy trạng thái chỉ có một trạng thái khởi đầu.
Trạng thái kết thúc: Biểu thị sự kết thúc của sơ đồ máy trạng thái, được biểu thị bằng vòng tròn đặc, một sơ đồ máy trạng thái có thể có nhiều trạng thái kết thúc.
Trạng thái kết hợp: Trạng thái kết hợp là trạng thái có trạng thái con lồng bên trong, được chia thành trạng thái con tuần tự và trạng thái con đồng thời dựa trên việc trạng thái có tồn tại cùng lúc hay không.
Trạng thái lịch sử: Trạng thái lịch sử là một trạng thái giả, nó biểu thị rằng khi trạng thái chuyển lại vào trạng thái kết hợp này, nó nên ở trạng thái con khi thoát lần cuối cùng, không phải bắt đầu từ trạng thái khởi đầu của trạng thái kết hợp.
Chuyển đổi là một mối quan hệ giữa hai trạng thái khác nhau, biểu thị rằng đối tượng sẽ thực hiện một số hành động trong trạng thái nguồn và vào trạng thái mục tiêu khi một sự kiện đặc biệt xảy ra và điều kiện cảnh báo đặc biệt được thỏa mãn.
Sự kiện kích hoạt: Là nguyên nhân của chuyển đổi, có thể là một tín hiệu, sự kiện, thay đổi điều kiện và biểu thức thời gian.
Điều kiện cảnh báo: Là một biểu thức logic, khi sự kiện kích hoạt xảy ra và điều kiện cảnh báo là đúng, chuyển đổi mới được kích hoạt.
Hành động: Có thể là một thao tác gán giá trị hoặc phép toán số học, cũng có thể là một chuỗi hành động, bao gồm gửi tin nhắn cho đối tượng khác, gọi một thao tác, thiết lập giá trị trả về, tạo hoặc hủy đối tượng, v.v.
Sự kiện tín hiệu: Là sự kiện khi một đối tượng nhận được tín hiệu, sự kiện nhận tín hiệu này sẽ dẫn đến sự chuyển đổi trạng thái của nó.
Sự kiện thời gian: Đại diện cho sự trôi qua của thời gian, khi điều kiện thời gian được thỏa mãn có thể cần kích hoạt một sự kiện, thời gian có thể là tương đối hoặc tuyệt đối.
Sự kiện thay đổi: Chỉ khi điều kiện được biểu thị bởi biểu thức logic phụ thuộc vào giá trị thuộc tính cụ thể được thỏa mãn, sự kiện xảy ra.
Sự kiện gọi: Biểu thị rằng một đối tượng nhận được yêu cầu gọi, đối tượng này thực hiện hoạt động thông qua chuyển đổi trạng thái thay vì quá trình xử lý cụ thể.
Bộ điều khiển: Như hệ thống điều khiển thang máy
Quy trình giao diện người dùng: Như quy trình đăng nhập
Quản lý vòng đời: Như đơn hàng, nhiệm vụ, yêu cầu, v.v.
Một biểu đồ máy trạng thái chỉ có một trạng thái ban đầu, có thể có nhiều trạng thái kết thúc.
Trạng thái con tuần tự: Trong vòng đời của trạng thái kết hợp, tại bất kỳ thời điểm nào chỉ có thể ở một trạng thái con, tức là các trạng thái con khác nhau là mối quan hệ loại trừ lẫn nhau, không thể tồn tại đồng thời.
Trạng thái con đồng thời: Trong vòng đời của trạng thái kết hợp, nhiều trạng thái con có thể tồn tại đồng thời.
Hai khái niệm không có ý nghĩa giống nhau.
Trạng thái lịch sử thường tồn tại trong trạng thái kết hợp, nó là một trạng thái giả, biểu thị khi trạng thái chuyển đổi lại vào trạng thái kết hợp đó, nên ở trạng thái con nào khi thoát ra lần trước.
Chuyển tiếp nội bộ là chuyển tiếp không dẫn đến thay đổi trạng thái, biểu thị bằng: sự kiện(tên tham số)[điều kiện bảo vệ]/hành động.
Chúng ta cần xử lý một số sự kiện không cần rời khỏi trạng thái đó, có thể định nghĩa một chuyển tiếp nội bộ.
Các loại hành động và cú pháp liên quan có thể được mô tả như sau:
(1) Gán giá trị: target:=expression
(2) Gọi: opname(arg1,arg2)
(3) Tạo đối tượng: new Cname(arg1,arg2)
(4) Hủy đối tượng: object.destroy()
(5) Trả về giá trị: return value
(6) Gửi tin nhắn tới đối tượng: sname(arg1,arg2)
(7) Đối tượng tự chấm dứt: terminate
(8) Hành động không thể gián đoạn: [giải thích bằng ngôn ngữ]
Đừng coi hành động thông thường là trạng thái, ví dụ: “nhấn nút” không phải là trạng thái.
Biểu đồ trạng thái không thể trực tiếp biểu thị mối quan hệ giữa nhiều đối tượng, biểu đồ trạng thái chủ yếu nhằm mô hình hóa hành vi của một đối tượng hoặc một lớp. Nếu có sự tương tác giữa nhiều đối tượng, có thể sử dụng biểu đồ tuần tự, biểu đồ hợp tác hoặc biểu đồ hoạt động để biểu thị.
Có thể. Đối với hệ thống phức tạp, hành vi của một đối tượng có thể được tách thành nhiều góc nhìn hoặc chiều của biểu đồ trạng thái, cũng có thể nhúng nhiều biểu đồ trạng thái con làm thành biểu đồ trạng thái phức hợp.
Sự kiện là kích hoạt, chỉ tín hiệu bên ngoài kích hoạt chuyển đổi trạng thái, ví dụ: người dùng nhấn nút “gửi”;
Hành động là phản ứng, chỉ hành động được thực hiện khi chuyển đổi trạng thái hoặc trong trạng thái, ví dụ: gửi email xác nhận, đếm giờ, xác minh mật khẩu.
![[UML] Order processing state diagram](https://www.processon.io/chart_image/template/thumb/676911c4f4278a2300f90544.png?tid=6762a49e3415ee608db914cf)
