• Trong HT này, trạng thái của HT được chia thành 1 tập hữu hạn các thuộc tính. Mỗi thuộc tính có thể nhận 1 tập giá trị. Một vài thuộc tính được thiết lập như là kết quả hành động ND, 1 số khác có tác động lên sự hiển thị của HT.
• Thí dụ: Với thí dụ trên, chúng ta có 5 thuộc tính:
i)Mouse: {mouse-off, select-line, click-point, highlight- click}
Hệ thống luật PPS (tiếp)
ii)Line-state: {menu, start-line, rest-line}
iii)Rubber-band: {rubber band-off, rubber band-on}
iv)Menu: {highlight-off, highlight-line, highlight-circle } v)Draw: {draw-nothing, draw-line}
Thuộc tính thứ nhất được thiết lập tự động khi ND thựchiện 1 hành động có liên quan. Thuộc tính thứ hai được dùng bởi đối thoại để lưu lại vết của các trạng thái. Ba thuộc tính cuối dùng để điều khiển sự đáp ứng của HT.
Hệ thống luật PPS (tiếp)
Hệ thống luật PPS cho thí dụ trên có thể viết:
select-line -> mouse-off start line highlight line
click-point start line -> mouse-off rest line rubber band on click-point rest line -> mouse-off draw line
double-click rest line -> mouse-off menu draw line rubber band off
Hệ thống luật PPS (tiếp)
Luật thứ hai của HT luật trên, hành động “rest-line” thiết lập thuộc tính “line state” và sẽ loại bỏ giá trị trước là “start line”
7.3.3 CPS và đại số sự kiện
• Ký pháp STN rất phù hợp với việc điều khiển tương tranh; trong khi đó luật sản xuất lại ngược lại.
• Việc xử lý đồng thời (tương tranh, tuần tự) đặt ra trong nhiều bài toán (truyền thông, đk tương tranh).
• Quá trình đại số (Process Algebras) là một lớp ký pháp hình thức được phát triển cho các quá trình tương tự.
• CSP là một lớp con đựoc phát triển cho đặc tả đối thoại
7.3.3 CPS và đại số sự kiện (tiếp)
• CSP được sử dụng vì: