GB/T 20719.12-2010 工业自动化系统与集成过程规范语言第12部分：外核

标准详情：

GB/T 20719.12-2010

国家标准推荐性

中文名称：工业自动化系统与集成过程规范语言第12部分：外核
CCS分类：L67
ICS分类：25.040.40
发布日期：2011-01-14
实施日期：2011-06-01
代替标准：
技术归口：全国自动化系统与集成标准化技术委员会
发布部门：中国机械工业联合会
标准分类：机械制造工业自动化系统工业过程的测量和控制

内容简介

国家标准《工业自动化系统与集成过程规范语言第12部分：外核》由TC159（全国自动化系统与集成标准化技术委员会）归口，TC159SC4（全国自动化系统与集成标准化技术委员会工业数据分会）执行，主管部门为中国机械工业联合会。
GB／T 20719的本部分通过使用GB／T 20719的一组公理和定义提供了属于PSI。语言外核的概念表述。这些公理为GB／T 20719外核中的术语提供了语义的公理化。 GB／T 20719本部分的范围包括：活动和子活动的集合； ——离散活动和状态；活动发生的约束；一一基本活动的并发；一复杂活动； ——复杂活动的发生。

起草单位

北京机械工业自动化研究所、清华大学、

起草人

刘颖、黄双喜、

相近标准

GB/T 20719.14-2010 工业自动化系统与集成过程规范语言第14部分：资源理论
GB/T 20719.11-2010 工业自动化系统与集成过程规范语言第11部分：PSL核心
GB/T 20719.1-2006 工业自动化系统与集成过程规范语言第1部分:概述与基本原理
GB/T 20719.13-2010 工业自动化系统与集成过程规范语言第13部分：时序理论
20213018-Z-604 工业自动化系统与集成流程工厂（包括石油和天然气生产设施）生命周期数据集成第12部分：网络本体语言（OWL）表示的生命周期集成本体
GB/T 20719.41-2010 工业自动化系统与集成过程规范语言第41部分：定义性扩展：活动扩展
GB/T 20719.44-2010 工业自动化系统与集成过程规范语言第44部分：定义性扩展资源扩展
GB/T 20719.43-2010 工业自动化系统与集成过程规范语言第43部分：定义性扩展：活动次序和持续时间扩展
20213020-T-604 工业自动化系统与集成生产系统工程的标准化程序第3部分：生产计划过程中的信息流
20204693-T-604 工业自动化系统与集成生产系统工程的标准化程序第2部分：无缝衔接生产计划的参考过程

* 特别声明：资源收集自网络或用户上传，版权归原作者所有，如侵犯您的权益，请联系我们处理。

本地下载

纠错