Một tập các quy tắc và định dạng (ngữ nghĩa và cú pháp) mà xác định hành vi giao tiếp của ứng dụng thực thể trong việc thực hiện chức năng ứng dụng.