. Đặt bối cảnh.
2. Xác định ban đầu, fi nal, và các quốc gia ổn định của các đối tượng.
3. Xác định thứ tự mà các đối tượng sẽ đi qua các bang ổn định.
4. Xác định các sự kiện, hành động và điều kiện bảo vệ kết hợp với quá trình chuyển đổi.
5. Xác nhận các máy trạng thái hành vi.
đang được dịch, vui lòng đợi..
