Dalam OSI, output file yang dihasilkan oleh Checker Sintaks Abstrak yang menunjukkan nama-nama PDVs dalam modul input dan struktur data yang terdiri dari mereka.