2.3. Quy tắc trừu tƣợng
2.3.3. Trừu tƣợng liên kết
Trừu tƣợng hóa ít quan trọng và đa giác đều hƣớng đến tập hợp tối đa các thành phần đa giác triconnected thành các thành phần tam giác. Một thành phần tam giác
triconnected là một thành phần tam giác của một mô hình hành vi bao gồm một nhiệm vụ duy nhất và hai nút cổng kết nối biên, xem kết quả của trừu tƣợng đa giác ở trên với các nút ranh giới w, z và nhiệm vụ P1.
Hình 2.7 Trừu tƣợng liên kết
Nếu chỉ duy nhất nhiệm vụ của thành phần tam giác đƣợc coi là không đáng kể với mục đích của mô hình, nó có thể đƣợc kết hợp với (một phần của) thành phần triconnected cha (phân đoạn kinh điển). Nếu thành phần triconnected cha của nó là thuộc lớp liên kết, chúng ta nói về trừu tƣợng hóa liên kết. Nhiệm vụ đƣợc kết hợp với một số thành phần con triconnected của thành phần cha triconnected. Việc lựa chọn một thành phần con để tổng hợp đƣợc giao cho một kỹ thuật kiểm soát trừu tƣợng.
Hình 2.7 là ví dụ điển hình trừu tƣợng liên kết. Bên trái của hình ngƣời ta có thể nhìn thấy ba thành phần triconnected: một liên kết tối đa và hai đa giác tối đa. Lƣu ý rằng cả hai đa giác tối đa là những thành phần tam giác. Nhiệm vụ a đƣợc đề nghị là không đáng kể, nổi bật với nền màu xám và đƣợc viết bằng kiểu chữ in đậm bên trái của hình vẽ. Nhiệm vụ là một phần của một thành phần tam giác mà cha của nó là thành phần liên kết triconnected tối đa (cả cạnh ảo chia sẻ f). Trong ví dụ này, nhiệm vụ a đƣợc chọn sẽ đƣợc tổng hợp với thành phần con triconnected của liên kết tối đa có chứa cạnh ảo e; các ứng cử viên trừu tƣợng đƣợc đặt trong khu vực với một đƣờng biên nét đứt và tƣơng ứng với một đồ thị tách liên kết không đối đa B1.
Phía bên phải hình 2.7 là kết quả của trừu tƣợng liên kết. Hai thành phần tam giác ở hình bên trái kết hợp thành một thành phần tam giác với nhiệm vụ B1 ở bên hình phải. Nhiệm vụ B1 về mặt ngữ nghĩa tƣơng ứng với nhiệm vụ ngữ nghĩa tƣơng ứng với lặp đi
lặp lại thực hiện nhiệm vụ a và b. Thành phần tam giác kết quả là con của liên kết tối đa; mối quan hệ này đƣợc mô tả bởi ảo cạnh g. Lƣu ý rằng một thành phần liên kết tối đa triconnected cuối cùng có thể phát triển thành một thành phần tam giác bằng cách thực hiện một loạt các trừu tƣợng liên kết, ví dụ, nếu quyết định trừu tƣợng nhiệm vụ B1 ở bên phải của hình 2.7, thì lựa chọn duy nhất là để tổng hợp B1 với phân đoạn ít quan trọng (y, z) của các thành phần liên kết cha.