Multiple views of the model may be required to capture the needed semantics of the software. When using models supported with automation, models may be checked for completeness and consistency.
Nhiều lần xem của mô hình có thể được yêu cầu để nắm bắt những ngữ nghĩa cần thiết của phần mềm. Khi sử dụng mô hình được hỗ trợ với tự động hóa, mô hình có thể được kiểm tra đầy đủ và nhất quán.
Nhiều quan điểm của các mô hình có thể được yêu cầu để nắm bắt được ngữ nghĩa cần thiết của phần mềm. Khi sử dụng mô hình hỗ trợ tự động hóa, mô hình này có thể được kiểm tra cho đầy đủ và nhất quán.
Có thể yêu cầu người mẫu nhiều khung cảnh, để nắm bắt yêu cầu phần mềm của ngữ nghĩa.Khi sử dụng mô hình tự động hóa được hỗ trợ khi mô hình có thể kiểm tra tính toàn vẹn và nhất quán.