GB/T 20719的本部分通過使用GB/T 20719的一組公理和定義提供了屬于PSL語方外核的概念表述。這些公理為GB/T 20719外核中的術語提供了語義的公理化。
GB/T 20719本部分的范圍包括：
——活動和子活動的集合；
——離散活動和狀態；
——活動發生的約束；
——基本活動的并發；
——復雜活動；
——復雜活動的發生。