Biểu đồ trạng thái đƣợc tạo nên từ các trạng thái, các sự kiện, quá trình chuyển đổi và hành động. Một trạng thái là một điều kiện của một thể hiện qua quá trình thời gian tồn tại của nó, trong đó nó thỏa mãn một số điều kiện, thực hiện một số hành động, hoặc đợi một số sự kiện. Một trạng thái có thể bao gồm các trạng thái con khác. Trong trƣờng hợp này, trạng thái đƣợc gọi là một trạng thái phức. Trạng thái đặc biệt, trạng thái bắt đầu, chỉ ra điều kiện
34
đầu tiên suốt vòng đời của một thể hiện. Trạng thái đặc biệt khác, trạng thái kết thúc, cho biết điều kiện cuối cùng suốt vòng đời của một thể hiện. Một sự kiện là sự xuất hiện đáng chú ý đƣợc gây nên bởi sự biến đổi trạng thái. Sự kiện có thể đến từ các hình thái khác nhau và từ các nguồn khác nhau.
Một điều kiện đƣợc chỉ định trở nên true. Sự kiện này xảy ra bất cứ khi nào giá trị của biểu thức thay đổi từ false sang true.
Việc nhận tín hiệu rõ ràng từ một nơi nào đó. Việc nhận cuộc gọi của thao tác.
Việc thông qua khoảng thời gian đã chỉ định.
Sự kiện kích hoạt sự biến đổi. Nếu một sự kiện không gây ra sự biến đổi, nó bị hủy bỏ. Trong trƣờng hợp này nó không có ý nghĩa cho các mô hình hành vi. Sự kiện bởi vậy chỉ liên quan đến biến đổi. Một quá trình biến đổi là một mối quan hệ giữa hai trạng thái chỉ ra rằng đó là một thể hiện cƣ trú trong trạng thái đầu sẽ vào trạng thái thứ hai với điều kiện chỉ rõ là thỏa mãn. Việc kích hoạt sự biến đổi là một sự kiện. Một sự biến đổi đồng thời có thể có nhiều trạng thái nguồn và nhiều trạng thái đích. Nó cho thấy một đồng bộ hóa việc tách điều khiển thành tuyến đồng thời mà không phải trạng thái con đồng thời. Một sự biến đổi vào ranh giời của trạng thái phức là tƣơng đƣơng với một sự biến đổi tới trạng thái bắt đầu của mô hình trạng thái con phức. Một sự biến đổi có thể đƣợc ghi nhãn bởi xâu biến đổi sang định dạng sau: event_name ( parameter_list ) [ guard_condition ] / action_expression. Ở đây, guard miêu tả một biểu thức điều kiện cho phép sự kích hoạt một sự biến đổi nếu và chỉ nếu biểu thức điều kiện là hợp lệ. Nó là một biểu thức logic đƣợc viết trong nhóm các tham số (parameter) của sự kiện kích hoạt, cộng thêm thuộc tính và liên kết đối tƣợng sở hữu mô hình trạng thái. Một biểu thức hành động (action expression) là một biểu thức thủ tục sẽ thực hiện nếu biến đổi đƣợc thực hiện.