2024自動(dòng)化系統(tǒng)與集成 制造軟件單元間互操作能力專(zhuān)規(guī)應(yīng)用案例

附 A（資料性）JSON模式中的消息定 附 B（資料性）管理 附 C（資料性）客戶(hù)-實(shí)施者模 附 D（資料性）消息示 附 E（資料性）定制對(duì)話(huà)狀態(tài)轉(zhuǎn)換圖示 附 F（資料性）處理對(duì)話(huà)狀態(tài)轉(zhuǎn)換、消息和能力專(zhuān)規(guī)的解決方 附 G（資料性）OAGiS與本文件之間的動(dòng)詞映射 參考文 需要轉(zhuǎn)型為模塊化的系統(tǒng)集成工具集ISO16100是一項(xiàng)國(guó)際標(biāo)準(zhǔn)，用于表示計(jì)算機(jī)可理解和人類(lèi)可讀的能力專(zhuān)規(guī)。其目標(biāo)是提供一種獨(dú)本文件描述了ISO16100的應(yīng)用。制造軟件代理是MSU的一種，使用ISO16100中規(guī)定的能力專(zhuān)規(guī)實(shí)本文件描述了軟件代理相互協(xié)作以實(shí)現(xiàn)系統(tǒng)功能的消息語(yǔ)言和協(xié)議。在介紹ISO16100-3中定義的\h\h消費(fèi)者CC-實(shí)施者PP-能力專(zhuān)規(guī)服務(wù)提供者capabilityprofileservice[來(lái)源：GB/T19902.3-2006服務(wù)提供者serviceMSU：制造軟件單元（ManufacturingSoftwareUnit）UML：統(tǒng)一建模語(yǔ)言（UnifiedModellingLanguage）URI：統(tǒng)一資源標(biāo)識(shí)符（UniformResourceIdentifier）1顯示了CP中的“CCPPPPPC子系統(tǒng)P2到狀態(tài)一系列行為。另一方面，C子系統(tǒng)還可對(duì)P子系統(tǒng)提供的建議再提出另外一種建議，從狀態(tài)2’到狀態(tài)21CISO16100CCC1圖2中名為“C-P對(duì)話(huà)基礎(chǔ)”的順序圖是圖1中C子系統(tǒng)與P子系統(tǒng)之間的通信順序圖。因此，只有CPURpB中描述C-PC子系統(tǒng)和P子系統(tǒng)之間交換的消息在第7章進(jìn)行了說(shuō)明。C子系統(tǒng)和P子系統(tǒng)之間的消息通信在第8。2以上信息已在能力專(zhuān)規(guī)的特定部分中根據(jù)能力專(zhuān)規(guī)的模板（參見(jiàn)ISO19100-3）進(jìn)行了描述。6.4<AciviyMSB.作為MS<Aciviy><InormtioExcang>（）中的<Chnne>（頻道標(biāo)簽擁有MSUUR8章中說(shuō)<?xmlversion="1.0"encoding="UTF-<xs:schema\h<xs:element<xs:sequence<xs:element<xs:attributename="id"type="xs:string"<xs:element<xs:element<xs:attributename="version"<xs:elementname="Common"<xs:elementname="Specific"<xs:complexType<xs:element<xs:elementname="ID"<xs:attributename="id"<xs:element<xs:elementname="ID"<xs:attributename="id"<xs:sequence<xs:element<xs:attributename="id"type="xs:string"<xs:attributename="url"type="xs:string"<xs:element<xs:attributename="ID"type="xs:string"<xs:element<xs:element<xs:elementname="name"type="xs:string"<xs:elementname="street"type="xs:string"<xs:elementname="city"type="xs:string"<xs:elementname="zip"type="xs:string"<xs:elementname="state"type="xs:string"<xs:elementname="country"type="xs:string"<xs:elementname="comment"type="xs:string"<xs:elementname="ComputingFacilities"minOccurs="0"<xs:elementname="Processor0"minOccurs="0"<xs:elementname="OperatingSystem0"minOccurs="0"<xs:elementname="Language"minOccurs="0"<xs:elementname="Memory"minOccurs="0"<xs:elementname="DiskSpace"minOccurs="0"<xs:attributename="unit"type="xs:string"<xs:attributename="type"type="xs:string"<xs:elementname="Performance"minOccurs="0"<xs:attributename="TransactionsPerUnitTime"<xs:elementname="ReliabilityData"minOccurs="0"<xs:elementname="UsageHistory"type="xs:string"<xs:elementname="Shipments"minOccurs="0"<xs:elementname="IntendedSafetyIntegrity"minOccurs="0"<xs:elementname="SupportPolicy"minOccurs="0"<xs:elementname="PriceData"minOccurs="0"<xs:attributename="annualSupport"<xs:attributename="unit"<xs:complexType<xs:elementname="Activity"type="Activity"<xs:elementname="Performatives"type="Performatives"<xs:elementname="MessageFormat"type="MessageFormat"<xs:complexType<xs:elementname="InformationExchange"type="InformationExchange"maxOccurs="unbounded"/><xs:attributename="id"type="xs:string"<xs:attributename="name"type="xs:string"<xs:complexType<xs:element<xs:attributename="id"type="xs:string"<xs:attributename="type"<xs:element<xs:attributename="id"type="xs:string"<xs:element<xs:elementname="Method"type="Method"<xs:attributename="id"type="xs:string"<xs:attributename="address"<xs:elementname="CallbackTo"<xs:elementname="Method"type="Method"<xs:attributename="id"type="xs:string"<xs:attributename="address"<xs:elementname="ContentEditor"<xs:attributename="name"<xs:complexType<xs:attributename="type"<xs:restriction<xs:enumerationvalue="GET"<xs:enumerationvalue="POST"<xs:enumerationvalue="PUT"<xs:enumerationvalue="DELETE"<xs:attributename="name"type="xs:string"<xs:simpleType<xs:restriction<xs:enumerationvalue="PUSH"<xs:enumerationvalue="PULL"<xs:enumerationvalue="NOTIFY"<xs:enumerationvalue="CALLBACK"<xs:complexType<xs:choice<xs:element<xs:attributename="name"type="xs:string"<xs:element<xs:attributename="name"type="xs:string"<xs:complexType<xs:elementname="Data"<xs:attributename="name"type="xs:string"6.4.2<?xmlversion="1.0"encoding="UTF-\h<type<CapabilityProfiledate="2017-08-<pkgtypeversion="1.0"<ID>Buy/Make<TemplateID<Version<name>APSOMMESX-<Activityid="Sell"<!--PullchannelfromSell-functionasC-subsystem--<BasicProtocolid="REST"type="PULL"<ApplicationProtocolid="C-subsystem-P-subsystem"<TalkToid="Sell"address="http://URLofP-subsystem<Methodtype="POST"name="ihcladaptor"<CallbackToid="Sell"\h<Methodtype="POST"name="ihcladaptor"<ContentEditorname="IHCL.message.editor.DefaultContentEditor"<!--PushchanneltoSell-functionasC-subsystem--<BasicProtocolid="REST"<ApplicationProtocolid="C-subsystem-P-subsystem"<TalkToid="Sell"address="http://URLofP-subsystem<Methodtype="POST"name="ihcladaptor"<Activityid="Notify"<!--NotifychanneltoP-subsystemDo--<BasicProtocolid="REST"type="PUSH"<ApplicationProtocolid="C-subsystem-P-subsystem"<TalkToid="Do"address="http://addressofdosubsystem<Methodtype="POST"name="IHCLAdaptorDefaultServlet"<ContentEditorname="IHCL.message.editor.DefaultContentEditor"<Receivename="Request"<Sendname="Promise"<Sendname="Decline"<Sendname="ReportCompletion"<Receivename="DeclineReport"<Receivename="DeclareComplete"<Dataname="o-id"Orderidentifier--<Dataname="who"Orderer--<Dataname="what"Orderitem--<Dataname="spec"name="how-many"quantity--name="when_by" Duedate--<Dataname="where_to"/><!- Destination--<Dataname="option" Extrainformation--事務(wù)的框架。由于IEC62264-5的事務(wù)動(dòng)詞與OAGiS的消息動(dòng)詞除了動(dòng)詞“通知”外均相同，所以附錄G3消息由屬性標(biāo)頭和屬性?xún)?nèi)容組成。標(biāo)頭是具有標(biāo)頭類(lèi)型的屬性，而內(nèi)容是具有多重性1..*41消息控制內(nèi)容（ControlContent）具有字符串類(lèi)型的message-content屬性。執(zhí)行內(nèi)容（Performative5MessageContent6PerformativeMessageContent7NameValuePairControlMessage的實(shí)例。屬性標(biāo)頭擁有一個(gè)ControlHeaderMessage的實(shí)例。屬性?xún)?nèi)容擁有息（AskResponsemessage）中解釋了為何此消息具有任意性的原因?！猚lausesender","Cxxxx"),("receiver""piny"),,("language","zzzz"))。(NoifCPCNoifAskRepone）CAskResonsP6.2CCP“詢(xún)問(wèn)響應(yīng)（AskRepone）消息。除此情況外，當(dāng)P子系統(tǒng)向C子系統(tǒng)詢(xún)問(wèn)C:還盤(pán)（Couter）,C:取消Canel）C:（Decareompet）CAskResons——————clausesender","Cxxxx"),("receiver","Pyyyy"),...,("language","zzzz"))。message-content=select(*whereConditionStatement’)ConditionStatement是"ID=RequestIdentifier"。1：PPRE12345”。ConditionStatementID=RE12345"。ConditionStatementID=NEW"。消息是ControlMessage的實(shí)例，屬性標(biāo)頭具有一個(gè)ControlHeader的實(shí)例，屬性?xún)?nèi)容具有一個(gè)——————clausesender","Cxxxx"),("receiver","piny"),...,("language","zzzz"))。message-content=errorat01000001（ProtocolSequenceError）（Message（NoR（ChecksumUnmatch）2RequestPromiseCounter接收消息AcceptDecline取消消息CancelC:Cancel,ReportP:ReportDeclareCompleteC:DeclareDeclineReportC:Decline消息時(shí)，C3執(zhí)行消息內(nèi)容訂購(gòu)貨品名稱(chēng)清單誰(shuí)表3執(zhí)行消息內(nèi)容訂購(gòu)貨品名稱(chēng)清單（續(xù)什么規(guī)格序列號(hào)數(shù)量（how訂購(gòu)數(shù)量（件數(shù)或代表實(shí)物數(shù)量的數(shù)量數(shù)量（how何時(shí)完成何時(shí)發(fā)貨地發(fā)送地負(fù)責(zé)人選擇4訂購(gòu)商品與實(shí)施消息之間的關(guān)系訂單誰(shuí)什么規(guī)格howhow選擇注：M:強(qiáng)制,ON/A事件成為C:宣布完成、C：取消、P：取消、P：拒絕時(shí)，進(jìn)度管理將終止?！猚lause=——order="Buy017-10-02"),("whom_incharge","ABC"),(("option","optionis…"))；),Proise（ReuesProis）（orereite）Reqest）消息中ordredteProisID(O-d)ordredtem）——————clause=——checker=(("number-of-records",1),("check-sum",13))?！猚lause=——orderchecker=(("number-of-records",1),("check-sum",13))。clause=(("sender","Cxxxx"),("receiver","Pyyyy"),...,("language","zzzz"))order="Buy"PerformativeMessagePerformativeHeaderclausesender","Cxxxx"),("receiver","Pyyyy"),...,("language","zzzz"))order當(dāng)C子系統(tǒng)無(wú)法接受P子系統(tǒng)發(fā)送的返回(PCounter)時(shí)，C子系統(tǒng)對(duì)P子系統(tǒng)返回(PCounter)的答C子系統(tǒng)就會(huì)對(duì)反向返回(C:Counter)作出響應(yīng)。C子系統(tǒng)的返回(C:Counter)是針對(duì)P子系統(tǒng)反向返回clause=((“sender”,”Cxxxx”),(“receiver”,”P(pán)yyyy”),...,(“l(fā)anguage”,"zzzz"))order="Buy"checker=(("number-of-records",1),("check-sum",13))PerformativeMessagePerformativeHeaderclausesender","Cxxxx"),("receiver","Pyyyy"),...,("language","zzzz"))P（ReportCompletion）PerformativeMessagePerformativeHeaderclausesender","Cxxxx"),("receiver","Pyyyy"),...,("language","zzzz"))PerformativeMessagePerformativeHeaderclausesender","Cxxxx"),("receiver","Pyyyy")...,("language","zzzz"))clause=(("sender","Cxxxx"),("receiver","Pyyyy")...,("language","zzzz"))checker=(("number-of-records",1),("check-sum",13))C子系統(tǒng)對(duì)P子系統(tǒng)發(fā)送的“報(bào)告完成”（ReportCompletion）PerformativeMessagePerformativeHeaderclausesender","Cxxxx"),("receiver","Pyyyy"),...,("language","zzzz"))如果CReprtCmplte（Decineepot）134）則要根據(jù)）。PerformativeMessagePerformativeHeaderclausesender","Cxxxx"),("receiver","Pyyyy"),...,("language","zzzz"))6章和第7CPGCP對(duì)于CPNotfy）P（Notf）來(lái)自CPPC）C88不含通知接口的CP簽屬性值類(lèi)型之間的對(duì)應(yīng)關(guān)系。對(duì)話(huà)消息的方向與通道之間的關(guān)系是，入站消息（inboundmessage5推push提pull通知notify回調(diào)callback6NotifyNotifyAskResponsepullRequestC:callbackPromiseP:pushCounterP:pullC:callbackAcceptC:callbackDeclineP:pushCancelC:callbackP:pushReportCompletionP:ReportpullDeclareCompleteC:DeclarecallbackDeclineReportC:Declinecallback附 //JsonSchemaofmessagesinthis\h"definitions"://simple"integertype":{"type":"integer""numbertype":{"type":"number""format":"date","description":"ISO8601/RFC3339formatsfor"timestamptype":{"type":"format":"date-"description":"ISO8601/RFC3339formatsfordate-time//compositetypes"clause":{"type":"object","properties":{"name":{"enum":["sender","receiver","time-"message-id","in-reply-to","language"}, "anyOf":{"$ref":"#/definitions/integertype"{"$ref":"#/definitions/numbertype"{"$ref":"#/definitions/datetype"{"$ref":"#/definitions/timestamptype"{"type":"required":["name","clauses":{"type": "NumberOfpieces":{"type":"object","properties":{"name":{"type":"string"},"value":{"$ref":"#/definitions/integertype""required":["name","Quantity":{"type":"object","properties":"name":{"type":"string"}"value":{"type":"properties":"value": {"$ref":"#/definitions/numbertype"},"measure":{"type":"string"}"required":"descriptions": "required":["name","stringValues":{"type":"properties":{"name":{"type":"string"}, "anyOf":{"$ref":"#/definitions/datetype"{"$ref":"#/definitions/timestamptype"{"$ref":"#/definitions/stringtype""descriptions":"thisobjectincludesnotonlystringvalue,butalsoISO8601/RFC3339formatsfordate,time","required":["name","CollectionValues":{"type":"object","properties":{"name":{"type":"string"}"value":{"type":"array","items":{"$ref":"#/definitions/nameValuePair","required":["name","nameValuePair":{"type":"object","properties":{"anyOf":{"$ref":"#/definitions/NumberOfpieces","$ref":"#/definitions/Quantity","$ref":"#/definitions/stringValues","$ref":"ordereditem":"$ref"://component"checker":"type":"object","properties":"name":{"enum":["number-of-records","check-sum"]},{"type":"integer""required":["name","value"],"PerformativeMessageBody":{"properties":{"order":{"type":"string"},"ordereditems":{"type":"items":{"type":"array","items":{"$ref":"#/definitions/ordereditem""required":"type":"object","properties":{//control"NofifyMessage":{ "type":"object","properties":{"controlVerb":{"enum":["Notify"]},"clauses":{"$ref":"#/definitions/clauses"},"message-content":{"type":"string"},"required":["controlVerb","clauses","message-content"],"additionalProperties":false"AskResponseMessage":{ "type":"object","properties":{"controlVerb":{"enum":["AskResponse"]}, {"type":"pattern":"^select[\\s]+[\\(]\\*[\\)][\\s]+where.+$""required":["controlVerb","clauses","message-content"],"additionalProperties":false"WarnMessage": "type":"object","properties""controlVerb":{"enum":["Warn"]},"clauses":{"$ref":"#/definitions/clauses"},"message-content":{"type":"string"},"required":["controlVerb","clauses","message-content"],"additionalProperties":false//performativemessages"RequestMessage":{"type":"object","properties":"performative":{"enum":["Request"]}, "message-content":{"$ref":"#/definitions/PerformativeMessageBody"},"checkers":{"type":"array","items":{"$ref" "additionalProperties":false"PromiseMessage":{"type":"properties":"performative":{"enum":["Promise"]}, "message-content":{"$ref":"#/definitions/PerformativeMessageBody"},"checkers":{"type":"array","items":{"$ref" "required":["performative","clauses","message-content"],"additionalProperties":false"CounterMessage":{"type":"object","properties":{"performative":{"enum":["Counter"]}, "message-content":{"$ref":"#/definitions/PerformativeMessageBody"},"checkers":{"type":"array","items":{"$ref" "#/definitions/checker""AcceptMessage":{"type":"object","properties":{"performative":{"enum":["Accept"]}, "message-content":{"$ref":"#/definitions/PerformativeMessageBody"},"checkers":{"type":"array","items":{"$ref" "#/definitions/checker""CancelMessage":{"type":"object","properties":{"performative":{"enum":["Cancel"]}, "message-content":{"$ref":"#/definitions/PerformativeMessageBody"},"checkers":{"type":"array","items":{"$ref" "#/definitions/checker""DeclineMessage":{"type":"object","properties":{"performative":{"enum":["Decline"]}, "message-content":{"$ref":"#/definitions/PerformativeMessageBody"},"checkers":{"type":"array","items":{"$ref" "required":["performative","clauses","message-content"],"additionalProperties":false"ReportCompletionMessage":{"type":"object","properties":{"performative":{"enum":["ReportCompletion"]}, "message-content":{"$ref":"#/definitions/PerformativeMessageBody"},"checkers":{"type":"array","items":{"$ref" "required":["performative","clauses","message-content"],"additionalProperties":false"DeclareCompleMessage":{"type":"object","properties":{"performative":{"enum":["DeclareComplete"]}, "message-content":{"$ref":"#/definitions/PerformativeMessageBody"},"checkers":{"type":"array","items":{"$ref" "DeclineReportMessage":{"type":"object","properties":{"performative":{"enum":["DeclineReport"]}, "message-content":{"$ref":"#/definitions/PerformativeMessageBody"},"checkers":{"type":"array","items":{"$ref" "#/definitions/checker"附 的子系統(tǒng)可以與IEC62264定義的0層到4層的功能層次結(jié)構(gòu)相對(duì)應(yīng)。B.1IEC622644購(gòu)/制造）IEC622644IEC622644IEC622644——B.1CP工廠(chǎng)實(shí)施（制造實(shí)施（運(yùn)輸實(shí)施（存儲(chǔ)實(shí)施（索賠實(shí)施（付款UML.MSUMLMSU交互如圖B.CP子系B.中AMSUBMSU通過(guò)C-B.中的矩形表示MSU,橢圓形表示功能。緊挨著（MSU與功能連接線(xiàn)的文本顯示C-P對(duì)話(huà)功能的生命線(xiàn)。在A(yíng)和BB.顯示C-對(duì)話(huà)的CC-PPB。圖B.5C-PB.6B.7附 C.1附 P子系統(tǒng)將報(bào)告完成消息（ReportCompletionmessage）消息發(fā)送到C子系統(tǒng)。6.C子系統(tǒng)向P子系統(tǒng)發(fā)送聲明完成消息（DeclareCompletemessage）。NotifymessageNotifymessage{"controlVerb""Notify","clauses"[{"name":{"name":"receiver","value":{"name":"time-stamp","value":"2015-10-{"name":"message-id","value":{"name":"language","value":"message-content":AskResponsemessage"{"controlVerb""AskResponse","clauses"[{"name":{"name":"receiver","value":{"name":"time-stamp","value":"2015-10-{"name":"message-id","value":{"name":"language","value":Requestmessage"performative":"Request","clauses":[{"name":{"name":"receiver","value":{"name":"time-stamp","value":"2015-10-{"name":"message-id","value":{"name":"language","value":"message-content":{"order":"Buy","ordereditems":[{"name":"o-id","value":{"name":"what",{"name":"spec","VALUE":[{"name":"W","value"{"name":"H","value":20},{"name":"D","value"{"name":"how_many",{"name":"when_by","value":"2015-10-{"name":"o-id","value":{"name":"what",{"name":"spec","value":[{"name":"W","value"{"name":"H","value":30},{"name":"D","value"{"name":"how_many",{"name":"when_by","value":"2015-10-"checkers":{"name":"number-of-records","value":{"name":"check-sum","value":Promisemessage"performative":"Promise","clauses":[{"name":{"name":"receiver","value":{"name":"time-stamp","value":"2015-10-{"name":"message-id","value"{"name":"language","value":"message-content":{"order":"Buy","ordereditems":[{"name":"o-id","value":{"name":"o-id","value":"performative":"ReportCompletion","clauses":[{"name":{"name":"receiver","value":{"name":"time-stamp","value":"2015-10-{"name":"message-id","value"{"name":"language","value":"message-content":{"order":"Buy","ordereditems":[{"name":"o-id","value":{"name":"what",{"name":"spec","VALUE":[{"name":"W","value"{