(Luận văn thạc sĩ) kiểm tra sự tuân theo giữa thực thi và đặc tả PSM trong mô hình dựa trên thành phần