本标准为GB/T 20719.12-2010，标准的中文名称为工业自动化系统与集成 过程规范语言 第12部分:外核，标准的英文名称为Industrial automation systems and integration. Process specification language. Part 12:Outer core，本标准在2011-01-14发布，在2011-06-01开始实施。
该标准采用了标准ISO 18629-12-2005,IDT。
GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语方外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。 GB/T 20719本部分的范围包括:活动和子活动的集合;离散活动和状态;活动发生的约束;基本活动的并发;复杂活动;复杂活动的发生。
本标准文件共有42页。
GB_T 20719.12-2010 工业自动化系统与集成 过程规范语言 第12部分_外核.pdf
(1.24 MB)
|
|
