(高清版)GBT 33863.10-2021 OPC统一架构 第10部分：程序

GB/T33863.10—2021/IEC62541-10:20(IEC62541-10:2012,IDT)国家标准化管理委员会国家市场监督管理总局发布国家标准化管理委员会IGB/T33863.10—2021/IEC625 Ⅲ 12规范性引用文件 13术语、定义和缩略语 1 13.2缩略语 2 2 24.2程序 34.2.1概述 34.2.2程序有限状态机 34.2.3程序状态 44.2.4状态转换 54.2.5程序状态转换原因 54.2.6程序控制方法 54.2.7程序状态转换影响 64.2.8程序结果数据 64.2.9程序生命周期 7 75.1概述 7 85.2.1概述 85.2.2程序类型特性 95.2.3程序类型组件(ProgramTyp 5.2.4程序类型原因(方法) 5.2.5程序类型影响(事件) 5.2.6AuditProgramTransitionEventTyp 5.2.7最终结果数据 5.2.8程序诊断类型 附录A(资料性附录)程序示例 Ⅲ 第1部分：概述和概念： 第7部分：行规：本部分是GB/T33863的第10部分。——GB/T33863.1—2017OPC统一架构第1部分：概述和概念(IEC/TR62541-1:2010,GB/T33863.10—2021GB/T33863为OPCUA1GB/T33863.10—2021/IEC62541-GB/T33863的本部分规定了OPC统一架构中程序的标准表示方法及其信息模型，包括在GB/T33863.3中规定了包含所有节点类和属性的完整地址空间模型。在GB/T33863.4中规GB/T33863.3—2017OPC统一架构第3部分：地址空间模型(IEC62541-3:2010,IDT)GB/T33863.4—2017OPC统一架构第4部分：服务(IEC62541-4:2011,IDT)IEC/TR62541-1OPC统一架构第1部分：概述和概念(OPCunifiedarchitecture—Part1:IEC62541-5OPC统一架构第5部分：信息模型(OPCunifiedarchitecure—Part5:InformationIEC62541-7OPC统一架构第7部分：行规(OPCunifiedarchitecture—Part7:Profiles)IEC/TR62541-1和GB/T33863.代表某个程序的类型定义的ObjectType节点，是FiniteSta2UA:统一架构(UnifiedArchitectur清洗码垛3GB/T33863.10—2021/IEC62541-10:20杂性。这些功能通常不是由OPCUA属性服务集完成的数程，执行机床的部分程序，或管理域下载。程序及其调用机制在GB/T33863.3和GB/T33863.4中本部分描述了定义对IEC62541-5中定义的核心能力的扩展或特定使用。对本部分描述的特征的程序是在服务器或下层系统中被OPCUA客户端管理和调用的复杂功能。程序可代表需要客户端控制或干预及过程监视的系统或过程中的任一层级的功能。图2给出了该模型。程序执行时按照预设的状态序列进行完整的状态转换。通过程序有限状态机(ProgramFiniteStateMachine,PFSM)定义其行为。PFSM的元素依据一组状态之间的有效转换、这些转换的原因及4GB/T33863.10—2021原因到状态影响1报告转换123(错误)4内部5678993274278856为程序定义的标准的基本状态集作为程序有限状态机的一部分。这些状态代表在客户端观察时，求也可不要求客户端动作来导致状态改变。状态的正式定义见表5GB/T33863.10—2021/IEC62541-10:20程序在终点状态前已被停止，但也可重启程序处于终点状态或故障状态，并且没有重置，就不能被启动或重启比如，Halted状态可以包含子状态“Aborted”和“Comple为程序有限状态机定义了标准的状态转换集。这些转换依据初始状态结果状态123456789表4列出了一组定义的程序控制方法。每种方法都引起从特定状态的转换，并当程序处于那些状6GB/T33863.10—2021/IEC62541-10:20表4程序控制方法程序从Running状态转换到Susp程序从Suspended状态转换到Ru程序从Ready、Running或Suspended状态转换到该变元规定用来决定一些程序行为的动态选项。每个程序类型的变元可以是不同的。GB/T33863.4—2017中5.11规定的方法Call服务定义了返回状态。这种返回状态表明了程序控制方客户端用来监控该程序的进展。影响可以是内部或外部的。状态转换的外部影响是事件通知的生成。最终结果数据是当程序终止运行时产生的最终数据。最终结果的示例7GB/T33863.10—2021/IEC62541-10:20程序可以有不同的生命周期。有些程序可能始终存在于服务器上，而其他的程序被创建和删除。一个程序可以被客户端创建。若程序通过客户端创建，那么客户端可把程序添加到服务器。在GB/T33863.3—2017的5.5.4中定义的对象创建方法用于创建程序实例。程序的初始状态可以是一个程序可被客户端删除。若程序是通过客户端删除，那么客户端可从服务器中删除程序实例。GB/T33863.4—2017中5.7定义的节点删除服务用于移除程序实例。程序应在Halted状态时被删可循环利用的程序可以具有有限或无限的循环计数。这些程序从Halted到Ready状态可能需要重置步骤来转换。这允许在重新起动该程序之前补充资源或初始化参数。程序控制方法“Reset”触发程序模型扩展了在IEC62541-5中FiniteStateMachineType和基本对象类型模型。每个程序都有(事件)。可以定义基本程序类型的子类型来扩展或更具体地描述单个程序的行为，如图4中的MyProgramType描述。8GB/T33863.10—2021本本方法在表5中列出了组成程序类型的附加特性和组件。对基本对象类型或有限状态机类型属性或特性值引用数据类型建模规则ProgramDiagnostic-9GB/T33863.10—2021/IEC62541-10:20表5(续)引用数据类型建模规则为FALSE,则这些程序调用是持久的或只能由服务器来创建。为FALSE,则这些调用程序只能由服务器来删除。删除。如果该特性为FALSE,这些调用程序保存在服务器上，直到它们被客户端删除为止。当调用程RecycleCount特性是一个无符号整数，用于规定此会下会下GB/T33863.10—2021MaxInstanceCount特性是一个整数，用于规定数。如果该值小于0,则没有限制。BaseFvent7ype表6规定了程序类型的状态对象。这些状态对象是IEC62541-5:2011的附录B中定义的状态类型实例。每个状态被分配惟一的StateNumber值。程序类型的子类型可以将任何状态的引用添加到引用目标浏览名称值目标类型定义2表6(续)引用目标浏览名称值目标类型定义34Suspended状态表示程序已终止执行其功能，但保留了在执行暂停点恢复其功能的能力。Suspended状态引用四种转换对象，它们标识从Suspended到Ready、Running和Halted以及从引用目标浏览名称值目标类型定义1ProgramTransitionEve2ProgramTransitionEveAuditProgramTransitionE3ProgramTransitionEve4ProgramTransitionEveAuditProgramTransitionE5ProgramTransitionEveGB/T33863.10—2021/IEC62541-10:20表7(续)引用目标浏览名称值目标类型定义6ProgramTransitionEveAuditProgramTransitionEventT7ProgramTransitionEveAuditProgramTransitionE8ProgramTransitionEve9ProgramTransitionEveAuditProgramTransitionEHaltedToReady转换规定了从Halted到Ready的状态转换。它可能由Reset方法引起。RunningToHalted转换规定了从Running到Halted的RunningToSuspended转换规定了从Running到Suspended的状态转换。它由Suspend方法SuspendedToHalted转换规定了从Suspended到Halted的状态转换。它由Halt方法引起。GB/T33863.10—2021ReadyToHalted转换规定了从Ready到Halted的状态转换。它由Halt方法引起。为每个程序转换规定了两个HasEffect引用。这些影响是5.2.5中定义的ProgramTransitionEventType和AuditProgramTransitionEventType的事件类型。ProgramTransitionEventType通知程序转换的客户端和传递结果数据。AuditProgramTransitionEventType用于审计由程序控制方法所引在IEC62541-7中定义的“审计服务器方面(AuditServerFacet)”行规需要AuditProgramTransition户端不能导致关联的状态转换。程序类型引用的方法实例标识调用该程序类型的程序调用(ProgramInvocations)的方法所需的InputArguments和OutputArguments。表8列出了定义为程序类型原因引用目标浏览名称值目标类型定义原因Suspend方法引起RunningToSuspended程序转换。Reset方法引起SuspendedToRunning程序转换。Reset方法引起HaltedToReady程序转换。ProgramTransitionEventTypeHasProperty上表10标识了为程序类型规定的ProgramTr值ProgramTransitionEven引用建模规则继承IEC62541-5:2011中B.4.16定义的基本Transition引用目标浏览名称值目标类型定义效果112223GB/T33863.10—2021/IEC62541-10:20表10(续)引用目标浏览名称值目标类型定义331432543643741842表10(续)引用目标浏览名称值目标类型定义9表11规定了AuditProgramTransitionEventType的定义。值AuditProgramTransitionEventT引用数据类型建模规则继承IEC62541-5:2011中B.4.17.定义的AuditUpdateStateGB/T33863.10—2021/IEC6值引用建模规则IEC62541-5中定义的BaseObjectType中的子类型GB/T33863.10—2021/IEC62541-10:20回回回回色域下载息被保存在OPCUA服务器中。在图A.2中说明了域下载程序的基本状态模型。这个程序有三个主要状态：Ready、Running、Halted,这三个状态与某个程序类型的标准状态是一致的。另外，域下载类型通过给程序的Running和Halted状态定义从属的状态机来扩展OPCUA程序类型。该从属状态更详细地描述了下载的操GB/T33863.10—2021/IEC62541-10每次下载被执行时，由客户端创建一个域下载程序的实例(程序调用)。该实例会一直存在直到客户端明确地删除为止。该程序的初始状态为Ready,而最终状态为Halted。该域下载可以暂时停止，然2563图A.2域下载状态图状态转换的顺序如图A.2所示。一旦启动下载，程序状态进入Opening状态。在打开数据源后，在Sending状态下发生一系列传输。当传输结束时，对象被关闭在Closing状态中。如果在所有数据被下载完之前传输终止或者遇到一个错误，则下载被停止，并且程序会转换到Aborted状态；否则，程序停止在Completed状态。表A.1中列出了状态与状态转换。A.2.3域下载转换在表A.1中指定了为域下载程序规定的有效状态转换。每一个转换定义了转换的起始和结束状态并且每一个转换由惟一的编号标识。其中五个转换来自基本程序类型，并保留为程序指定的转换标识符编号。附加的转换在基本程序状态与为域下载定义的从属状态之间建立了联系。这些状态已经被分配了惟一的转换标识符编号，以区别于基础程序转换标识符。在转换发生在子状态与程序基本状态之间的情况下，指定了两种转换。一种转换标识了基本状态改变，另一种标识了子状态的改变。例如，ReadytoRunning和ReadytoOpening同时发生。该表也指定了定义的状态，转换的原因以及每一个转换的影响。OPCUA客户端使用程序控制方法来“运行”域下载。该方法引起或者触发指定的转换。转换影响是指定的事件类型，它通知程序活动的客户端。GB/T33863.10—2021/IEC62541-10表A.1域下载状态原因效果23内部567内部内部报告转换11内部内部内部A.2.4域下载方法A.2.4.1概述为运行域下载程序指定了四种标准的程序方法：Start、Suspend、Resume和Halt。未规定其他方GB/T33863.10—2021/IEC62541-10:20状态。如果某个方法调用是在域下载处于该方法没有关联的转换状态时进行的Start方法规定了在调用它时要传递的三个输入变元：DomainName、DomainSource和DomainDestination。其他的方法不要求输入参数。没有规定域下载方法的输出参数。程序的结果错误状态是为每个域下载程序转换规定了ProgramTransitionEventType。当在运行的程序实例中发生相关SendingToSengding程序转换事件将中间结果数据与通知一起传递给OPCUA客户端。每次发A.2.6.1概述在下述图表中展示了域下载程序的OPCUA模型。它们共同定义了构成该程序的组件。为清楚域下载程序的类型定义精确地表示程序在OPCUA组件方面的行为。这些组件可被OPCUA客A.2.6.2域下载类型域下载类型是从OPCUA程序类型派生出来的子类型。它规定了是否使用可选的程序类型组件，表A.2指定了由域下载类型定义的可选的和可拓展的组件。注意对两个StateMacine以及FinishStateMachine的引用。该域下载类型省略了对重置程序控制方法及其他不支值引用数据类型建模规则值包含为FiniteStateMachineTypTransferStateMachine引用建模规则表A.3(续)引用数据类型建模规则表A.3规定了与传输状态机类型相关的状态类型。所有这些状态是基本程序类型的Running状表A.4定义了TransferStateMachineType的状态。引用目标浏览名称值目标类型定义567GB/T33863.10—2021表A.5规定了FinishStateMachineType。该状态是DomianDownload程序类型的子状态机。此状态机类型定义标识了组成该程序Halted状态类型的子状态的状态类型。值包含为FiniteStateMachineTy引用数据类型建模规则表A.6规定了与FinishStateMachineType相关的状态类型。注意，这些状态类型是最终状态，在引用目标浏览名称值目标类型定义89表A.7规定了DomainDownload的约束行为。建模规则00GB/T33863.10—2021/IEC62541-10:20会持续到被OPCUA客户端明确地删除为止。DomainDownload程序调用不能被复位重启。OPCUA服务器支持多达500个并发的DomainDownload程序调用。图A.3给出了部分的DomainDownloadType模型，它说明了状态和DomainDownload、传输和为了清楚起见，忽略了程序控制方法和状态转换DomainDownloadTransferStateMachineFinishStateMachineTransferStateMachineFimishSiaieMachine包含了域下载程序状态机(SM)的当前状态DomainDownloadCurre如果下载域在运行状态下，包含传递状态机的当前状态，否则无效如果下载域在停止状态下，包含完成状态机的当前状GB/T33863.10—2021/IEC62541-10表A.8规定了表7中未定义的OPCUA中的ProgramTransitionType。这些类型将Transfer和Finish子状态机状态与基本程序状态关联起来。表A.8附加的DomainDownload转换类型引用目标浏览名称值目标类型定义ProgramTransitionEveAuditProgramTransitionEventTProgramTransitionEveProgramTransitionEveProgramTransitionEveAuditProgramTransitionEventTProgramTransitionEveGB/T33863.10—2021/IEC62541-10:2012引用目标浏览名称值目标类型定义ProgramTransitionEveAuditProgramTransitionEventTProgramTransitionEveAuditProgramTransitionEventTProgramTransitionEveAuditProgramTransitionEventTProgramTransitionEveAuditProgramTransitionEventTGB/T33863.10—2021/IEC62541-10:20图A.4～图A.10说明了DomainDownlo标识了所引用的States、Methods、Transit2部分域下载模型的第1部分HasCauseHasCause主图A.4说明了ReadyToRunning程序转换的模型。该转换由Start方法引起。Start方法要求有三个输入参数。OPCUA客户端使用MethodCall服务，用来调用Start方法并传递这些参数。当该方法调用成功时，程序调用进入Running状态和从属传输打开状态。OPCUA服务器发出两个事件通知：表A.9Start方法附加值引用建模规则表A.9规定DomainDownloadType的Start方法需要的InputArgum表A.10Start参数值—1(—1=标量)—1(—1=标量)—1(—1=标量)GB/T33863.10—2021ProgramTransitonEventlype对象引用。该IntermediateResultData对象用于标识每次发生状态转换时获得值的两个变量。这两个值以事件通知发送到OPCUA客户端。表A.11定义了IntermediateResultD值引用数据类型建模规则GB/T33863.10—2021/IEC62541-10:20表A.12IntermediateResult数据中间结果变量值图A.6说明了RunningToSuspended状态转换的模型。该转换的原因是Suspend方法。OPCUA客户端可以暂停向控制单元下载域数据。从Running到Suspended的转换唤醒(e