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