To make the notion of semantics exp

To make the notion of semantics explicit, we distinguish between a symbolic model
and a semantic model (Arbab et al. 2007). A symbolic model expresses properties of
architectures of systems. It therefore contains symbols that refer to reality, which
explains the name of this type of model.

ผลลัพธ์ (ไทย) 1:

แนวคิดของความหมายให้ชัดเจน เราแยกระหว่างรูปแบบสัญลักษณ์และแบบจำลองทางตรรก (Arbab et al. 2007) รูปแบบสัญลักษณ์แสดงคุณสมบัติของสถาปัตยกรรมของระบบ ดังนั้นสัญลักษณ์ที่หมายถึงความเป็นจริง ซึ่งอธิบายชื่อของรูปแบบชนิดนี้

ผลลัพธ์ (ไทย) 2:

ที่จะทำให้ความคิดของความหมายที่ชัดเจนที่เราเห็นความแตกต่างระหว่างรูปแบบสัญลักษณ์และรูปแบบความหมาย (Arbab et al. 2007)
รูปแบบสัญลักษณ์แสดงออกถึงคุณสมบัติของสถาปัตยกรรมของระบบ
ดังนั้นจึงมีสัญลักษณ์ที่อ้างถึงความเป็นจริงที่อธิบายชื่อของชนิดของรุ่นนี้

ผลลัพธ์ (ไทย) 3:

เพื่อให้ความคิดของความหมายชัดเจน เราแยกแยะระหว่าง
รูปแบบสัญลักษณ์และรูปแบบความหมาย ( arbab et al . 2007 ) รูปแบบสัญลักษณ์แสดงคุณสมบัติของ
สถาปัตยกรรมของระบบ มันจึงมีสัญลักษณ์ที่สื่อถึงความจริง ซึ่ง
อธิบายชื่อของแบบจำลองประเภทนี้