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