J 07 ICS 35.240.50
B 中华人民共和国国家标准
GB/T39470-2020/ISO/PAS19450:2015
自动化系统与集成对象过程方法 Automation systems and integration-Object-process methodology (ISO/PAS19450:2015,IDT)
2020-11-19 发布2021-06-01实施 国家市场监督管理总局发布 国家标准化管理委员会
GB/T 39470-2020/ISO/PAS19450:2015
目次
前言 引言 1范围 2规范性引用文件 3术语与定义 4符号 5一致性 6对象过程方法(OPM)原理和概念10 6.1对象过程方法(OPM)建模原理10 6.2对象-过程方法论(OPM)基本概念11 7对象-过程方法论(OPM)事物语法和语义14 7.1对象.14 7.2过程..14 7.3对象-过程方法论(OPM)事物15 8对象-过程方法论(OPM)关联语法和语义概述81 8.1程序关联概述18 8.2操作语义和执行控制流18 9程序关联.... 9.1转换关联. 9.2使能关联21 9.3状态-指定转换关联23 9.4状态-指定使能关联28 9.5控制关联29 10结构关联43 10.1结构关联类型43 10.2标签结构关联43 10.3基本结构关系44 10.4状态-指定结构关系和关联55 11关系基数...59 11.1结构和程序关联中的对象多重性59 11.2对象多重性表达式和约束61 11.3属性值和多重性约束89 12逻辑运算符:AND、XOR和OR89 12.1逻辑AND的程序关联89 12.2逻辑XOR和OR的程序关联...65
GB/T 39470-2020/ISO/PAS19450:2015
12.3趋异型和趋同型XOR和OR关联.66 12.4状态-指定的XOR和OR关联扇面89 12.5控制-修正的关联扇面.69 12.6状态-指定控制-修正关联扇面69 12.7关联概率和概率关联扇面70 13执行路径和路径标签73 14使用OPM管理上下文74 14.1完成系统图(SD)..74 14.2实现模型内涵74 附录A(规范性附录)EBNF中的OPL形式化语法[6 附录B(规范性附录)OPM运用指南112 附录C(资料性附录)使用对象-过程方法论(OPM)建立OPM模型115 附录D(资料性附录)OPM动态性和仿真146 参考文献..152
GB/T 39470-2020/ISO/PAS19450:2015
前言
本标准按照GB/T1.1一2009给出的规则起草。
本标准使用翻译法等同采用ISO/PAS19450:2015《自动化系统与集成对象过程方法》。
请注意本文件的某些内容可能涉及专利。
本文件的发布机构不承担识别这些专利的责任。
本标准由中国机械工业联合会提出。
本标准由全国自动化系统与集成标准化技术委员会(SAC/TC159)归口。
本标准起草单位:北京机械工业自动化研究限公司、清华大学。
本标准主要起草人:孙洁香、孙逊、黄双喜、黎晓东、王凯、张雪嫣、杨秋影、王海丹。
GB/T 39470-2020/ISO/PAS 19450:2015
引言
对象-过程方法论(OPM)是一种用于自动化系统建模和知识表达的紧凑型概念性方法、语言和方 法论。
OPM的应用范围可以从基本元素的简单组合系统到复杂、多学科和动态系统。
OPM适用于借 助信息技术和计算机技术工具来实施和提供支持。
该公用规范明确地指定了OPM的语言和方法论以 便为系统架构师、设计师和OPM兼容工具开发商建立一个能支持类型系统建模的共同基础。
OPM为同一模型提供了两种语义上同等模式的表达方式:图形式和文本式。
一组层次化和相互 关联的对象-过程图(OPDs)构成了图形模型,而一组采用英语语言子集的自动生成的句子则构成了对 象-过程语言(OPL)所表达的文本模式。
在一个图形化可视模型中,每个OPD都包含有以图形符号被 描绘出来的OPM要素,有时还带有标签注释。
OPD语法指定了管理这些图形要素之间约定的一致性 和正确性方法。
通过使用OPL,OPM以保留图形模型约束的方式为每一个OPD生成了相应的文本模 式。
鉴于OPL的语法和语义是英文自然语言的一个子集,域专家可以很容易地理解文本模型。
OPM符号支持具有形式化语法和语义系统的概念建模。
这种形式通常作为基于模型的系统工程 的基础,包括系统架构规划、工程设计、开发、生命周期支持、通信和演化。
此外,OPM的这种独立于领 域的性质使系统建模适用于整个科学、商业和工业团体以用于其特殊应用领域中制造以及其他工业和 商业系统的开发...