GB/T 39470-2020.Automation systems and integration-Object-process methodology.
1范围
GB/T 39470对对象-过程方法论(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)集合体。

ICS35.240.50
中华人民共和国国家标准
GB/T39470—2020/ISO/PAS19450:2015自动化系统与集成
对象过程方法
Automation systems and integration-Object-process methodology（ISO/PAS19450:2015,IDT）
2020-11-19发布
国家市场监督管理总局
国家标准化管理委员会此内容来自标准下载网
2021-06-01实施
规范性引用文件
术语与定义
一致性
对象过程方法（OPM)原理和概念6.1
对象过程方法（OPM)建模原理
对象-过程方法论（OPM)基本概念6.2
对象-过程方法论(OPM)事物语法和语义7.1
对象-过程方法论(OPM)事物
8对象-过程方法论(OPM)关联语法和语义概述8.1
程序关联概述
操作语义和执行控制流
程序关联.
转换关联
使能关联
状态-指定转换关联
状态-指定使能关联
控制关联
结构关联
结构关联类型
标签结构关联
基本结构关系
状态-指定结构关系和关联
关系基数
结构和程序关联中的对象多重性对象多重性表达式和约束
属性值和多重性约束
逻辑运算符：AND、XOR和OR
逻辑AND的程序关联
逻辑XOR和OR的程序关联
GB/T39470—2020/ISO/PAS19450.201510
GB/T39470—2020/ISO/PAS19450:201512.3
趋异型和趋同型XOR和OR关联
状态-指定的XOR和OR关联扇面
控制-修正的关联扇面
状态-指定控制-修正关联扇面·关联概率和概率关联扇面
执行路径和路径标签
使用OPM管理上下文
完成系统图(SD)
实现模型内涵
附录A（规范性附录）
附录B（规范性附录）
附录C（资料性附录）
附录D（资料性附录）
参考文献
EBNF中的OPL形式化语法
OPM运用指南
使用对象-过程方法论(OPM)建立OPM模型OPM动态性和仿真：
本标准按照GB/T1.1一2009给出的规则起草。GB/T39470—2020/ISO/PAS19450:2015本标准使用翻译法等同采用ISO/PAS19450：2015%自动化系统与集成对象过程方法》。请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。本标准由中国机械工业联合会提出。本标准由全国自动化系统与集成标准化技术委员会（SAC/TC159)归口。本标准起草单位：北京机械工业自动化研究所有限公司、清华大学。本标准主要起草人：孙洁香、孙逊、黄双喜、黎晓东、王凯、张雪嫣、杨秋影、王海丹。GB/T39470—2020/IS0/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的动态性和仿真功能。1范围
GB/T39470—2020/ISO/PAS19450:2015自动化系统与集成
对象过程方法
本标准对对象-过程方法论（OPM)进行详细说明，使从业者可以将对象-过程方法论（OPM）的概念、语义和语法概念模型作为一种建模范例和语言来建立不同细节程度的概念模型，并可使工具商能够提供应用建模产品以帮助那些从业者们。尽管本标准介绍了对象-过程方法论所使用的，一些例子以提高清晰度，但并未尝试要为对象-过程方法论的所有可能性应用提供一个完整性的参考。2规范性引用文件
3术语和定义
下列术语和定义适用于本文件。3.1
抽象化
abstraction
降低细节和系统模型完整性（3.8)的程度以实现更好地理解。3.2
受影响物
affected
受到一个过程（3.58)事件影响的被转换物（3.78），比如其状态（3.69）发生改变。注，一个受影响物只能是一个有状态对象(3.66)。一个无状态对象（3.67)只能被创建或被消耗，但不会受到影响，3.3
一个人或一组人的使能器（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
具有同等持久性（3.50）、重要性、归属价值及相同特性（3.21)和状态（3.69)的事物（3.76)集合体。1
GB/T39470—2020/ISO/PAS19450:20153.8
完整性
completeness
在模型中说明一个系统全部细节的<系统模型)范围。3.9
条件关联
conditionlink
从一个对象（3.39)或对象状态（3.69)到一个过程（3.58)的程序关联（3.56），意味着一个程序约束。3.10
被消耗物
consumer
个过程（3.58)事件所消耗或消除的被转换物(3.78）。3.11
上下文
context
由一个对象-过程图(3.41)和相应对象-过程语言（3.42)文本所代表的一个对象-过程方法论（3.43)模型的(模型>部分。
控制关联
control link
带有附加控制语义的程序关联（3.56）。3.13
控制修饰符
control modifier
修饰一个关联（3.36)符号以对其添加控制语义，使其成为一个控制关联（3.12）。注，事件(3.18)的控制修饰符符号为“e\，条件的控制修饰符符号为\c\。3.14
discriminating attribute
区分属性
不同值(3.81)辨别相应的特化关系的属性(3.4)。3.15
effect
个对象(3.39)状态（3.69)或一个属性（3.4)值（3.81)的变化注：一个效果只适用于一个有状态对象（3.66)。3.16
要素element
事物（3.76)或关联（3.36）。
使能器
enabler
能使能一个过程（3.58)但过程不会进行转换的<过程》对象（3.39)。3.18
事件event
在一个对象的创建（或出现)或一个对象（3.39)进人到一个特定状态（3.69)时的点，其中任何一个可能会启动对过程（3.58)前置条件（3.53)的评估。3.19
事件关联
eventlink
代表一个事件(3.18)从对象(3.39)或对象状态(3.69)到一个过程(3.58)的控制关联(3.12)。3.20
展示物
exhibitor
通过展示-表征关系而展现（表现为）一个特性（3.21)的事物（3.76）。2
feature
属性（3.4)或操作（3.46）。
folding
GB/T39470—2020/ISO/PAS19450:2015通过隐藏一个展开的细化物（3.62)的可细化物（3.61)而实现的抽象化(3.1)机制。注1：四种折叠的可细化内容是部件（部件折叠）、特征（3.21)（特征折叠）、特化（特化折叠）和实例（3.28）（实例折叠）。
注2：折叠主要应用于对象（3.39），当应用于一个过程时，其子过程是无序的，适用于建模异步系统，其中，过程的时间顺序未被定义
注3；折叠的反义是展开（3.80）)。3.23
function
将功能值（3.82)提供给一个受益者（3.6)的过程（3.58）。3.24
一般类
general
具有特化的可细化物（3.61)。3.25
信息化的
informatical
信息的或与信息学有关的，例如数据、信息和知识。3.26
继承性
inheritance
将一个一般类(3.24)的对象-过程方法论(3.43)要素（3.16)分派到其特化中去。3.27
输入关联
inputlink
从对象（3.39)源（输入)状态（3.69)到转换过程（3.58）的关联（3.36）。3.28
instance
<模型》对象（3.39)实例或过程（3.58)实例，它在类化-实例化关系中是一个细化物（3.62）。3.29
instance
<操作》对象（3.39)实例或过程（3.58)实例，它是一个存在于模型运行期间操作（3.46），如模拟或运行实施期间实际意义上的唯一可识别事物（3.76）。注；一个过程实例是可被过程事件中所涉及参与对象集(3.32)的操作实例以及过程时间的过程开始和结束时间截进行辨别的，
instrument
非人类使能器(3.17）。
invocation
一个过程的启动一个过程（3.58)的<过程》。3.32
参与对象集
involved object set
前过程对象集（3.54)和后过程对象集（3.52)的结合。3
GB/T39470—2020/IS0/PAS19450:20153.33
放大场景
in-zoom context
置于被放大事物边界内的事物（3.76）和关联（3.36）。3.34
放大in-zooming
《对象》对象（3.39)部分展开（3.80），表明构成对象的空间排序。3.35
放大in-zooming
《过程>过程（3.58)部分展开（3.80），表明构成过程的时间偏序。3.36
关联link
两个对象-过程方法论（3.43)事物(3.76)之间的结构关系（3.73)或程序关系（3.57)的图形表达。3.37
元模型
metamodel
-种建模语言或一种建模语言某部分的模型。3.38
模型事实
modelfact
对象-过程方法论模型中两个对象-过程方法论（3.43)事物(3.76)或状态（3.69)之间的关系。3.39
对象object
模型要素（3.16），表示一个事物（3.76)物理上或信息化的（3.25)存在或也许存在。3.40
对象类
objectclass
具有相同结构(3.74)和转换(3.77)模式的对象(3.39)模式，3.41
object-process diagram;OPD
对象-过程图
一个对象-过程方法论模型或一个对象-过程方法论（3.43)模型某部分的图形表达，其中置身于利益世界中的对象（3.39)和过程（3.58）与结构关联（3.72)和程序关联（3.56)共同出现3.42
对象-过程语言
object-process language;OPL
英语自然语言子集，以文本方式表示对象-过程图（3.41)的图形形式所代表的对象-过程方法论(3.43)模型。
对象-过程方法论object-processmethodology；OPM用于描述复杂和多学科系统的形式化语言和方法，采用单一功能-结构-行为统一的模型，使用双模态图形-文本方式表示系统和其转换（3.77)或过程(3.58)所使用的对象（3.39）。3.44
OPD对象树OPDobjecttree
树形图，其根部为一个对象（3.39），通过细化（3.63)详尽描述了对象。3.45
OPD过程树OPDprocesstree
树型图的根是系统图（3.75），每个节点是一个对象-过程图（3.41），它获自于其祖先的对象-过程图中（或系统图)的一个放大（3.35)过程（3.58），且每个有向边从父对象-过程图中的细化过程指向子对象4
过程图中的相同过程。
GB/T39470—2020/ISO/PAS19450:2015注：对象-过程方法论（3.43模型的阐释通常是通过过程分解经放大面发生，因此OPD过程树是对一个对象-过程方法论模型进行导航的主要方式。3.46
operation
一个事物（3.76)所执行的过程（3.58），其展现了该事物而非其本身的特性。3.47
输出关联
outputlink
从一个对象（3.39)的转换过程（3.58)到输出（目的地)状态(3.69)的关联（3.36）。3.48
out-zooming
对象（3.39)放大（3.34)的反向<对象》。3.49
out-zooming
过程（3.58)放大（3.35)的反向<过程》。3.50
持久性
perseverance
事物（3.76)的特性（3.60），可以是定义了一个对象（3.39)的静态或定义了一个过程（3.58)的动态。3.51
postcondition
后置条件
过程条件，是成功完成过程（3.58)的结果。3.52
后过程对象集
postprocessobjectset
过程（3.58)完成所保留下来的或产生的对象（3.39)集合体。注：后过程对象集可包含有状态对象(3.66），特定状态(3.69)产生由过程性能面致。3.53
前置条件
precondition
启动一个过程（3.58)的<过程》条件。3.54
前过程对象集
preprocess object set
启动一个过程（3.58)之前进行评估的对象（3.39)集合体。注；对象集合体可包含有状态对象（3.66)，具体状态（3.69)对于过程性能是有必要的。3.55
首要本质
primary essence
一个系统中大多数事物（3.76)的<系统》本质，可以是信息化的（3.25)或物理性的，3.56
程序关联
procedural link
对象-过程方法论（3.43)中程序关系（3.57)的图形符号3.57
proceduralrelation
程序关系
一个对象（3.39)或对象状态（3.69)与一个过程（3.58)之间的连接或关联、注1：程序关系明确了系统如何运作以实现其功能（3.23），指定了对象转换过程的时间依赖或有条件性的启动。注2：一个调用(3.31)或异常关联(3.36)意味着两个过程之间的执行控制流中的瞬间对象5
小提示：此标准内容仅展示完整标准里的部分截取内容，若需要完整标准请到上方自行免费下载完整标准文档。