GB/T20719的本部分通過使用GB/T20719的語言中編寫的一組定義提供了該語言的非基本概念的規(guī)范。這些定義為GB/T20719本部分的術(shù)語提供了語義的公理化。
以下包括在GB/T20719本部分的范圍內(nèi):
———概念的定義,其使用GB/T20719.13中指定的術(shù)語。
以下不在GB/T20719本部分的范圍內(nèi):
———狀態(tài)的定義和與時間相關(guān)的概念的定義,其只使用GB/T20719.11和GB/T20719.12中指定的術(shù)語。
