GB/T 2625-1981
现行
GB/T 20719.12-2010
现行
国家标准
GB/T 20719.12-2010 工业自动化系统与集成 过程规范语言 第12部分：外核
GB/T 20719.12-2010 Industrial automation systems and integration—Process specification language—Part 12:Outer core
基本信息
标准编号:
GB/T 20719.12-2010
标准类型:
国家级标准
标准状态:
现行
is_force_gb:
no
中国标准分类名称:
计算机应用
国际标准分类名称:
工业过程的测量和控制
发布日期:
2011-01-14
实施日期:
2011-06-01
发布单位/组织:
中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会
归口单位:
全国自动化系统与集成标准化技术委员会(SAC/TC 159)
页数:
40 页
适用范围
GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语言外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。
GB/T 20719本部分的范围包括：
——活动和子活动的集合；
——离散活动和状态；
——活动发生的约束；
——基本活动的并发；
——复杂活动；
——复杂活动的发生。
研制信息
起草单位:
北京机械工业自动化研究所、清华大学
起草人:
刘颖、黄双喜
同系列标准
GB/T 20719.11-2010 工业自动化系统与集成过程规范语言 第11部分：PSL核心
GB/T 20719.13-2010 工业自动化系统与集成 过程规范语言 第13部分：时序理论
GB/T 20719.14-2010 工业自动化系统与集成 过程规范语言 第14部分：资源理论
GB/T 20719.41-2010 工业自动化系统与集成 过程规范语言 第41部分：定义性扩展：活动扩展
GB/T 20719.43-2010 工业自动化系统与集成 过程规范语言 第43部分：定义性扩展：活动次序和持续时间扩展
GB/T 20719.44-2010 工业自动化系统与集成 过程规范语言 第44部分：定义性扩展 资源扩展
引用标准
GB/T 16262.1-2006 信息技术 抽象语法记法一(ASN.1) 第1部分：基本记法规范
GB/T 16656.1-1998 工业自动化系统和集成 产品数据表达与交换 第1部分：概述与基本原理
GB/T 16656.1-2008 工业自动化系统与集成 产品数据表达与交换 第1部分：概述与基本原理
GB/T 19114.1-2003 工业自动化系统与集成 工业制造管理数据 第1部分：综述
GB/T 20719.1-2006 工业自动化系统与集成 过程规范语言 第1部分：概述与基本原理
GB/T 20719.11-2010 工业自动化系统与集成过程规范语言 第11部分：PSL核心
GB/T 16262.1-2025 信息技术 抽象语法记法一(ASN.1) 第1部分：基本记法规范
GB/T 19114.1-2025 工业自动化系统与集成 工业制造管理数据 第1部分：综述
采用标准
ISO 18629-12:2005