首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 ISO 18629-12:2005
到馆阅读
收藏跟踪
购买正版
Industrial automation systems and integration — Process specification language — Part 12: Outer core 工业自动化系统与集成——工艺规范语言第12部分:外芯
发布日期: 2005-09-29
ISO 18629-12:20 05通过一组公理和定义提供了属于语言外部核心的概念的表示。这些公理提供了ISO 18629外核中术语语义的公理化。 以下内容属于ISO 18629-12:20 05的范围: 活动和子活动的汇总;离散活动和状态;对活动发生的限制;原始活动的并发性;复杂的活动;复杂活动的发生。
ISO 18629-12:2005 provides a representation of the concepts that belong to the outer core of the language, through a set of axioms and definitions. These axioms provide an axiomatization of the semantics for terminology in the ISO 18629 Outer core. The following are within the scope of ISO 18629-12:2005:
  • the aggregation of activities and sub-activities;
  • discrete activities and state;
  • constraints on the occurrence of activities;
  • concurrency for primitive activities;
  • complex activities;
  • occurrences of complex activities.
分类信息
关联关系
研制信息
归口单位: ISO/TC 184/SC 4
相似标准/计划/法规
现行
GOST R 57318-2016
Системы промышленной автоматизации и интеграция. Применение и управление процессами системной инженерии
工业自动化系统和集成 系统工程过程的应用与管理
现行
ISO 18629-14-2006
Industrial automation systems and integration — Process specification language — Part 14: Resource theories
工业自动化系统与集成——过程规范语言第14部分:资源理论
2006-08-14
现行
ISO 18629-11-2005
Industrial automation systems and integration — Process specification language — Part 11: PSL core
工业自动化系统与集成——工艺规范语言第11部分:PSL核心
2005-09-26
现行
GB/T 20719.12-2010
工业自动化系统与集成 过程规范语言 第12部分:外核
Industrial automation systems and integration - Process specification language - Part 12:Outer core
2011-01-14
现行
GB/T 20719.14-2010
工业自动化系统与集成 过程规范语言 第14部分:资源理论
Industrial automation systems and integration - Process specification language - Part 14: Resource theories
2010-12-01
现行
GOST R ISO 18629-14-2011
Системы промышленной автоматизации и интеграции. Язык спецификаций процесса. Часть 14. Теории ресурсов
工业自动化系统和集成 流程规范语言资源理论
现行
GB/T 20719.11-2010
工业自动化系统与集成 过程规范语言 第11部分:PSL核心
Industrial automation systems and integration - Process specification language -Part 11: PSL core
2010-12-01
现行
GOST R ISO 18629-12-2010
Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 12. Внешнее ядро
工业自动化系统和集成 流程规范语言第12部分外核
现行
GOST R ISO 18629-11-2010
Системы промышленной автоматизации и интеграция. Язык спецификации процесса. Часть 11. Ядро PSL
工业自动化系统和集成 流程规范语言第11部分
现行
KS B ISO 18629-1(2023 Confirm)
산업 자동화 시스템 및 통합-공정 명세 언어-제1부:개요 및 기본 원리
工业自动化系统和集成过程规范语言第1部分:概述和基本原理
2007-08-10
现行
KS B ISO 18629-1(2018 Confirm)
산업 자동화 시스템 및 통합-공정 명세 언어-제1부:개요 및 기본 원리
工业自动化系统与集成过程规范语言第1部分:概述和基本原理
2007-08-10
现行
ISO 18629-13-2006
Industrial automation systems and integration — Process specification language — Part 13: Duration and ordering theories
工业自动化系统与集成——过程规范语言第13部分:持续时间和排序理论
2006-08-14
现行
GOST R ISO 18629-1-2010
Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 1. Обзор и основные принципы
工业自动化系统和集成 流程规范语言第一部分概述和基本原则
现行
GB/T 20719.41-2010
工业自动化系统与集成 过程规范语言 第41部分:定义性扩展:活动扩展
Industrial automation system and integration - Process specification language - Part 41:Definitional extension:Activity extensions
2011-01-14
现行
GB/T 20719.1-2006
工业自动化系统与集成 过程规范语言 第1部分:概述与基本原理
Industrial automation system and integration - Process specification language - Part 1: Overview and basic principles
2006-12-13
现行
ISO 18629-1-2004
Industrial automation systems and integration — Process specification language — Part 1: Overview and basic principles
工业自动化系统与集成——工艺规范语言第1部分:概述和基本原则
2004-11-23
现行
GB/T 20719.13-2010
工业自动化系统与集成 过程规范语言 第13部分:时序理论
Industrial automation system and integration - Process specification language - Part 13: Duration and ordering theories
2010-09-02
现行
GOST R ISO 18629-13-2011
Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 13. Теории продолжительности и упорядочения операций
工业自动化系统和集成 流程规范语言持续时间和订购理论
现行
ISO 18629-41-2006
Industrial automation systems and integration — Process specification language — Part 41: Definitional extension: Activity extensions
工业自动化系统与集成——过程规范语言第41部分:定义扩展:活动扩展
2006-08-18
现行
ISO 18629-44-2006
Industrial automation systems and integration — Process specification language — Part 44: Definitional extension: Resource extensions
工业自动化系统与集成——过程规范语言第44部分:定义扩展:资源扩展
2006-08-18