Trong giọt, một đồ thị giao thức định nghĩa cấu trúc giao thức mặc định, chức năng cơ bản
phụ thuộc và triển khai microprotocol thay thế. Trong thực tế, một giao thức
phát triển sẽ xác định điều này trong một tùy chỉnh thích ứng Nghị định thư Đặc điểm kỹ thuật ngôn ngữ (APSL).
Xác định một đồ thị như vậy làm giảm số lượng các cấu hình giao thức có thể là một chức năng
của số lượng các đối tượng trong đồ thị giao thức và số lượng các cơ chế thay thế
cung cấp bởi mỗi. Điều này có thể được thể hiện như:
đang được dịch, vui lòng đợi..