标准号:GB/T 20719.41-2010
标准名称:工业自动化系统与集成 过程规范语言 第41部分:定义性扩展:活动扩展
发布日期:2011-01-14
实施日期:2011-06-01
批准发布部门:中国机械工业联合会
归口单位:全国自动化系统与集成标准化技术委员会
起草单位:北京机械工业自动化所、清华大学
起草人:王思斯、黄双喜
本部分通过使用GB/T 20719语言中编写的一组定义来提供这种语言的非基本概念的规范。这些定义为本部分中的术语提供了语义的公理化。以下包括在本部分的范围中:——使用GB/T 20719.11-2010和GB/T 20719.12-201O的概念详细描述的、与状态和时间关系无关的、但与例如第5章中列出的那些活动类别相关的概念的定义。以下不包括在本部分的范围中:——使用GB/T 20719.11-2010和GB/T 20719.12-2010的概念详细描述的、与状态和时间相关的概念的定义。