... GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG………… Luận văn Tìm hiểu về Ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực 19 Ngôn ngữ mô tả hệ thống được sử dụng trong UPPAAL ... Hình 7. Ví dụ về khai báo Khai báo (cho một mẫu) và có thể chứa các khai báo của đồng hồ, số nguyên, các kênh, mảng, hồ sơ, và các loại. Cú pháp là mô tả bằng ngữ pháp cho các khai báo: ... địa điểm và các cạnh. Một mẫu cũng có thể có khai báo các biến cục bộ và biến toàn cục. 20 Hình 6. Ví dụ về mẫu 3.1.9 Tham số Các mẫu và chức năng được parameterised. Cú pháp cho các tham...