Tóm tắt:

Bài báo đề xuất một phương pháp kiểm chứng sự tuân thủ về ràng buộc thời gian thực thi giữa các thành phần phần mềm so với đặc tả sử dụng lập trình hướng khía cạnh. Trong đó ràng buộc thời gian giữa các thành phần được đặc tả bằng biểu đồ thời gian của UML và biểu thức chính của các thành phần để tính thời gian thực thi từ đó kiểm chứng sự tuân thủ so với đặc tả.