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

Phương pháp đai số tập trung vào thủ tục hợp nhất các đầu vào, định nghĩa một mô hình hình thức cho ứng dụng và các thuộc tính của nó. Các ứng dụng được mô tả bởi quá trình đại số và các thuộc tính được thể hiện bằng biểu thức logic như CTL (Computational Tree Logic).

Để đặc tả hệ thống bằng các văn phạm đại số, các tác giả trong [62] đã đặt các ký hiệu sau:

Tập tất cả các sự kiện e_i  được sinh ra theo phương thức m_i. S là quy tắc sinh nhiệm vụ tương tác của người dùng

E là quy tắc sinh các lệnh bằng cách gọi những hành động cơ bản của tập hợp.

                 A_SET biểu thị bất kỳ tập hợp con của A.

Như vậy đối với một hệ thống tương tác đa phương thức, quy tắc S và E được định nghĩa: các phép lựa chọn, tuầntự, đan xen, song song và phép toán chuỗi.