Phần mềm-Ứng dụng

1 – Tương tác đa phương thức độc quyền: Chỉ có một phương thức được sử dụng và tương tác được phát sinh tuần tự.

S :: = S [] S | S >> S | E     

Quy tắc S bao gồm phép chọn hoặc kích hoạt các tương tác.

E :: = e ; E | d với e ÎA_mi   

Quy tắc E bao gồm các sự kiện phát sinh từ một phương thức.

2 - Tương tác đa phương thức thay thế: Một số phương thức có thể được thay thế cho nhau và các tương tác được tạo ra một cách tuần tự.

S :: = S [] S | S >> S | E                  

Quy tắc S bao gồm phép chọn hoặc kích hoạt các tương tác.

E :: = e ; E | e |||e | d  với e ÎA_SET    

Quy tắc E bao gồm các sự kiện phát sinh từ nhiều phương thức khác nhau.

3 – Tương tác đa phương thức hợp tác: Các tương tác được tạo ra đồng thời nhưng những sự kiện của các phương thức khác nhau có thể được thực hiện một cách song song hoặc xen kẽ.

S :: = S [] S | S >> S | E                                

Quy tắc S bao gồm phép chọn hoặc kích hoạt các tương tác.

E :: = e; E | e||| E | e|| E | với e ÎA_SET           

Quy tắc E bao gồm các sự kiện phát sinh từ nhiều phương thức khác nhau.