ICS 35.240.50 J 07
GB
中华人民共和国国家标准
GB/T39470—2020/ISO/PAS19450:2015
自动化系统与集成 对象过程方法 Automation systems and integrationObject-process methodology
（ISO/PAS19450:2015,IDT)
2020-11-19发布
2021-06-01实施
国家市场监督管理总局国家标准化管理委员会
发布 GB/T39470—2020/ISO/PAS19450:2015
目 次
前言引言 1 范围
m
规范性引用文件 3 术语与定义符号
2
4
5 一致性对象过程方法（OPM)原理和概念
6
10
6.1对象过程方法（OPM)建模原理 6.2对象-过程方法论（OPM)基本概念
11
7对象-过程方法论(OPM)事物语法和语义
14
7.1对象. 7.2过程 7.3对象-过程方法论（OPM)事物
14
L
15
8对象-过程方法论(OPM)关联语法和语义概述
18
8.1 程序关联概述 8.2操作语义和执行控制流 9 程序关联··
18 18 20
9.1 转换关联 9.2 使能关联… 9.3 状态-指定转换关联 9.4 状态-指定使能关联 9.5 控制关联 10 结构关联 10.1 结构关联类型 10.2 标签结构关联 10.3 基本结构关系 10.4 状态-指定结构关系和关联 11 关系基数 11.1 结构和程序关联中的对象多重性 11.2 对象多重性表达式和约束 11.3 属性值和多重性约束 12 逻辑运算符：AND、XOR和OR 12.1 逻辑AND的程序关联 12.2 逻辑XOR和OR的程序关联
21 23 28 29
43
43 43 44 55
59
59 61 6 63
63
65 GB/T39470—2020/ISO/PAS19450:2015
12.3 趋异型和趋同型XOR和OR关联· 12.4 状态-指定的XOR和OR关联扇面 12.5 控制-修正的关联扇面. 12.6 状态-指定控制-修正关联扇面.. 12.7关联概率和概率关联扇面 13 执行路径和路径标签 14 使用OPM管理上下文 14.1 完成系统图（SD) 14.2 实现模型内涵附录A（规范性附录） EBNF中的OPL形式化语法附录B（规范性附录）OPM运用指南附录C（资料性附录） 使用对象-过程方法论（OPM)建立OPM模型附录D（资料性附录） OPM动态性和仿真参考文献：
66 68 69 69 70
73 74 74 74 91 112 115 146 152 GB/T39470—2020/ISO/PAS19450:2015
前言
本标准按照GB/T1.1一2009给出的规则起草。 本标准使用翻译法等同采用ISO/PAS19450：2015《自动化系统与集成对象过程方法》。 请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。 本标准由中国机械工业联合会提出。 本标准由全国自动化系统与集成标准化技术委员会（SAC/TC159)归口。 本标准起草单位：北京机械工业自动化研究所有限公司、清华大学。 本标准主要起草人：孙洁香、孙逊、黄双喜、黎晓东、王凯、张雪嫣、杨秋影、王海丹。 GB/T39470—2020/ISO/PAS19450:2015
引言
对象-过程方法论（OPM)是一种用于自动化系统建模和知识表达的紧凑型概念性方法、语言和方
法论。OPM的应用范围可以从基本元素的简单组合系统到复杂、多学科和动态系统。OPM适用于借助信息技术和计算机技术工具来实施和提供支持。该公用规范明确地指定了OPM的语言和方法论以便为系统架构师、设计师和OPM兼容工具开发商建立一个能支持所有类型系统建模的共同基础。
OPM为同一模型提供了两种语义上同等模式的表达方式：图形式和文本式。一组层次化和相互关联的对象-过程图（OPDs)构成了图形模型，而一组采用英语语言子集的自动生成的句子则构成了对象-过程语言（OPL)所表达的文本模式。在一个图形化可视模型中，每个OPD都包含有以图形符号被描绘出来的OPM要素，有时还带有标签注释。OPD语法指定了管理这些图形要素之间约定的一致性和正确性方法。通过使用OPL，OPM以保留图形模型约束的方式为每一个OPD生成了相应的文本模式。鉴于OPL的语法和语义是英文自然语言的一个子集，域专家可以很容易地理解文本模型。
OPM符号支持具有形式化语法和语义系统的概念建模。这种形式通常作为基于模型的系统工程的基础，包括系统架构规划、工程设计、开发、生命周期支持、通信和演化。此外，OPM的这种独立于领域的性质使系统建模适用于整个科学、商业和工业团体以用于其特殊应用领域中制造以及其他工业和商业系统的开发、调查和分析，从而使公司能够将不同技能和能力融人到一个通用直观且形式化的框架中，并且提供互操作性。
OPM为系统施工、测试、集成和日常维护提供了一个公共视图，确保了多学科环境下工作的实施。 此外，公司通过使用OPM可以改善其对系统功能的纵览、人员任务分配的灵活性以及管理异常和错误恢复。标准可为任何必要细节进行扩展，包括系统的功能、结构和行为方面。
OPM的一个特殊应用体现在技术标准的起草和编写。OPM有助于勾画一项标准的实施情况及
识别和减少标准中的不足，从而显著提高后续草案的质量。使用OPM，即使作为一个系统基于模型的文本也可进行扩展以包含更多细节，这样基础模型就会一直保持其高度的形式化和一致性
本标准为系统构造师和设计师提供了一个能够精确而有效地将其用于系统建模的基准。OPM工具供应商可将PAS作为一种形式化标准规范来创建软件工具以增强概念性建模。
本标准提供了符合扩展巴科斯范式（EBNF)语言语法规范的规范性文本表达式。所有要素都呈现
在第5章到第12章中，仅很少地涉及方法论。第13章呈现了与放大和展开相关的上下文管理机制。
本标准为展现OPM而使用了若干惯例。具体来说，文本中的宋体加粗字体和图表标题、表格标题以及文本标题中的斜体加粗字体、都对用于OPM的对象、过程、状态和关联标签的标签名称进行了区分。OPL所保留的单词是带有宋体加粗字体的逗号和句号的宋体常规字体。大多数图形同时包含有一个图形图像、OPD部分和一个等效文本，即OPL部分。鉴于这是一种语言规范，精确使用术语定义是非常重要的，且通常用法中的一些术语在使用OPM时具有特殊的意义。第B.6章解释了使用OPM 的其他惯例。
附录A介绍了以EBNF形式表示的OPL形式化语法。 附录B介绍了OPM应用程序中通常使用的约定和模式，附录C介绍了作为OPM模型的OPM的各个方面。 附录D总结了OPM的动态性和仿真功能。
IV GB/T394702020/ISO/PAS19450:2015
自动化系统与集成 对象过程方法
1范围
本标准对对象-过程方法论（OPM)进行详细说明，使从业者可以将对象-过程方法论（OPM)的概念、语义和语法概念模型作为一种建模范例和语言来建立不同细节程度的概念模型，并可使工具商能够提供应用建模产品以帮助那些从业者们。
尽管本标准介绍了对象-过程方法论所使用的一些例子以提高清晰度，但并未尝试要为对象-过程方法论的所有可能性应用提供一个完整性的参考
规范性引用文件
2
无。
3术语和定义
下列术语和定义适用于本文件。
3.1
抽象化 abstraction 降低细节和系统模型完整性（3.8)的程度以实现更好地理解。
3.2
受影响物 affected 受到一个过程（3.58）事件影响的被转换物（3.78），比如其状态（3.69）发生改变注：一个受影响物只能是一个有状态对象（3.66）。一个无状态对象（3.67)只能被创建或被消耗，但不会受到影响
?
3.3
代理 agent 一个人或一组人的使能器（3.17）。
3.4
属性 attribute 表征一件非自身事物（3.76)的对象（3.39）。
3.5
行为 behaviour 对象（3.39)转换（3.77），其产生于对一个对象-过程方法论（3.43)模型的执行，包含了模型中的事物
（3.76)集合体和对象的关联（3.36）。 3.6
受益者 beneficiary 从系统操作（3.46）所获得功能值（3.82)的<系统》利益相关者（3.65）。
3.7
类 class 具有同等持久性（3.50）、重要性、归属价值及相同特性（3.21)和状态（3.69)的事物（3.76)集合体。
1 GB/T39470—2020/ISO/PAS19450:2015
3.8
完整性 completeness 在模型中说明一个系统全部细节的<系统模型》范围
3.9
条件关联 condition link 从一个对象（3.39)或对象状态（3.69)到一个过程（3.58）的程序关联（3.56），意味着一个程序约束，
3.10
被消耗物 consumer 一个过程（3.58)事件所消耗或消除的被转换物（3.78）。
3.11
上下文 context 由一个对象-过程图（3.41)和相应对象-过程语言（3.42)文本所代表的一个对象-过程方法论（3.43）
模型的<模型》部分。 3.12
控制关联 control link 带有附加控制语义的程序关联（3.56）。
3.13
控制修饰符 control modifier 修饰一个关联（3.36)符号以对其添加控制语义，使其成为一个控制关联（3.12）。 注：事件（3.18)的控制修饰符符号为"e”，条件的控制修饰符符号为“c"。
3.14
区分属性 discriminatingattribute 不同值（3.81)辨别相应的特化关系的属性（3.4）。
3.15
效果 effect 一个对象（3.39)状态（3.69)或一个属性（3.4)值（3.81)的变化，注：一个效果只适用于一个有状态对象（3.66)。
3.16
要素 element 事物（3.76)或关联（3.36）。
3.17
使能器 enabler 能使能一个过程（3.58)但过程不会进行转换的《过程》对象（3.39）。
3.18
事件 event 在一个对象的创建（或出现)或一个对象（3.39)进人到一个特定状态（3.69)时的点，其中任
何一个可能会启动对过程（3.58)前置条件（3.53)的评估。 3.19
事件关联 event link 代表一个事件（3.18)从对象（3.39)或对象状态（3.69)到一个过程（3.58)的控制关联（3.12）。
3.20
展示物 exhibitor 通过展示-表征关系而展现（表现为）一个特性（3.21)的事物（3.76）。
2