Một ngôn ngữ, thường là một sự kết hợp processable máy ngôn ngữ tự nhiên và chính thức, được sử dụng để xác định các yêu cầu, thiết kế, hành vi, hoặc khác đặc điểm của một hệ thống hoặc các thành phần hệ thống.