美利体育登录入口官网

美利体育登录入口官网:SS-ISO 18629-12:2005
工业自动化系统和集成 过程规范语言 第12部分:外部核心(ISO 18629-12:2005 等同采用)

Industrial automation systems and integration - Process specification language - Part 12: Outer core (ISO 18629-12:2005, IDT)


说明:

  • 此图仅显示与当前标准最近的5级引用;
  • 鼠标放置在图上可以看到标题编号;
  • 此图可以通过鼠标滚轮放大或者缩。
  • 表示标准的节点,可以拖动;
  • 绿色表示标准:SS-ISO 18629-12:2005 , 绿色、红色表示本平台存在此标准,您可以下载或者购买,灰色表示平台不存在此标准;
  • 箭头终点方向的标准引用了起点方向的标准。

SS-ISO 18629-12:2005

点击查看大图

标准号
SS-ISO 18629-12:2005
发布
2005年
ICS
25.040.40
发布单位
瑞典标准研究所
当前最新
SS-ISO 18629-12:2005
 
 
引用标准
ISO 10303-1 ISO 15531-1 ISO 18629-1 ISO 18629-11 ISO/IEC 8824-1
 
 
本体
过程规范语言

ISO 18629 的这一部分通过一组公理和定义,提供了属于语言外核的概念的表示。这些公理为 ISO 18629 外核中的术语提供了语义的公理化。以下内容属于 ISO 18629 的这一部分的范围: - 活动和子活动的聚合; - 离散活动和状态; - 对活动发生的约束; - 原始活动的并发性; - 复杂活动; - 复杂活动的发生。

术语 
外层核心 Outer core
过程规范语言 Process specification language
子活动 Subactivity
离散状态 Discrete state
原子活动 Atomic activity
复杂活动 Complex activity
发生树 Occurrence tree

美利体育登录入口官网: SS-ISO 18629-12:2005相似标准





Copyright ?2007-2026 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号
页面更新时间: 2026-07-29 05:26

美利体育(meili)官方网站_美利体育手机版下载