Đặc tả và xác minh các yêu cầu chất lượng trong các trình bày đa phương tiện phân tán

Các ứng dụng truyền phát liên tục có một khía cạnh tạm thời ngụ ý, tức là chúng được trình bày với một tỷ lệ nhất định trong một khoảng thời gian nhất định và nếu tỷ lệ trình bày yêu cầu không được đáp ứng, tính toàn vẹn của các phương tiện này sẽ bị phá hủy. Chúng tôi trình bày một tập hợp các cú pháp ngôn ngữ phù hợp cho việc định nghĩa QoS cần thiết và khía cạnh thời gian thực của các phương tiện tham gia trong một ứng dụng đa phương tiện. Chúng tôi đề xuất một sơ đồ mô hình hóa mới, nơi chúng tôi có thể đại diện cho mỗi trình bày khác nhau bằng một nhiệm vụ định kỳ, sau đó chúng tôi mô tả một phương pháp cung cấp hỗ trợ cấp thấp cho các cú pháp ngôn ngữ này. Sự chú ý của chiến lược đề xuất tập trung vào các đảm bảo xác định và có thể được coi là một bước tiếp theo cho thiết kế và triển khai các ứng dụng truyền phát liên tục có thể dự đoán qua mạng.