Các phần mềm quá trình chuyển đổi từ một tiểu bang để tiếp theo bằng cách một bảo vệ hoặc không có bảo vệ sự kiện kích hoạt xảy ra trong môi trường modeled.
Việc chuyển đổi phần mềm từ một tiểu bang kế tiếp bằng cách của một sự kiện kích hoạt bảo vệ hoặc không có bảo vệ xảy ra trong môi trường được mô hình hóa.