标准编号：GB/T 20719.12-2010，标准状态：现行。 GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语方外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。
GB/T 20719本部分的范围包括：
——活动和子活动的集合；
——离散活动和状态；
——活动发生的约束；
——基本活动的并发；
——复杂活动；
——复杂活动的发生。
| 英文名称： | Industrial automation systems and integration—Process specification language—Part 12:Outer core |
| 中标分类： | 电子元器件与信息技术>>计算机>>L67计算机应用 |
| ICS分类： | 机械制造>>工业自动化系统>>25.040.40工业过程的测量与控制 |
| 采标情况： | ISO 18629-12:2005 IDT |
| 发布部门： | 中华人民共和国国家质量监督检验检疫总局 中国国家标准化管理委员会 |
| 发布日期： | 2011-01-14 |
| 实施日期： | 2011-06-01 |
| 提出单位： | 中国机械工业联合会 |
| 归口单位： | 全国自动化系统与集成标准化技术委员会(SAC/TC 159) |
| 主管部门： | 全国自动化系统与集成标准化技术委员会(SAC/TC 159) |
| 起草单位： | 北京机械工业自动化研究所、清华大学 |
| 起草人： | 刘颖、黄双喜 |
| 页数： | 44页 |
| 出版社： | 中国标准出版社 |
| 出版日期： | 2011-06-01 |
请到 http://www.bzbz.net/search/ 搜索下载标准下载库的标准