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