GB／T 39470-2020 标准规范下载简介
GB／T 39470-2020 自动化系统与集成 对象过程方法.pdfA.4.6.3OPL基本结构
A.4.6.3.1聚合句子
A.4.6.3.1聚合包子
聚合句子=对象分叉聚合句子objectforkedaggregationsentence 1过程分叉聚合句子； （见10.3.2*） 对象对象分叉聚合句子=整个对象，"consistsof"，objectpartslist； process forked aggregation sentence = wholeprocess,"consists of",process parts list; objectpartslist =part object I（partobject,［(",",part object)，"and",（part objectI"atleastoneother part"）」）； processpartslist=partprocess I(part process,(",",partprocess)"and",（partprocessI"at least oneother part"）」）; wholeobject=objectidentifier; part object =[participation constraint,""],objectidentifier:
TB／T 3302-2013标准下载T39470—2020/ISO/PAS19450:2015
整个过程=processidentifier part process=participation co
4.4.6.3.2特化句子
特化句子=对象分叉特化句子 「过程分叉特化句子：
（*见10.3.3*）
对象分叉特化句子=基本对象分叉特化句子 1局部对象分叉特化句子 IAsWel1As对象分叉特化句子 I局部AsWel1As对象分叉特化句子； 基本对象分叉特化句子=objectidentifier，”exhibits"， （attributelistloperatorlist）; 局部对象分叉特化句子=objectidentifier，”exhibits"， ((attributelist,",andat least oneotherattribute") I（operatorlist,",andatleastoneother operator")); AsWellAs对象分叉特性化句子=objectidentifier， "exhibits",attributelist,",aswellas",operatorlist; partialAsWellAs基本对象分叉特化句子=objectidentifier， "exhibits",attribute list,",and at least one other attribute",",as well as", operatorlist, ", and at least one other operator" ; 属性=objectidentifier; 操作员=processidentifier； 属性列表=objectlist； 操作员列表=processlist； 过程分叉特化句子=基本过程分叉特化句子basicpro forkedchar cacterizationsentence 晨部时租合叉特性化合
过程分义特化 aswellas",attributelist; 局部AsWellAs过程分叉特化句子=processidentifier，”exhibits” operator list,", and at least one other operator",", as well as", attrik list.". and at least one other attribute"
A.4.6.4展示包子
/T39470—2020/ISO/PAS19450:2015
02020/ISO/PAS1945
展示句子=对象展示句子 1对象展示句子； （*见10.3.3.2.2and11.3*） 对象展示句子=feature，"of"，objectidentifier，（rangeclauseI"is"， (（attributelistIoperator list）I（attributelist,"aswellas",operator list）））； 对象展示句子=feature，"of"，processidentifier，”is"，（（operatorlist|objectlist I(operatorlist,"aswellas attributelist))
特性=attributeoperator
A.4.6.5特化句子
特化句子=对象特化句子 1过程特化句子 1状态特化句子：
特化句子=对象特化句子 1过程特化句子 1状态特化句子； （*见10.3.4*） 对象特化句子=基本对象特化句子 1多个对象特化句子 1局部对象特化句子 IXor对象特化句子 1多个对象继承特化句子：
一般对象=objectidentifier； 特定对象=objectidentifier； 一般对象列表="a"，objectidentifier，［{"a"，objectidentifier】」，"anda"，object identifier; special obiect list = object list :
T39470—2020/ISO/PAS19450:2015
A.4.6.6实例化句子
实例化句子=对象实例化句子 1过程实例化句子；
对象实例化句子=基本对象实例化句子 Imultiple object instantiation sentence ; oasic object instantiation sentence= instance object,"is an instance of ",objectclass; 多重对象实例化句子=instanceobjectlist，"areinstancesof"，objectclass； 108
对象实例化句子=基本对象实例化句子 Imultipleobject instantiation sentence; oasic object instantiation sentence= instance object,"is an instance of ",objectclass; 多重对象实例化句子=instanceobjectlist，”areinstancesof"，objectclass 108
/T39470—2020/ISO/PAS19450:2015
02020/ISO/PAS1945
过程实例化句子=基本过程实例化句子 1多个过程实例化句子； 基本过程实例化句子=instanceprocess，"isaninstanceof"，processclass； multiple process instantiation sentence = instance process list,"arean instance o process class
实例化对象=对象标识符； 实例化过程=过程标识符； 对象类=对象标识符； 过程类=过程标识符； 实例对象列表=对象列表； 实例过程列表=过程列表； （*EndRegion：结构句子*）
A.4.7OPL上下文管理
A.4.7.1上下文管理包子
（*区域：上下文管理句子一该区域定义了所有管理ODP上下文变化的句子*）
A.4.7.2展开包子
T39470—2020/ISO/PAS19450:2015
A.4.7.3折叠句子 折叠句子=对象折叠句子 1过程折叠句子；
A.4.7.3折叠句子
折叠句子=对象折叠句子 1过程折叠句子：
一个折叠句子仅对一个OPD对象或过程相关，展开会为此而产生一个子OPD，并且是相当于图形 轮廊指派的OPL*）
对象折叠句子=objectidentifier，"isfoldingof"，childoPD； 过程折叠句子=processidentifier，”isfoldingof"，childoPD；
A.4.7.4放大句子
放大句子=过程放大句子 1对象放大句子； 过程放大句子=图中过程放大句子 1新图过程放大句子：
图中过程放大句子=（processidentifier，”zoomsinto”，processlist， "inthat sequence",[",aswellas",objectin zoomlist』) I（process identifier,"zooms into parallel",processlist,",aswell as",object in zoom list」) I(process identifier,"zooms into",process list,"and parallel",process list, ",inthat sequence,［",aswellas",object in zoomlist」); 新图过程放大句子=（processidentifier，"from"，parentoPD，"zoomsin"， 110
/T39470—2020/ISO/PAS19450:2015
02020/ISO/PAS1945
child opD,"into",processlist,"in that sequence",[",aswellas",object in zoomlist」) I（process identifier,"from",parent OPD,"zooms in",child oPD,"intoparallel", processlist,［",aswellas",object inzoomlist」) I（process identifier,"from",parentOPD,"zoomsin",child opD,"into",processlist "and parallel",process list,",in that sequence",[",as well as",object in zoom list ]); 对象放大句子=indiagramobjectinzoomsentence 1新图对象放大句子：
图中对象放大句子=（objectidentifier，”zoomsinto”，object1ist，”inthatsequence [",aswellas",processinzoomlist]】; 新图对象放大句子=（objectidentifier，"from"，parentoPD，”zoomsin"， child opD,"into",objectlist,"inthat sequence",［",aswellas",process in zoomlist」);
对象放大列表=objectidentifier，［{"，"，objectidentifier}，”and"，objectidentifier， inthat sequence"J; 过程放大列表=processidentifier，［"，"，processidentifier}，”and"，processidentifier， ",inthat sequence"l
对象放大列表=objectidentifier，［《 ‘,objectidentifier),"and",objectidentifier, in that sequence"J; 过程放大列表=processidentifier，［"，"，processidentifier，”and”，processidentifier， ", in that sequence"1
A.4.7.5缩小句子 缩小句子=过程缩小句子 |对象缩小句子；
A.4.7.5缩小句子 缩小句子=过程缩小句子 1对象缩小句子：
A.4.7.5缩小句子 缩小句子=过程缩小句子 」对象缩小句子；
*一个缩小句子仅与一个OPD过程或对象有关，为此，缩小产生了一个子OPD，并是与图形粗 号等同的OPL*）
T39470—2020/ISO/PAS19450:2015
附录B （规范性附录） OPM运用指南
B.2OPM原理的事物重要性
702020/ISO/PAS1945
如果一个建模者希望将尺寸大小既作为时钟集又作为手表集的一个属性，那么为了区分这两种尺寸，前者可以是时 钟集尺寸（Clock SetSize），后者为手表集尺寸（WatchSetSize），或者，前者可以是时钟集尺寸（SizeofClockSet），后者为 手表集尺寸（SizeofWatchSet)。 注1：实施一个OPM可以在尝试将作为一个细化物的对象包含到多个上下文中时通知建模者，这样建模者可以决 定内涵的恰当性。
的状态名称是所拥有对象的被动式，而非动名词形式。 示例： 如果一个产品被涂漆，然后被检查，那么它的状态就是被喷涂（painted）和被检查（inspected），而非涂漆（painting）和 验查（inspecting）。喷涂是将产品从其未被喷涂变为被喷涂状态的过程，而检查（inspecting)是将产品从被喷涂状态变为 其被检查（inspected)状态。尽管产品的喷涂出现，只要喷涂一发生，它就已经离开了其未被喷涂的状态，并处于状态之 间的过渡中，尚未进人其被喷涂状态，直至喷涂完成。
T39470—2020/ISO/PAS19450:2015
702020/ISO/PAS1945
OPD集以图形形式指定了OPL规范。 OPL规范以文本形式指定了OPD集。 OPD包含至少一个OPD构造。 OPL段落包含至少一个OPL句子。 OPD以图形形式指定了OPL段落， OPL段落以文本形式指定了OPD OPD以图形形式构造了OPL句子。 OPL句子以文本形式指定了OPD构造 OPD构造由事物集和关联集组成。 事物集包含两个到多个事物。 连接集包含至少一个关联。 事物展现了名称。 OPL句子包含三个到多个词语和至少一个标点符号。 短语包含至少一个单词。 OPL保留短语和事物名称是短语。 连接以图形形式指定了保留的短语。 保留的短语以文本形式指定了关联。 事物可被放大以创立OPD
图C.1是一个OPD模型的架构模型，其将OPM的概念方面描述为图形式和文本式OP 并行层次以及它们产生等效模型表示的相对应性。一个OPD构造是相对应文本OPL句子 达式，其表达了相同模型的事实。一个OPD及其相应的OPL段落是一个建模者放入到同样 中模型事实的集合体
1是一个OPD模型的架构模型，其将OPM的概念方面描述为图形式和文本式OPM模式的 以及它们产生等效模型表示的相对应性。一个OPD构造是相对应文本OPL句子的图形表 达了相同模型的事实。一个OPD及其相应的OPL段落是一个建模者放入到同样模型情景 实的集合体
GB/T39470—2020/ISO/PAS19450:2015OPD构造事物集关联集基本构建元素大小大小说明：OPD构造包含事物集和关联集。事物和关联是元素。事物集包含两到多个事物。关联集包含至少一个关联。事物集展示了事物集的大小。关联集展示了关联集的大小。事物集的大小可以是2或>=3。关联集的大小可以是1或>=2。基本构建是一个OPD构建。基本构建展示了关联集的1个大小。基本构建展示了关联集的2个大小。图C.2OPD构造和基本构造模型在某些情况下，两个构造的语法很容易组合到一个如下列OPD构造模型变量中所示的减少了文本内余的复合OPL句子中去。建模者可将一个过程添加到图C.2的模型中去，以表明OPD构造展示了如图C.3中所示的连接性。通过添加事物集的断开和被连接状态，模型的目标行为因此会包括使用关联集作为一个连接手段去将一个被断开的事物集转化到一个已连接的事物集。117
GB/T39470—2020/ISO/PAS19450:2015OPD构造事物集被断开被连接连接关联集元素基本构造关联事物基数>=2基数说明：OPD构造包含关联集和事物集。OPD构造展示了关联。关联集包含至少一个关联。关联集展示了基数。关联集的基数可为1或>=2。事物集展示了基数。事物集包含了2个到多个事物。事物集的基数可为2或>=3。关联和事物是元素。连接要求关联集。连接将事物集从被断开改变为被连接。事物集被断开的状态为初始。事物集被连接的状态为最终。基本构造是一个OPD构造。基本构造展示了连接集的1个基数和事物集的2个基数。图C.3OPD构造和基本构造的构建C.4OPM要素模型图C.4中的模型仅适用于基本构造，因为关联连接了2个事物且没有超过两个事物。118
GB/T39470—2020/ISO/PAS19450:2015图C.7是一个状态对象和状态的OPM模型状态对象状态集状态初始状态指定初始最终状态默认状态款认符号圆角开放箭头符号所指向的圆角双轮廊圆角符号粗体轮廊圆角符号说明：状态对象展示了状态集，状态集包含至少一个状态，可选择初始状态，可选择最终状态和可选择默认状态。状态展示了指定和符号。指定可以是初始、最终或默认。初始状态、最终状态和默认状态是状态初始状态展示了初始指定和状态的粗体轮廊圆角符号。最终状态展示了最终指定和状态的双轮廊圆角符号默认状态展示了默认指定和状态的开放箭头符号所指向的圆角。图C.7状态对象和状态的OPM模型122
GB/T39470—2020/IS0/PAS19450:2015的本质和隶属关系是相同的。事物A事物符号对象过程椭圆形长方形信息对象信息过程物理过程物理对象深度阴影非阴影系统过程环境对象环境过程系统对象轮廊实线虚线说明：事物展示了符号。事物符号包含形状、深度和轮廊。形状可以是椭圆形或长方形。深度可以是有阴影或非阴影的。轮廊可以是实线或虚线的。过程和对象是事物。过程展示了椭圆形。对象展示了长方形。物理过程、信息过程、系统过程和环境过程都是过程。物理对象、信息对象、系统对象和环境对象都是对象。物理过程和物理对象展示了有阴影的深度信息过程和信息对象展示了平面深度。系统过程和系统对象展示了实体轮廊。环境过程和环境对象展示了虚线轮廓图C.10事物符号表达式的OPM模型图C.11是图C.10中模型的变体，其中事物符号属性的三个部分显示为八个值，每个值用于每个可能事物的配置。这里和本附录的其他几个模型图表中的实际符号出现在OPD的底部。在此情况下，该符号处于其各自模型对象和事物的符号值下方。这八个位于OPD底部的符号是用来进行说明的，所以与OPD本身不同。图C.11通过枚举符号的八个状态，也就是符号的深度、轮廓和形状细化物属性值2×2×2的笛卡儿积来增强图C.10的符号细化物，125
GB/T39470—2020/ISO/PAS19450:2015事物过程对象信息过程信息对象物理过程物理对象系统过程系统对象环境过程环境对象物理环境物理系统信息环境信息系统信息系统信息环境物理系统物理环境过程过程过程过程对象对象对象对象A符号明影虚线阴影实体非阴影虚线非阴影实体非阴影实体非阴影虚线阴影实体阴影虚线椭圆符号霸阅符号圆符号楠圆符号矩形符号矩形符号矩形符号矩形符号A形状深度轮廊PEPTEPTSPISOIEOPSOPEO说明：事物展示了符号事物的符号包含深度、轮廊和形状，事物的符号可为阴影虚线矩形、阴影实心椭圆、非阴影虚线椭圆、非阴影实心椭圆、非阴影实体矩形、非阴影虚线矩形、阴影实体矩形或阴影虚线矩形。对象和过程是事物。物理过程、信息过程、系统过程和环境过程是过程。物理对象、信息对象系统对象和环境对象是对象。物理系统过程是一个物理过程和一个系统过程。物理系统过程展示了事物的阴影实体椭圆符号。物理环境过程是一个过程和一个环境过程。物理环境过程展示了事物的阴影虚线椭圆符号。信息环境过程是一个信息过程和一个环境过程。信息环境过程展示了事物的非阴影虚线椭圆符号。信息系统过程是一个信息过程和一个系统过程。信息系统过程展示了事物的非阴影实体圆符号。物理环境对象是一个环境对象物理环境对象展示了事物的阴影虚线矩形符号。物理系统对象是一个物理对象和一个系统对象。物理系统对象展示了事物的阴影实体矩形符号。系统环境对象是一个环境对象，信息环境对象展示了事物的非阴影虚线矩形符号。信息系统对象是一个信息对象和一个系统对象。信息系统对象展示了事物的非阴影实体矩形符号。事物的系统包含深度、轮廓和形状。图C.11八个事物符号表达式的OPM模型126
GB/T39470—2020/ISO/PAS19450:2015图C.12的模型仅对基本构造有效，因为关联连接了两个事物且没有超过两个事物基本构造基本程序构造连接基本结构事物构造连接过程程序连接连接对象结构连接22说明：基本构造包含关联和2个事物。关联将两个事物连接起来。结构连接和程序关联是关联。基本结构构造和基本程序构造是基本构造。基本结构构造包含结构关联和2个事物。基本程序构造包含程序关联、对象和过程。结构关联连接包含2个对象。结构关联将一个过程和一个对象连接起来。图C.12基本构造阐述127
GB/T39470—2020/ISO/PAS19450:2015图C.14是一个基本程序构造的OPM模型。基本程序构造程序关联对象过程转换构造转换关联A被转换物启用构造语义启用关联转换使能器使能和控制构造使能和控制启用关联控制使能器转换和控制构造转换和控制转换和控制关联启用和控制A控制被转换物说明：基本程序构造包含对象、过程和程序关联。程序关联展示了语义。程序关联的语义可以是转换、启用、转换和控制以及启用和控制。转换物和启用者是对象。控制被转换物是一个被转换物。控制使能器是一个使能器，转换关联和启用关联是程序关联。转换和控制关联是一个转换关联。使能和控制关联是一个使能关联。转换关联展示了程序关联的转换语义。使能关联展示了程序关联的使能语义转换和控制关联展示了程序关联的转换和控制语义，使能和控制关联展示了程序关联的使能和控制语义，转换构造和启用构造是基本程序构造。转换构造包含转换关联、转换物和过程。使能构造包含使能关联、使能器和过程，转换和控制构造是一个转换构造。使能和控制构造是一个使能构造。转换和控制构造包含转换和控制关联、控制转换物和过程使能和控制构造包含使能和控制关联、控制使能器和过程图C.14基本程序构造的OPM模型129
GB/T39470—2020/ISO/PAS19450:2015转换构造A转换关联转换物过程不不不消耗构造连接被消耗物连接连接消耗关联效果构造连接受影响物连接效果关联结果构造结果物连接结果关联说明：转换构造包含转换物、过程和转换关联消耗关联、效果关联和结果关联是转换关联。消耗构造、结果构造和转换构造是转换构造。消耗构造包含消耗关联、过程和被消耗物。效果构造包含效果关联、过程和受影响物。结果构造包含结构关联、过程和结果物。消耗关联从消耗物进行连接。消耗关联连接到过程。效果关联连接受影响物和过程。结果关联连接到结果物。结果关联从过程进行连接图C.165转换构造关联方向性的OPM模型131
GB/T39470—2020/ISO/PAS19450:2015前过程对象集，可执行过程，过程性能控制使能器集取消报文过程启动过程状态闲置后置条件被消耗物集错对已启动(t=0)后过程对象集过程运行中止结果物集完成M受影响物成功报文中止报文说明：过程性能控制放大到过程启动和过程运行，后置条件页按次顺序。前过程对象集包含被消耗物集、受影响物集和使能器集。后过程对象集包含结果物集和受影响物集。可执行过程是环境性的。可执行过程调用过程初始。过程性能控制展示了过程状态。过程状态可以是闲置、已开始（t二0）。中止或完成（tn）过程状态最初是闲置，而最终是完成(t=n)或中止。后置条件可以是对或错。后置条件最初为错。过程启动需要前过程的对象集。过程启动将过程状态从闲置改变为正好闲置或已启动之一的状态（t=0)。过程启动生成错误后置条件和取消报文。如果使能器存在，则过程运行发生，否则过程运行将被跳过去。过程运行影响后置条件和受影响物集。过程运行将过程状态从已启动(t=0)正好改变为中止或完成(t=n)之一的状态。过程运行产生结果物集和成功或中止报文。图C.23来自SD1中放大的SD的过程性能控制C.6.3过程启动放大为SD1.1过程启动放大为SD1.1，见图C.24。138
GB/T39470—2020/IS0/PAS19450:2015前过程对象集可执行过程过程启动前置条件评估过程状态闲置前置条件错对启动(t=0)取消启动后置条件错对取消报文故障时间t=0说明：来自SD1的过程启动在SD1.1变焦到前置条件评估及并行取消和启动，前置条件也按此顺序。过程状态可以是闲置、启动（t0)或其他状态。过程状态最初是闲置状态。后置条件可以是对或错。后置条件最初为错。可执行过程是环境性的。可执行过程涉及前置条件评估。前置条件评估产生前置条件。前置条件可以是对或错。前置条件评估需要前过程对象集，前置条件改变了过程状态的闲置状态。如果前置条件为错，则取消就会发生，否则取消将被跳过去。取消将过程状态变为闲置状态。取消产生取消报文。取消报文展示故障时间。取消将故障时间值设置为t=0。取消报文的故障时间是t三0。如果前置条件为对，即在前置条件被消耗的情况下，则启动发生，否则启动将被跳过去。启动将过程状态变为启动状态（t=0)。启动产生错误的后置条件。图C.24过程启动放大为SD1.1C.6.4前置条件评估放大为SD1.1.1前置条件评估放大为SD1.1.1，见图C.25。139
GB/T39470—2020/ISO/PAS19450:2015前提过程对象集前置条件评估可执行过程使能器集检查使能器设置使能器集检查结果正负过程状况被消耗和受影响物集闲置被消耗物和受影响物集检查前置条件驳斥启动LEOK被消耗物和受影响物集检查结果正负前置条件错前置条件确认对说明：来自SD1.1的前置条件评估在SD1.1中放大至使能器集检查、被消耗物和受影响物集检查、前置条件驳斥和确认这种顺序，以及使能器集检查结果和被消耗物和受影响物集检查结果，前提过程对象集包含使能器设置和被消耗物和受影响物集。过程状态可以是闲置、启动(t三0)或其他状态。过程状态初始时是闲置状态。前置条件可以是对或错。前置条件初始时是错。可执行过程调用使能器集检查。使能器集检查需要使能器集存在，否则使能器集检查将会被跳过去。使能器集检查改变了过程状态的闲置状态。使能器集检查结果可以是正面或负面的。使能器集检查结果初始时是正面的。使能器集检查影响使能器集检查结果。如果使能器集检查结果为正且被消耗物和受影响物集存在时，则被消耗物和受影响物集检查发生，否则被消耗物和受影响物集检查将被跳过去。被消耗物和受影响物集检查结果可以是正或负。被消耗物和受影响物集检查结果初始时为正。被消耗物和受影响物集检查影响被消耗物和受影响物集检查结果。前置条件驳斥要求使能器集检查结果为负或者被消耗物和受影响物集检查结果为负，否则前置条件驳斥将被跳过去。前置条件驳斥将过程状态将过程状态变为闲置状态。如果被转换物检查结果为正，则前置条件确认发生，否则前置条件确认将会被跳过去。前置条件确认将前置条件从错变为对，过程状态变为启动（t二0）。图C.25前置条件评估被放大为SD1.1.1140
GB/T39470—2020/ISO/PAS19450:2015C.6.5被转换物集检查被放大为SD1.1.1.1被转换物集检查被放大为SD1.1.1.1，见图C.26。使能器集检查结果正被消耗物和受影响物集检查被消耗物和受影响物集Q被消耗物集检查被消耗物被消耗物集受影响物集检查结果受影响物集检查正负受影响物集检查结果正负被转换物集资格取消被消耗和受影响物集检查结果正负说明：被消耗物和受影响物集检查从SD1.1.1受影响物集检查、被消耗物集检查和被转换物集资格取消这样的顺序，以及受影响物集检查结果和被消耗物集检查结果。使能器集检查结果可为正或负。使能器集检查结果最初为正。被消耗物和受影响物集检查结果可以是负或正。被消耗物和受影响物集检查结果最初为正。被消耗物和受影响物集包含有被消耗物和受影响物集。如果使能器集检查结果可为正的化，则被消耗物和受影响物集检查发生，否则被消耗物和受影响物集检查将会被跳过去。被消耗物集检查结果可为正或负。被消耗物集检查结果最初为正。如果被消耗物集存在，则被消耗物集检查检查发生，否则被消耗物集检查将会被跳过去。被消耗物集检查影响被消耗物集检查结果。如果被消耗物集检查结果为正，受影响者集存在，则受影响物集检查发生，否则受影响物集检查将会被跳过去。受影响物集检查产生。受影响物集检查结果可为正或负。如果受影响物集检查结果为负或被消耗物设置检查结果为负，则被转换物集资格取消发生。被转换物集资格取消将被消耗物和受影响物集检查结果从正变为负。图C.26被转换物集检查放大为SD1.1.1.1141
GB/T39470—2020/ISO/PAS19450:2015初始过程操作过程状态启动、操作t=0)(t GB/T39470—2020/ISO/PAS19450:2015A逝去的时间主要过程操作［时间单位］逝去的时间后置条件e和持续的时间比较错持续时间时间单位］时间比较结果对d使能器和 GB/T39470—2020/ISO/PAS19450:2015中止和通知生成中止报文。如果时间比较结果是e=d，在结束消耗时间比较结果的情况下，中止报文结束发生，否则结束将被跳过去。结束将过程状态从操作(t T39470—2020/ISO/PAS19450:2015 D.1 OPM 可执行性 D.1 OPM 可执行性 附录D （资料性附录） OPM动态性和仿真 一个OPM模型提供了可执行性，即在一个合理设计软件环境中通过动画执行其模型去模拟一个 系统的能力。 一个对象的变化是处于该对象状态中的一种改变。更具体地说，一个对象的变化反映在另外一种 状态替代了目前的状态。可导致其发生变化的唯一的事物就是一个过程。过程导致的变化是通过将处 于一定状态下作为一个输人的对象输出到另一种状态中去。因此，一个事物的变化意味着该对象在其 所处状态中的变化。 有状态对象可能会受到影响，即它们的状态会发生变化。这种变化机制强调了对象与过程之间亲 密且不可分割的关系。状态中的这种变化是过程对对象所产生影响的这种效果。 效果而因此被定义为一个过程所导致一个对象状态中的变化。 尽管术语“变化”和“效果”几乎同义，但在其用法上却存在着一种微妙差异。效果用于所指过程会 对对象做些什么，而变化则意味着由于过程产生的一种结果对对象发生了什么样的变化。效果的上述 定义在随后的附录中被精简为输入和输出关联这种概念 当一个过程作用于一个对象时，唯一一种可能性是对象发生变化。一个过程可以影响改变一个事 物，但它也可做的更激烈些：它可以生成一个对象或消耗一个对象。转换这个术语包含了使一个过程可 通过它们对一个对象采取行动的这样三种附加模式：构造、效果和消耗。 构造与创造、生成或产生是同义的，效果与改变或转换是同义的，消耗则与淘汰、终止、废止或破坏 是同义的。一个过程对对象所产生的效果是将对象从它的一种状态转变为另一种状态，而对象则依然 存在，并仍会维持其在过程发生之前所拥有的身份。构造和消耗改变了对象的绝对性的存在，因此比效 果具有更深刻的变革性。 当一个过程构造（发生、生成、创建或导致结果发生）一个对象时，就意味着这个之前并不存在的对 象已经发生了根本的转变。这种转变使得这个对象脱颖而出，成为系统中可识别且具有意义的对象。 也就从此值得作为一个新的、独立的实体来对待和参考。 当一个过程消耗（消除或毁坏）一个对象时，其意味着这个以前存在并在系统中可识别且具有意义 的对象已经发生了根本性的转变。结果，这个对象就不再存在于系统中并不再可识别， D.4OPM原理的时间轴 GB/T39470—2020/ISO/PAS19450:2015D.6对象历史和生命周期图在任何时间点，对象都可以是其状态之一或存在于两种状态之间的过渡。个生命周期图的图形显示的是一个在系统寿命期间的任意一个时间点，系统中究竞存在有什么样的对象、每个对象处于何种状态和哪个过程处于活动期。NameTypePainti..Processnot active (1)ColorObjectwhite (0.0) (2)CarObjectexists (0.0) (1)NameTypePaint...Processnota.notaactiv.ColorObjectwhitewhiteexistCarObjectexistexistexistNameTypePaint.. Processnotanotaactiv.activ.ColorObjectwhitewhite.existexistCarObjectexist.existexist.existNameTypePaint...Processnota.nota.activ.activ.nota.ColorObjectwhitewhiteexistexist.red (o.CarObjectexistexistexistexistexist图D.3汽车涂漆四个生命周期图例子图D.3中所示的四个生命周期图记录了随着时间的推移，汽车涂漆系统的历史。这四个生命周期图垂直堆叠地显示出来以便于对它们的审查。第一个图中只显示了第一个时间段。喷涂未被激活，汽车呈白色。第二个图中显示了前三个时间段。在第三个阶段中，喷涂激活，汽车不再是白色。第四个阶段发生了同样的情况，如第三图所示。最后，在第五个阶段中，如图的底部所示，喷涂不再有效，车呈红色车辆乘员组车辆乘员组车辆乘员组也许受伤被帮助也许受伤被帮助也许受伤被帮助自动碰撞自动碰撞自动碰撞响应响应响应图D.4执行用于自动碰撞响应的OPM模型图D.4呈现了三个OPCAT视频截图，展示了执行一个OPM模型的三个阶段。左侧屏幕截图显示自动碰撞响应过程发生之前的系统。这个阶段中，车辆乘员组处于其输入状态，也许受伤，由实心（棕148 /T39470—2020/ISO/PAS19450:2015 铁路基本建设工程设计概（预）算费用定额（国铁科法[2017]31号 国家铁路局2017年5月6日）.pdf02020/ISO/PAS1945 中间的屏幕截图显示了运行的过程，用实心（蓝色）来标记。在自动碰撞响应处于活跃期间（即当它 行时），对象车辆乘员组处于从输人状态，也许受伤状态到其输出状态，即被帮助状态的过渡阶段。这 由两个半实心的状态来标记。 在观察动画时会发现输人状态在逐渐淡出，而输出状态变得坚实起来。同时，两个红点沿着输入 俞出关联对进行移动，意味着系统的“控制”或系统在每个时间点所处的位置。一个红点从输入状态移 动到影响过程。同时，第二点从该过程沿着输出连接移动到输出状态。 最后，右边的屏幕截图显示了自动碰撞响应过程终止后的系统。在这个阶段中，车辆乘员组处于其 渝出状态，正在得到帮助。 实施系统模型的动画具有几种好处。第一，它是一个动态的可视化辅助，有助于建模人员和目标受 人员皆可随着时间的推移去遵循并理解系统行为。第二，宛如一种编程语言的调试器，它便于系统动 态性的验证，并在其执行控制流程中发现逻辑设计错误。因此，宜在其构造期间频繁性地将系统模型驱 动起来。 GB/T39470—2020/ISO/PAS 19450:2015过程持续决定于持续分布[分钟]平均值=45.6，63.3标准偏差=7.3过程[分钟］[30. 0, 45. 6, 60. 0][平均值=45.6,标准偏差=7.3]最短持续时间预计持续时间最长持续时间30. 045. 660.0时间段【毫秒】分钟【小时】日说明：过程处理分别显示30.0min、45.6min和60.0min最短持续时间、预计持续时间和最长持续时间以及带有参数平均值=45.6和sd=70.0的正态持续时间分布。图D.5带有属性值的过程处理持续时间示例2：图D.6提供了过程持续时间例子。过程[小时]］过程过程(8.0, 10.0)[毫秒][天]【指数，参数入=5.6][平均值=1.63，标准偏差=0.16][统—，a=3,b=5]说明：过程处理展示了8h过程处理展示了具有参数过程处理展示了拥有参数和10h的最短持续时平均值=1.63和SD=0.16msa=3和b=5天的统一持续时间分布。间和最长持续时间以及拥的正态持续时间。有参数入=5.6的指数持续时间分布。图D.6过程持续时间例子示例3：图D.7中，过程处理《实例id=1）持续时间为63.3min，因此超时异常处理发生。150 GB/T39470—2020/ISO/PAS19450:2015过程[分钟](30. 0, 45. 6, 60. 0)[统—，a=5.0,b=70.0](实例id=1)超时异常处理持续[分钟］MK63.3受影响物说明：过程处理分别展示了30.0min、45.6min和60.0min最短持续时间、预计持续时间和最短持续时间以及拥有参数a=5.0和b=70.0的统一持续时间分布，或是过程处理或是超时异常处理影响受影响物。如果过程处理持续时间超过60min，则超时异常处理发生。超时异常处理影响受影响物。图D.7超时异常例子示例4：图D.8中，过程处理《实例id=2)持续时间是23.4min，因此时间不足异常处理发生。过程[分钟］(30. 0, 45.6,60. 0)[统—，a=5.0,b=70.0](实例id=2)时间不足异常处理持续[分钟]23. 4受影响物过程处理分别展示了30.0min、45.6min和60.0min的最短持续时间、预计持续时间和最长持续时间以及拥有参数a=5.0和b=70.0的统一持续时间分布。或者过程处理或者时间不足异常处理会影响受影响物。如果过程处理持续时间短于60min，则时间不足异常处理则会发生。时间不足异常处理影响受影响物。图D.8时间不足异常例子151 T39470—2020/ISO/PAS19450:2015 /T39470—2020/ISO/PAS19450:2015 GB／T 50484-2019标准下载02020/ISO/PAS1945