2024自動(dòng)化系統(tǒng)與集成對(duì)象過程方法

目前 引 對(duì)象過程方法(OPM)建模原 對(duì)象過程方法(OPM)基本概 對(duì) 過 附錄A（資料性附錄）EBNF中的OPL形式化語(yǔ) 附錄B（資料性附錄）OPM運(yùn)用指 附錄C（資料性附錄）使用對(duì)象過程方法（OPM）建立OPM模 附錄D（資料性附錄）OPM動(dòng)態(tài)性和仿 引M的應(yīng)用范圍可以從基本元素的簡(jiǎn)單組合系統(tǒng)到復(fù)雜、多學(xué)科和動(dòng)態(tài)系統(tǒng)。M適用于借助信息技PMOMOM，OPOMO在第5條到第12條中，僅很少地涉及方法論。第13條呈現(xiàn)了與放大和展開相關(guān)的上下文管理機(jī)制。抽象化受影響物代理一個(gè)人或一組人的使能者(2.17)屬性)的對(duì)象(行為(2.39(2.77)(2.43)模型的執(zhí)行，包含了模型中的事物(2.76)集合體和對(duì)象的關(guān)聯(lián)(2.36)。受益者(2.46)2.82)(2.65)類具有同等持久性(2.50)、重要性、歸屬價(jià)值及相同特征(2.21)和狀態(tài)集(2.69)的事物集合體完整性條件關(guān)聯(lián)condition從一個(gè)對(duì)象(2.39)2.69)(2.58)(2.56被消耗物2.58(2.78)上下文由一個(gè)對(duì)象過程圖(2.41)和相應(yīng)對(duì)象過程語(yǔ)言(2.42)文本所代表的一個(gè)對(duì)象過程方法(2.43)控制關(guān)聯(lián)control2.56控制修飾符control2.362.12)注：事件的控制修飾符符號(hào)為“e”（3.18），條件的控制修飾符符號(hào)為'c'區(qū)分屬性discriminating2.812.4效果2.392.69)(2.4(2.81注：要素2.76(2.36使能器(2.58)2.39事件任何一個(gè)可能會(huì)啟動(dòng)對(duì)過程(2.58)前置條件(2.53)的評(píng)估。事件關(guān)聯(lián)condition代表一個(gè)事件(2.18(2.39)(2.69)(2.58)(2.12)展示物通過展示-表征關(guān)系而展現(xiàn)（表現(xiàn)為）(2.21)(2.76)特性2.4)(2.46折疊(2.62)(2.612.1)（實(shí)例折疊）注：折疊主要應(yīng)用于對(duì)象（29）。當(dāng)應(yīng)用于一個(gè)過程時(shí)，其子過程是無序的，適用于建模異步系統(tǒng)，其中，過程的時(shí)間順序未被定義。注3：折疊的反義是展開（2.80）功能一般類<OPM>(2.61)信息化的繼承性2.242.43(2.16)輸入關(guān)聯(lián)input從對(duì)象(2.39)（輸入）2.69(2.582.36實(shí)例(2.39)(2.58)實(shí)例，它在類化-實(shí)例化關(guān)系中是一個(gè)細(xì)化物(2.62)實(shí)例2.39)(2.58)(2.46)或運(yùn)行實(shí)施期間實(shí)際意義上的唯一可識(shí)別事物(2.76)。注：一個(gè)過程實(shí)例是可被過程事件中所涉及對(duì)象集(2.32)的操作實(shí)例以及過程時(shí)間的過程開始和結(jié)束時(shí)間戳進(jìn)儀器2.17調(diào)用(2.58參與對(duì)象集involvedobject(2.54)2.54放大場(chǎng)景in-zoom2.36)和關(guān)聯(lián)（2.36）(2.76)放大in-<過程>對(duì)象(2.39)部分展開(2.80)放大in-2.80)2.58關(guān)聯(lián)兩個(gè)對(duì)象過程方法(2.43)事物(2.76)之間的結(jié)構(gòu)關(guān)系(2.73)或程序關(guān)系(2.57)的圖形表達(dá)。元模型模型事實(shí)model2.43(2.76(2.69)對(duì)象<OPM(2.16)2.76)物理上或信息上(2.25)對(duì)象類object2.74(2.772.39)對(duì)象過程圖（OPD）Object-ProcessDiagram2.43中的對(duì)象(2.39)和過程(2.58)與結(jié)構(gòu)關(guān)聯(lián)(2.72)和程序關(guān)聯(lián)(2.56)共同出現(xiàn)。對(duì)象過程語(yǔ)言（OPL）Object-ProcessLanguage英語(yǔ)自然語(yǔ)言子集，以文本方式表示對(duì)象過程圖(2.42)的圖形形式所代表的對(duì)象過程方法對(duì)象過程方法OPMObject-ProcessMethodology態(tài)圖形-文本方式表示系統(tǒng)和其轉(zhuǎn)換(2.77)或過程(2.58)所使用的對(duì)象(2.39)。OPDOPDobject(2.392.63)詳盡描述了對(duì)象OPDOPDprocess(2.75)(2.42)，它獲自于其祖先的對(duì)象過程圖中（或系統(tǒng)圖）2.35)過程(2.58注：(2.43OPD過程樹是對(duì)一個(gè)對(duì)象過程方法操作2.76(2.58輸出關(guān)聯(lián)output(2.39)(2.58)（目的地）2.692.36縮小out-2.392.34縮小out-2.582.35)持久性2.76(2.60)(2.39)（3.76）(2.58)后置條件過程條件，是成功完成過程(2.58)后過程對(duì)象集postprocessobject2.58(2.39前置條件2.58)前過程對(duì)象集preprocessobject2.58(2.39注：對(duì)象集合體可包含有狀態(tài)對(duì)象(2.662.69首要本質(zhì)primary程序關(guān)聯(lián)procedural2.432.57)的圖形符號(hào)（3.43）程序關(guān)系procedural2.392.692.581：2.23)2：2.31)2.36)過程系統(tǒng)中的一個(gè)或多個(gè)對(duì)象(2.39)2.77過程類process執(zhí)行相同對(duì)象(2.39)(2.77(2.58)特性(2.16)1：2.72)注可細(xì)化物可被細(xì)化(2.63OPM2.76)，可以是一個(gè)整體(2.83)、一個(gè)展示物(2.20)、一個(gè)一般類細(xì)化物個(gè)實(shí)例(2.29)。注：四種細(xì)化物的每一種都有一個(gè)相應(yīng)的可細(xì)化物（部分-整體、特征-展示物、特化-泛化、實(shí)例-類）細(xì)化2.8)結(jié)果物2.58(2.78利益相關(guān)者有狀態(tài)對(duì)象stateful2.692.39無狀態(tài)對(duì)象stateless(2.69)的對(duì)象(2.39)狀態(tài)2.39注：在對(duì)象過程方法(.3.8)C狀態(tài)有現(xiàn)有的對(duì)象(2.39)實(shí)例、每一個(gè)有狀態(tài)對(duì)象(2.66)實(shí)例的當(dāng)前狀態(tài)以及過程(2.58)實(shí)例。狀態(tài)表達(dá)state2.63(2.69)對(duì)象(2.39)狀態(tài)抑制state結(jié)構(gòu)關(guān)聯(lián)structural對(duì)象過程方法(結(jié)構(gòu)關(guān)系structural運(yùn)行時(shí)不變的事物之間的聯(lián)系或關(guān)聯(lián)注：結(jié)構(gòu)一個(gè)對(duì)象過程方法(2.43)模型中<OPM>的對(duì)象(2.39)集合體以及它們之間非短暫性關(guān)系或關(guān)系統(tǒng)圖SystemDiagram(2.58)2.41)(2.23)象(2.39)，為系統(tǒng)的頂層視圖描繪了整個(gè)情景(2.11)。除系統(tǒng)圖之外的任何對(duì)象過程圖在細(xì)化(2.63)產(chǎn)生的OPD過程樹中都是一個(gè)結(jié)點(diǎn)。事物轉(zhuǎn)換注：2.58被轉(zhuǎn)換物2.58（創(chuàng)建、消耗或影響）(2.39轉(zhuǎn)換關(guān)聯(lián)transforming展開2：2.39值2.4)2.69值(2.23)提供的<功能性>整體2.76(2.50——對(duì)象object——物理對(duì)象physicalobject——環(huán)境對(duì)象environmentalobject——過程process——物理過程physicalprocess——環(huán)境過程environmental——狀態(tài)——聚合-分散aggregation-——展示-表征exhibition-——泛化-特化generalization-——類化-實(shí)例化classification-——單向帶標(biāo)簽結(jié)構(gòu)關(guān)聯(lián)unidirectionaltaggedstructural——雙向帶標(biāo)簽結(jié)構(gòu)關(guān)聯(lián)bidirectionaltaggedstructural——代理關(guān)聯(lián)agent——儀器關(guān)聯(lián)instrument——效果關(guān)聯(lián)effect——消耗關(guān)聯(lián)consumption——結(jié)果關(guān)聯(lián)result——輸入-輸出關(guān)聯(lián)對(duì)input-outputlink——儀器事件關(guān)聯(lián)instrumentevent——消耗事件關(guān)聯(lián)consumptionevent——儀器條件關(guān)聯(lián)instrumentalcondition——消費(fèi)條件關(guān)聯(lián)consumptioncondition——調(diào)用關(guān)聯(lián)invocation——自調(diào)用關(guān)聯(lián)self-invocation——超時(shí)異常關(guān)聯(lián)over-timeexception——時(shí)間不足異常關(guān)聯(lián)under-timeexception611OPMaab)a)bOPM工廠制造模型將與維護(hù)經(jīng)理所用的模型會(huì)有很大的不同。OPM)注：OPM初始概念的建模中來。這種參與使得這些利益相關(guān)者成為積極的參與者并在他們不經(jīng)意間的介紹后能很快地OPMOPM注2：AISOIEC14977：1996OPL1996圖1對(duì)象過程方法（OPM）對(duì)象過程方法（OPM）注：OPM沒有明確指定一個(gè)對(duì)象過程方法（OPM）OPDOPL本標(biāo)準(zhǔn)呈現(xiàn)了創(chuàng)建M模型圖和相應(yīng)OP文本的手段。第3條的放大和展開機(jī)制提供了將OD圖形與相應(yīng)PL3OPB.6.2圖2注：一個(gè)過程對(duì)一個(gè)對(duì)象產(chǎn)生的效果通常是該對(duì)象的狀態(tài)發(fā)生了變化。然而，也有那種其效果處于狀態(tài)維護(hù)的持久性過程。一個(gè)持久性過程的語(yǔ)義是要維持處于其當(dāng)前狀態(tài)中的對(duì)象，而非去誘發(fā)一種變化。示例：（隱式）狀態(tài)。其他持久性過程的例子還包括持牽涉到生活-積極維持必要的生命過程。B.6.3圖3對(duì)象過程方法（OPM）OMOMO過從圖形上看，如圖4所示，陰影效果應(yīng)指的是物理OPM事物，而虛線應(yīng)指的是OPM環(huán)境事物。圖 圖4OPM就圖形來說，一個(gè)放置于其所屬對(duì)象內(nèi)的標(biāo)簽和一個(gè)圓角矩形（a'rountangle'）意味著一個(gè)對(duì)象OPL句子。圖5于隨機(jī)檢查期間的這種狀態(tài)。注2：注：狀態(tài)（117）。OPL句子使?fàn)顟B(tài)規(guī)范變得清晰明了。示例：6OPL圖6示例：75注1：枚舉列表或一組的一個(gè)或多個(gè)數(shù)字范圍可為該屬性定義一組可允許值。OPM注：注1：注：不存在結(jié)果事件關(guān)聯(lián)或結(jié)果條件關(guān)聯(lián)，因?yàn)檫@些涉及到后過程對(duì)象集將要離開的程序關(guān)聯(lián)。當(dāng)一個(gè)過程完成時(shí)，它創(chuàng)建的后過程對(duì)象集沒有更進(jìn)一步的條件，所以在結(jié)果物的創(chuàng)建或受影響物的改變上是沒有條件的。創(chuàng)建一個(gè)很可能處于一個(gè)指定狀態(tài)中的對(duì)象可在后過程對(duì)象集中用于一個(gè)后續(xù)過程的一個(gè)事件或條件。刪除毀滅文檔 編輯影響文檔圖7轉(zhuǎn)換關(guān)聯(lián)：左邊：銷毀，中間：結(jié) 注2：10.1有關(guān)關(guān)聯(lián)屬性的定位。示例1：示例2：1000注：見10.1示例1：示例：汽油和柴油是過程提煉的結(jié)果物，其消耗原油。結(jié)果物汽油和柴油各有一個(gè)屬性數(shù)量（立方米）。提煉汽100（立方米/小時(shí)80（表1表1表1OPD&OPL 注：一個(gè)使能器扮演的是一個(gè)相對(duì)于一個(gè)特定過程的對(duì)象所扮演的角色。同樣的對(duì)象可以是一個(gè)過程的使能器和另一個(gè)過程的被轉(zhuǎn)換物。注2：為實(shí)現(xiàn)在所有情況下強(qiáng)大的執(zhí)行控制流，建模者可以將未完成的提早結(jié)束的過程作為一個(gè)異常處理（見AB圖8AB示例：一個(gè)制造過程也許無法消耗或（不考慮損耗）改變一臺(tái)可使棒料轉(zhuǎn)換到機(jī)械零件的機(jī)器的狀態(tài)。在這種背景下，機(jī)器是制造過程的一個(gè)工具。的OPD&OPL其使得所連接但未被該圖9圖9示例3：9OPD8.2.4表2表2）注2：見11.1連接屬性的定位。示例：鋼條在狀態(tài)預(yù)熱處理對(duì)于過程機(jī)械加工是一個(gè)被消費(fèi)物，其產(chǎn)生了一個(gè)結(jié)果物軸。當(dāng)機(jī)械加工激活時(shí)，它的話，它即處于熱處理狀態(tài)而因此不用再進(jìn)行機(jī)械加工。注1：10.1注2：示例：處在預(yù)熱處理狀態(tài)的鋼條對(duì)于機(jī)械過程來說是一個(gè)被消耗物，其產(chǎn)生了處于預(yù)熱處理狀態(tài)的結(jié)果物軸。一個(gè)從機(jī)械加工到軸的預(yù)熱處理的狀態(tài)-指定結(jié)果關(guān)聯(lián)表示該模型規(guī)范。示例A可以是s1,s2或s3 A可以是s1,s2或s3S2是初始 S2是初始P產(chǎn)生A P產(chǎn)生s2A圖10結(jié)果關(guān)聯(lián)到正確（左邊）和不正確（右邊）注：在一個(gè)輸入-輸出-指定效果關(guān)聯(lián)的情況下，一旦一個(gè)影響過程開始，它就會(huì)導(dǎo)致對(duì)象退出其輸入源狀態(tài)。然間的過渡期。示例：11OD狀態(tài)就處于過渡期，勢(shì)必會(huì)過渡到切割狀態(tài)：切割將其預(yù)-切割狀態(tài)中帶出來但尚未將其帶入過程完成的切割狀態(tài)。雖圖11注：處理將對(duì)象解析至其可允許狀之一的狀態(tài)。表3表3名 語(yǔ) OPD&OPL例 來 目

過 結(jié)果物狀

影響過 受影響

受影響 影響過注：狀態(tài)名稱標(biāo)簽的開頭不以大寫字母出現(xiàn)，除非它們出現(xiàn)在一個(gè)OPL移動(dòng)卡車是物理性的 移動(dòng)卡車是物理性的移動(dòng)卡車可以是磨損或被檢修 服務(wù)是環(huán)境性和物理性的 服務(wù)是環(huán)境性和物理性的服務(wù)將移動(dòng)卡車從磨損變成被維修 服務(wù)將移動(dòng)卡車從磨損變成被維修公寓位置是物理性的 公寓位置是物理性的公寓位置可以是舊公寓或新公寓 移動(dòng)是物理性的 移動(dòng)需要移動(dòng)卡車 移動(dòng)將公寓位置從舊公寓變成新公寓 圖12表4表4OPD&OPL作為OPM運(yùn)行語(yǔ)義基礎(chǔ)的事件-條件-行為范式的一部分（參見8.2.1），一個(gè)事件關(guān)聯(lián)、一個(gè)條件注1：注2：注：由于未能成功完成所產(chǎn)生的失敗常常會(huì)導(dǎo)致時(shí)間不足或超時(shí)運(yùn)行，異常連接可服務(wù)于其它情形。此外，所有與時(shí)間無關(guān)的異常狀態(tài)可使用取值范圍（C6）來建模?！癳”從圖形上來看，一個(gè)位于對(duì)象與表示事件的箭狀符號(hào)的過程尾部旁、帶有小寫字母“e"表5表5OPD&OPL表6表6OPD&OPL要通過過程持續(xù)時(shí)間 對(duì)象啟動(dòng)作為一個(gè)儀 象。字母“e”的注釋過程應(yīng)意味狀態(tài)-指定消耗事件關(guān)聯(lián)。從圖形來說，在輸入關(guān)聯(lián)的箭狀符號(hào)頭終端旁帶有一個(gè)表示事件的小寫字母“e”注釋的輸入-一個(gè)輸出-指定效果事件關(guān)聯(lián)應(yīng)是一個(gè)在對(duì)象運(yùn)行實(shí)例開始存在時(shí)啟動(dòng)影響過程的帶標(biāo)注輸出-指表7表7名 語(yǔ) OPD&OPL例 來 目處于指定狀態(tài)狀態(tài)-指定消耗中的對(duì)象即啟

事件關(guān) 動(dòng)過程也同

啟動(dòng)過程

啟動(dòng)過 受影響輸出-指定事件狀態(tài)的

受影響 啟動(dòng)過

“”一個(gè)狀態(tài)-指定儀器事件關(guān)聯(lián)應(yīng)是一個(gè)在儀器運(yùn)行實(shí)例進(jìn)入指定狀態(tài)時(shí)啟動(dòng)過程的帶標(biāo)注狀態(tài)-指表8表8OPD&OPL處于指定狀態(tài)的對(duì)象即啟動(dòng)過程也是其運(yùn)儀器需要在整個(gè)過程持續(xù)時(shí)間處于指定的注：如果先前過程沒有成功完成的話，則一個(gè)正?；蝾A(yù)期的執(zhí)行控制流將不會(huì)調(diào)用一個(gè)新過程。通常由建模者負(fù)C6C..8注2：OPMOPM物理或信息對(duì)象（ID）以啟動(dòng)那個(gè)會(huì)立即消耗一個(gè)臨時(shí)對(duì)象的目標(biāo)過程。表9表9OPD&OPL在一個(gè)事件啟動(dòng)過程時(shí)存在的話，那么該被消耗物運(yùn)行實(shí)例的出現(xiàn)就會(huì)滿足有關(guān)該對(duì)象的過程先決條或“跳過”沒有過程性能的過程。表10表10OPD&OPL如果一個(gè)對(duì)象運(yùn)行實(shí)例存在并且其余過程先決這個(gè)過程將執(zhí)行和消耗將繼續(xù)進(jìn)行以啟動(dòng)下一 如果一個(gè)對(duì)象操作實(shí)例個(gè)過程將執(zhí)行并影響對(duì)繼續(xù)進(jìn)行以啟動(dòng)下一個(gè) 一個(gè)代表?xiàng)l件的帶有小寫字母“c”的注釋意味著一個(gè)條件代理關(guān)聯(lián)。c圖13OPL表11OPD&OPL則過程就會(huì)被跳過則過程就會(huì)被跳過件的小寫字母“c”注釋的過程意味著一個(gè)條件狀態(tài)-指定消耗關(guān)聯(lián)。一個(gè)條件輸入-輸出-指定效果關(guān)聯(lián)應(yīng)是一個(gè)從源輸入狀態(tài)到過程的帶標(biāo)注輸入-輸出-指定效果流將會(huì)繞行或“跳過”沒有過程性能的過程?！癱”O(jiān)PL句子的語(yǔ)法應(yīng)為：如果對(duì)象是輸入-狀態(tài)，則過程發(fā)生，在OPL句子的一個(gè)替代語(yǔ)法應(yīng)為：如果輸入狀態(tài)對(duì)象存在，則過程控制流將繞行或“跳過”沒有過程性能的過程。的評(píng)估失敗，執(zhí)行控制流將繞行或“跳過”沒有過程性能的過程。表12表12OPD&OPLOPD&OPL例在一個(gè)事件啟動(dòng)過程時(shí)不存在，則過程前置條件評(píng)估失敗，執(zhí)行控制流將繞行或“跳過”沒有過表13表13OPD&OPL如果代理處于一如果處于指定的注：參見附錄D鑒于min-durantion(最短持續(xù)時(shí)間)是MinimalDuration(最短持續(xù)時(shí)間)的值，并且時(shí)間單位是一默認(rèn)標(biāo)簽應(yīng)是“與……相關(guān)”。注：示例：14圖14標(biāo)簽出現(xiàn)時(shí)，默認(rèn)標(biāo)簽應(yīng)是“有關(guān)聯(lián)的”。示例：15 圖15雙向（左側(cè)）和其等效相互關(guān)聯(lián)標(biāo)簽結(jié)構(gòu)關(guān)聯(lián)（右側(cè)示例圖16圖17圖18對(duì)象展示物展示屬性 對(duì)象展示物展示操作過程展示物展示屬性 過程展示物展示操作圖19用于一個(gè)具有n屬性和m操作的全部集合體的對(duì)象展示物的展示-表征關(guān)系關(guān)聯(lián)的語(yǔ)法應(yīng)是：對(duì)象展示展屬1屬性，..和性n及1,操作2， 操m。用于一個(gè)具有n操作特性和m屬性特性的全部集合體的過程展示物的展示-表征關(guān)系關(guān)聯(lián)的語(yǔ)法應(yīng)12,,2,…andm。用于一個(gè)具有j屬性特性和k 用于一個(gè)具有j操作特性和k屬性特性的局部集合體的過程展示物的展示-表征關(guān)系連接的語(yǔ)法應(yīng)是象-示展了做1作2， 員j至另一操及屬1性2、示例：2023材料展示了特定重量材料展示了特定重量 人展示了年齡圖20飛機(jī)展示飛行 人展示步行 打印機(jī)展示打印 圖21跳水展示深度跳水展示深度 命令展示語(yǔ)言圖22帶有屬性例子的過程展示物移動(dòng)展示加速 圖23注2：OPL（以下指定了每系“的”應(yīng)在特性與其展示物之間的OPL句子中出現(xiàn)。示例1：OPL 化-過程1,特化-過程2,…、和特化-過程n是通用類-過程。 示例：24圖24注：一個(gè)工具可以在建模者更改細(xì)化物集合體時(shí)為每一個(gè)可細(xì)化物跟蹤細(xì)化物集并為每一個(gè)基本結(jié)構(gòu)關(guān)系關(guān)聯(lián)調(diào)整符號(hào)及相應(yīng)的OPL句子。一個(gè)特化事物應(yīng)是通過泛化-特化關(guān)聯(lián)從通用事物中繼承以下存在的四種可繼承要素的其中之一種：OPM應(yīng)通過允許一個(gè)事物去繼承來自多個(gè)通用事物的每個(gè)細(xì)化物為多重繼承性提供機(jī)會(huì)-四種為該圖253×2=6：民用汽車、民用飛機(jī)、民用船舶、軍用汽車，軍用飛機(jī)和軍用船舶。注：OM類模式。通過在概念模型中建立一個(gè)事物，建模者所隱喻的是該事物的至少一個(gè)操作實(shí)例或該事物的一個(gè)特化可在系統(tǒng)運(yùn)行過程中的某一時(shí)刻存在。示例1：圖2618588成人展現(xiàn)了性別、厘米身高和公斤重量 杰克·羅賓遜是成人的一個(gè)實(shí)例成人的性別可以是男性或女性 杰克·羅賓遜的性別為男性成人的身高以厘米為單位，范圍從120到240厘米。 成人的體重以公斤為單位，范圍在40?240公斤。 杰克·羅賓遜的體重為88公斤。圖26具有取值范圍的類化-實(shí)例化（類在左側(cè)，實(shí)例在右側(cè)7.53727（運(yùn)行時(shí)7.555以每立方厘米每克為單位的金屬粉末混合物的范圍從7.545to7.537；混合物段#7545是一個(gè)金屬粉末混合物的實(shí)例；混合物段#7545的以每立方厘米每克為單位的指定重量是7.555圖27表14OPDA和BABA和實(shí)例BAa-到-bBb-到-aAB[A與B25圖28單向源狀態(tài)-指定帶標(biāo)簽結(jié)構(gòu)關(guān)聯(lián)的OPL注：?jiǎn)蜗蚰繕?biāo)狀態(tài)-指定帶標(biāo)簽結(jié)構(gòu)關(guān)聯(lián)的OPL句子的語(yǔ)法應(yīng)為：源-對(duì)象標(biāo)簽-名稱指定-狀態(tài)目標(biāo)-注：?jiǎn)蜗蛟?和-目標(biāo)狀態(tài)-指定帶標(biāo)簽結(jié)構(gòu)關(guān)聯(lián)的OPL句子的語(yǔ)法應(yīng)為：源-指定-狀態(tài)源-對(duì)象標(biāo)簽-名稱目標(biāo)-指定-狀態(tài)目標(biāo)-對(duì)象。注：所獲得的雙向源-或-目標(biāo)的指定狀態(tài)的帶標(biāo)簽結(jié)構(gòu)關(guān)聯(lián)的語(yǔ)法應(yīng)是兩個(gè)獨(dú)立的單向帶標(biāo)簽結(jié)構(gòu)關(guān)聯(lián)的O。僅帶有一個(gè)標(biāo)簽的相互關(guān)聯(lián)的源-或-目標(biāo)狀態(tài)-指定帶標(biāo)簽結(jié)構(gòu)關(guān)聯(lián)的語(yǔ)法應(yīng)為：源-指定-狀態(tài)僅描繪了一個(gè)與箭頭對(duì)齊的標(biāo)簽-名稱的魚叉型箭頭的線應(yīng)表示一個(gè)相互關(guān)聯(lián)的源-或-目標(biāo)狀態(tài)-指定態(tài)源-對(duì)象和目標(biāo)-指定-狀態(tài)目標(biāo)對(duì)象是相互關(guān)聯(lián)標(biāo)簽。沒有標(biāo)簽名稱的相互關(guān)聯(lián)的源-和-目標(biāo)狀態(tài)-指定帶標(biāo)簽結(jié)構(gòu)關(guān)聯(lián)的語(yǔ)法應(yīng)為：源-指定狀態(tài)源-對(duì)象和目標(biāo)-指定-狀態(tài)目標(biāo)-對(duì)象是相互關(guān)聯(lián)的。表15SABsSaAsbSAfBBb-標(biāo)簽-名稱sSaAfsbBSbBb-名稱saB和sASaA和sbB示例1：29OPD金融機(jī)構(gòu)保管人與銀行有關(guān)。(其余的OPL圖29簽結(jié)構(gòu)關(guān)聯(lián)的那個(gè)“存在范圍”的標(biāo)簽相關(guān)聯(lián)。圖30 工廠包含3個(gè)車間 圖31對(duì)象多重性可以是一個(gè)參數(shù)或一定范圍的參數(shù)或一組由逗號(hào)分隔的兩個(gè)或更多數(shù)字和/或參數(shù)范min..mamin和qmxOL“到（t）”（o）”。OPL——“0*”是指零或多個(gè)，使用其適用的對(duì)象注釋的星號(hào)（*）OPL——“1*”是指一個(gè)或多個(gè)，使用其適用的對(duì)象附近的加號(hào)（+）注釋，在對(duì)象之前馬上使用OPL注1：范圍符號(hào)“..”在多重性規(guī)范中具有兩種用途，一個(gè)作為兩個(gè)邊界值之間的分隔符，例如帶有“to”的闡Qmin..qmax“0..*”。注：在指定基數(shù)約束時(shí)需要加以小心，這樣約束就可適用于指定的對(duì)象而非該對(duì)象的一個(gè)屬性。如果對(duì)象具有一32表16表16qminqmaxOPL*可選“（”、和“）”并應(yīng)在相應(yīng)的OPL句子中使用一般的文本對(duì)應(yīng)。in”（束于”形式出現(xiàn)的對(duì)象之后。示例1：圖32機(jī)器中心控制了2或3*nn<=4圖32kba（bk=24噴氣發(fā)動(dòng)機(jī)包含b1到2名航天工程師負(fù)責(zé)處理刀片更換；ki個(gè)刀片和新的bi刀片更換生成了b個(gè)拆卸的刀片；刀片檢驗(yàn)消耗了bab圖33示例3：34OPDOPL飛機(jī)由機(jī)身、2個(gè)機(jī)翼和E個(gè)發(fā)動(dòng)機(jī)組成，其中e>=1，E=B+2*w,b個(gè)引擎連接到車身，其中b處于{0，1}中。W個(gè)引擎連接到翼，其中0<=W<=3。圖34注：反復(fù)過程。一個(gè)處于放大過程中的并行同步過程或異步過程提供有其它迭代機(jī)制。對(duì)象屬性或過程相關(guān)的值可以是整數(shù)值或?qū)崝?shù)值，或解析到整數(shù)或?qū)崝?shù)值的參數(shù)值以及字符串和枚舉注1：注2：KeyAKeyBKeyC.closedAB圖35圖35用餐準(zhǔn)備產(chǎn)生了開胃菜、正餐和飯后甜點(diǎn) 就餐消費(fèi)飯后甜點(diǎn)、正餐和開胃菜圖36中央銀行處理利率變換 利率變換影響匯率、價(jià)格指 利率可高可低和利率 價(jià)格指數(shù)可高可低圖37用于效果關(guān)聯(lián)和輸入-輸出關(guān)聯(lián)對(duì)的邏輯注：參見12AND個(gè)關(guān)聯(lián)扇面。一個(gè)關(guān)聯(lián)扇面應(yīng)遵循XOR或OR運(yùn)算符的語(yǔ)義。通用于關(guān)聯(lián)的關(guān)聯(lián)扇面端應(yīng)是趨同型事物1、事物2,…和事物n。。。的至少其中之一。具有OR語(yǔ)義n個(gè)事物的關(guān)聯(lián)扇面的語(yǔ)法應(yīng)是一個(gè)包含一種短語(yǔ)形式的單個(gè)OPL1、事物2、…只有保險(xiǎn)箱擁有者A和保險(xiǎn)箱擁有者 保險(xiǎn)箱擁有者A和保險(xiǎn)箱擁有者的其中之一打開保險(xiǎn)箱 圖38代理關(guān)聯(lián)的邏輯OR（左）XOR（右）表17XORORPA、BCPA、BCP、QRP、QR表18表18XOROR異或P、QRP、QRPA、BCPA、BC表19XOROR異或P只影響A、BCPA、BCP、QRBP、QR20表20異或或B只處理P、QRB處理P、QRP、Q或RBP、Q或RB表21異或或PQ或RPQ或RP或QRP或Q中至少一個(gè)調(diào)用11.3示例：39XORORA和C而非BP、Q或R中只有其中之一需要s2 P產(chǎn)生了s3A、B或s5C中的至少一個(gè)圖39XOROR表22BP、QRB。BP、QRB，否則這些過程將被跳過去。關(guān)聯(lián)扇面。由于這些狀態(tài)-指定版本比其非狀態(tài)-指定版本更加復(fù)雜，表23給出了狀態(tài)-指定版本的OPD和OP表23S2BPQ或RB。BP、QRBs2,僅P、QRB，否則這些過程將被跳過。BP、QRBS2BP、QRBP、Q或RBs2，BPQorRBBP、QRP、QRBs2P、QRBS2BP、QRs2B.B只啟動(dòng)P、QRB弧形指定），其中所保留的短語(yǔ)“至少”來取代“僅有”。一個(gè)擁有結(jié)果關(guān)聯(lián)的過程P生成了一個(gè)具有s1到snn個(gè)狀態(tài)的有狀態(tài)對(duì)象B40OPDP生成B P只生成s1B、s2B或s3B的其中一個(gè)圖40XOR一個(gè)擁有一個(gè)概率注釋“Pr=p”的分散事物名稱之后插入一個(gè)短語(yǔ)“具有概率P. P生成具有概率0.32的s1B，具有概率0.24的s2B, P生成具有概率0.3的A、具有概率q的B或具有概率0.44的s3B. 或具有概率0.7-q的sc1C。類似確定性案例 P僅生成s1B、s2B或s3B的其中之一 P僅生成A、B或sc1C的其中之一圖41對(duì)于一個(gè)能夠生成帶有s1sn有狀態(tài)對(duì)象B并擁有初始狀態(tài)si的具有一個(gè)結(jié)果關(guān)聯(lián)的過程PP應(yīng)創(chuàng)建一個(gè)處于si狀態(tài)具有概率1.0的B。然而，假如B擁有m，帶有m<n的初始狀態(tài)，則P應(yīng)創(chuàng)建處在初始狀態(tài)其中之一的具有概率1/m的B。OPDA需要處于s2P生成了一個(gè)具有概率為0.3的A、概率為0.2的B，概率為0.1sc1C，概率為0.25sd1D或概率為0.15的sd2D具有概率p的Pq的Q或具有概率1-p-q的RA圖 圖43示例2：44OPL路徑肉食者之后，食品準(zhǔn)備生成燉菜和牛排。圖44OPL建模者應(yīng)使用OPM（SD）內(nèi)容的事物細(xì)節(jié)。示例：圖45A可以是s1、s2、s3、s4,或s5。 A可以是s1s3或其它狀態(tài)P將A從s1變成s3.P將A從 P將A從s1變?yōu)閟3。圖45一個(gè)具有表全部狀態(tài)（左）和一個(gè)部分抑制版本(右）化物都應(yīng)具有一個(gè)粗略的輪廓。用于新圖OPD、其中可細(xì)化物具有n個(gè)細(xì)化物的相應(yīng)OPL句子應(yīng)是：可細(xì)化物展開至細(xì)化物1、注1：可將展開更精確指定為部分-展開、特征-展開、特化-展開以及實(shí)例-展開（A.4.7.2）OPD注4：注5：13.2.2。然而，涉及程序關(guān)聯(lián)注1：OPDOPD（見A.4.7.4）放大過程的關(guān)聯(lián)情景應(yīng)是可細(xì)化物、其子過程、屬性和如OPD中所描繪的關(guān)聯(lián)。示例1：46SDSD1代理處理P過程。AB代理處理A子過程。圖46示例2：4729圖47注2：OPDOPD，然后再回到過程去。（）示例：48OPDOPD清洗影響產(chǎn)品 結(jié)束影響產(chǎn)品清洗調(diào)用涂層 圖48調(diào)用關(guān)聯(lián)（左側(cè)）和隱式調(diào)用關(guān)聯(lián)（右側(cè)示例：49A、（B，C），D，（E，F(xiàn)，G）。BCA.完成時(shí)開始，DB、C、E，F(xiàn)G在DE、FG過程放大至A，平行的B和C,D，平行的E、F和G圖49表24表24名 語(yǔ) OPD和OPL例 來 目

啟動(dòng)過程，其橢圓形頂部置于啟動(dòng)過程的橢圓形并行隱式調(diào)用

B一旦子過程A結(jié)

A和B

頂點(diǎn)置于一組啟動(dòng)橢圓形頂點(diǎn)處于（容差范），并置于啟于相同高度（一個(gè)動(dòng)過程橢圓頂點(diǎn)預(yù)定公差范圍內(nèi)A且并行至BCA處理PP需要BPP1、P2和P3PP1、P2和P3AP1、P2P3。P1,P2P3需要B圖50注：心。OMOPLP1消耗C”、“P2消耗C”和“P3CP1CP2或P3，CP2P3C。同樣，BOPD通過指定PC以及哪一個(gè)來生成B（P2）來描繪有效關(guān)聯(lián)。A處理PP需要DPP1、P2和P3P消耗C.。–無效!PBP3影響B(tài)A處理PP需要DPP1、P2和P3P1消耗C。P2生成BP3影響B(tài)圖51注2：BPP1P2P1P251一個(gè)來自系統(tǒng)的對(duì)象或狀態(tài)的事件關(guān)聯(lián)不應(yīng)從該過程的外側(cè)跨越一個(gè)放大過程的邊界以啟動(dòng)其在（14..3.變P2s2As1或s2P將A從s1變?yōu)閟2A可以是s1或s2PP1和P2，以此排序。P將A從s1變?yōu)閟2。A可以是s1或s2P放大至P1和P2P1將A從s1進(jìn)行了改變。P2將A變?yōu)閟2。圖5225總結(jié)了拆分輸入-輸出-表25OPD和OPLP1As1P2As2。注1：注2：OPDOPDOPDOPDOPDSD:洗碗系 家庭用戶處理洗碗 洗碗需要洗碗機(jī) 洗碗消耗肥皂 SD1洗碗放大 洗碗放大至裝載、洗滌液加入、洗滌和烘干以及碗碟卸載這種順序。 碗碟裝載將洗碗機(jī)從空狀態(tài)變?yōu)闈M狀態(tài)。洗碗機(jī)可為空或滿 圖53B處于從其輸入狀態(tài)到其輸出狀態(tài)之間的轉(zhuǎn)換：也就是它已經(jīng)離開其輸入狀態(tài)，但尚未到達(dá)由于聚合-異步過程細(xì)化的建模應(yīng)通過過程的圖內(nèi)聚合展開或作為一個(gè)新圖聚合展開來使用聚合-分散基本OPD圖54過程的父對(duì)象過程圖(OPD)指向子對(duì)象過程圖（OPD）,該子對(duì)象過程圖通過用于同步子過程的新圖放大或用于異步子過程的新圖聚合展開詳細(xì)闡述了一個(gè)對(duì)象過程圖（OPD）中的可細(xì)化過程。對(duì)象過程圖（OPD）注：OPMOPMSD應(yīng)只包含一個(gè)OPD一個(gè)OPD細(xì)化的PL句子應(yīng)是一個(gè)描述tirN層OPD中的可細(xì)化物與terN+1層細(xì)化OPD之間的細(xì)化關(guān)系的O一個(gè)展開OPD細(xì)化的OPL句子的語(yǔ)法應(yīng)為：TierNOPD標(biāo)簽是由TierN+1OPD標(biāo)簽中的展開可細(xì)注1：OPLOPDOPLOPL示例：2653OPMOPL表26OPLSDSDSD1inSD1SD1OPMOPDOPDOPDOPDOPDA從s1s2”這個(gè)事實(shí)，因?yàn)楹笳叩氖聦?shí)是一個(gè)細(xì)化，而非前者的一個(gè)矛盾?？s小會(huì)將相關(guān)事物的集合體以及細(xì)化物和相關(guān)的關(guān)聯(lián)抽象為一個(gè)可細(xì)化物。當(dāng)建模者實(shí)施抽象化OPOPSD1被縮小到SD圖55表27P1BP2與P27到關(guān)到P2底行PB與P，則B在表27B-P2圖56將程序非控制關(guān)聯(lián)的語(yǔ)義強(qiáng)度進(jìn)行一個(gè)總結(jié)的話，優(yōu)先級(jí)的優(yōu)先級(jí)首要順序應(yīng)為：消耗=結(jié)果>附錄EBNFOPL的細(xì)節(jié)，OPLISOIEC14977：1996的OPL613條款/EBNF區(qū)分開來。EBNF*repetition--except-,concatenate-=defining-;terminator-?first-quote-symbol?second-quote-symbol(*start-comment-symbolend-comment-symbol*)(start-group-symbolend-group-symbol)[start-option-symbolend-option-symbol{start-repeat-symbolend-repeat-symbol?special-sequence-symbol注3：第一個(gè)引號(hào)-OPLOPDOPL句子中的名稱和值。這A.3.2中找到。注4：第二個(gè)引號(hào)-OPLOPD中的連接標(biāo)簽的單詞和注5：A.3.2AISOIEC14977：1996(*RegionOPLEBNF(*區(qū)域基本申明:nonzerodigit=?1?|?2?|?3?|?4?|?5?|?6?|?7?|?8?|?9?;decimaldigit=?0?|nonzerodigit;positiveinteger=nonzerodigit,{decimaldigit}positiverealnumber={decimaldigit},?.?,decimaldigit,{decimaldigit};uppercaseletter=?A?|?B?|?C?|?D?|?E?|?F?|?G?|?H?|?I?|?J?|?K?|?L?|?M?|?N?|?O?|?P?|?Q?|?R?|?S?|?T?|?U?|?V?|?W?|?X?|?Y?|?Z?lowercaseletter=?a?|?b?|?c?|?d?|?e?|?f?|?g?|?h?|?i?|?j?|?k?|?l?||?n?|?o?|?p?|?q?|?r?|?s?|?t?|?u?|?v?|?w?|?x?|?y?|?z?letter=uppercaseletter|lowercaseletter;stringcharacter=letter|decimaldigit|?_?|?-?|?&?||??*注：一個(gè)串字符可是一個(gè)空格 ={stringcharacter={stringcharacter=??noncapitalizedword|capitalizedword?|?|number|?enumerated?;prefix=?unsigned?;numbertype=[prefix],?|?|?|?long?分散限制參與限制=positiveinteger|positivereal=lower|upper|lower|upper|(?0?|participationlimit,[?to?,participationlimit])?where?namelogicaloperationvaluename|(logicalbeginset,(name|valuename),{?,?,[(name|valuename)]},logicalendset));lowersingle=?a?|?an?|?anoptional?|?atleastone?;uppersingle=?A?|?An?|?Anoptional?|?Atleastone?;lowerplural=?optional?|?many?;upperplural=?Optional?|?Many?rangeclause=?is?,valuename|?rangesfrom?,valuename,?to?,valuename;logicaloperation=?=?|?<?|?>?|?<=?|?>=?;logicalbeginset=?in{?;logicalendset=?}?;(**)(*OPL陳述中所保留的字和符號(hào)由第二個(gè)引用符號(hào)限定*)(*EndRegion:基本申明OPL(*newline測(cè)量單位=?任何指定或通常所理解的時(shí)間、空間、數(shù)量或質(zhì)量的測(cè)量?;單數(shù)對(duì)象名稱=？大寫單數(shù)名詞短語(yǔ)?; (*見6.1.2*)pluralobjectname=?capitalizedpluralnounphrase?;capitalizedgerundphrase|capitalizedsingularnounphrasepluralprocessnamecapitalizedgerundphrase|capitalizedpluralnounphrase*parentOPD=?OPDfromwhichanew-diagramin-zoomingornewdiagramunfoldingoccurs?;childOPD=?OPDresultingfromanew-diagramin-zoomingornewdiagramunfolding?;maxdurationtimeunits=?valueofmaximumdurationintimeunitsforprocessexecution?;mindurationtimeunits=?valueofminimumdurationintimeunitsforprocessexecution?;(*EndRegion:SpecialSequences*)OPL(*RegionOPLdocumentOPLOPL句子newlineOPLsentenceOPL句子=OPL形式化句子,?.?;OPL=|||上下文管理句子(*區(qū)域:–singularobjectname?in?measurementunit][range|singularobjectname,?object?,[?in?,measurementunit],[range|pluralobjectname,[?in?,measurementunit],[range|pluralobjectname,?objects?,[?in?,measurementunit],[rangeclause]singularprocess|singularprocessname,?|pluralprocess|pluralprocessname,?processes?object|processidentifier (*6.16.2noncapitalizedwordtagexpression=noncapitalizedphrase;(*EndRegion:Identifiers*)(*區(qū)域:–該區(qū)域定義了不同的列表：對(duì)象列表、過程列表、具有可選狀態(tài)列表的對(duì)象=|processidentifier,[{?,?,processidentifier}],?and?,processidentifier; (*see11.1*)processOrlist=processidentifier,[{?,?,processidentifier}],?or?,processidentifier;processXorlistatbeginning=?Oneof?,processOrlist;processXorlistatend=?oneof?,processOrlist;objectlist=object|objectidentifier,[{?,?,objectidentifier}],?and?,objectidentifier (*see11.1stateidentifier??]objectidentifier(*OPL=|具有可選狀態(tài)的對(duì)象{??objectwithoptionalstate?and?,objectwithoptionalstate對(duì)象Or列表=objectwithoptionalstate,[{?,?,objectwithoptionalstate}],?or?,objectwithoptionalstate; (*see11.2*)Or無狀態(tài)列表objectidentifier??objectidentifier?or?objectidentifierXor列表=?Oneof?,objectOrlist;Xor?oneof?objectOrlist結(jié)Xor列表=?oneof?,objectlist;state|stateidentifier,[{?,?,stateidentifier}],?and?,stateidentifierstateOrlist=stateidentifier,[{?,?,stateidentifier}],?or?,stateidentifier;stateXorlistatend=?oneof?,stateOrlist;(*EndRegion:Lists(*Region:–該區(qū)域定義了所有事物描述的句子*)事物描述句子=通用屬性句子||狀態(tài)描述句子?is?essenceaffiliationperseverance (*6.3.3本質(zhì)=?Informatical?|?Physical?; (*物理是本質(zhì)的非默認(rèn)值，其默認(rèn)值為信息性的。*)隸屬=?Systemic?|?Environmental?; (*環(huán)境是所屬的非默認(rèn)值，其默認(rèn)值是系統(tǒng)性的。*)韌性=?Persistent?|?Transient?; (*瞬間是韌性的非默認(rèn)值，其默認(rèn)值為持久性。*)類型描述句子=對(duì)象標(biāo)識(shí)符,?是。。的類型 = |||組合狀態(tài)句子 (*見6.3.5=對(duì)象標(biāo)識(shí)符?is?,|objectidentifier,?canbe?,stateidentifier,[{?,?,stateidentifier}],?and?,state|objectidentifier,?canbe?,stateidentifier,[{?,?,stateidentifier}],?andotherstates?;initialstatessentence=singleinitialstatessentence|多重初始狀態(tài)句子?State?stateidentifier?of?objectidentifier?isinitial?multipleinitialstatessentence=?States?,statelist?of?,objectidentifier,?areinitial?;finalstatessentence=singlefinalstatesentence|多重最終狀態(tài)句子單個(gè)最終狀態(tài)句子=?State?,stateidentifier,?of?,objectidentifier,?isfinal?;multiplefinalstatesentence?States?statelist?of?objectidentifier?arefinal?defaultstatesentence=?State?stateidentifier,?of?,objectidentifier,?isdefault?;combinedstatesentence=objectidentifier,{?isinitially?,[stateidentifier|state{?and?,stateidentifier}],?andfinally?,stateORlist}inputstate=stateidentifier;(*thestateorstatesoftheassociatedobjectinaprocesspreconditionset*)Outputstate=stateidentifier;(*thestateorstatesoftheassociatedobjectinaprocesspostconditionset*)activeprocessidentifier=processidentifier;(*EndRegion:ThingDescription*)OPL(*區(qū)域:程序句子.–該區(qū)域定義了所有程序句子*)程序句子=轉(zhuǎn)換句子||控制句子 (*見7.1.1OPL(*區(qū)域:–=||改變句子 (*見8.1.1和8.3.3=(過程標(biāo)識(shí)符??,具有可選狀態(tài)列表的對(duì)象|消耗選擇句子 (*見8.1.2=Or|消耗Xor句子 (*見11.3Or句子=Or|Or句子消耗源Or句子=過程標(biāo)識(shí)符,?消耗至少句子。。之一?,對(duì)象或清單Or列表;消耗目標(biāo)或句子=?至少其中之一?, 過程Or列表,?消耗?,具有可選狀態(tài)的對(duì)象消耗異或句子=消耗源XOR|消耗目標(biāo)XOR句子消耗源XOR句子=過程標(biāo)識(shí)符,?僅消耗一個(gè)?,終端的對(duì)象XOR列表;消耗目標(biāo)XOR句子=?僅一個(gè)?, ?消耗?,過程標(biāo)識(shí)符?生成?,帶有選擇狀態(tài)清單的對(duì)象|結(jié)果選擇句子 (*見8.1.3=|結(jié)果Xor句子 (*見11.3resultOr=Or|Or句子Or句子=?Atleastoneof?,processOrlist?yields?,objectwithoptionalstate;resultdestinationOrsentenceprocessidentifier?yieldsatleastoneof?objectOrlistresultXorsentence=resultsourceXorsentence|結(jié)果目標(biāo)Xor句子結(jié)果源Xor?Exactly?,Xor終端列表?yields?,具有可選狀態(tài)對(duì)象;Xor=?yieldsexactly?objectXorlistatendprocessidentifier?affects?objectlist|effectselectsentence (*8.1.4=Or|Xor句子Or=Or|效果過程Or句子 (*見11.3effectOr=過程標(biāo)識(shí)符?affectsatleastoneof?objectOrlistnostateseffectprocessOrsentence=?Atleastoneof?,processOrlist,?affects?,objectidentifier;effectXorsentence=effectobjectXorsentence|effectprocessXorsentenceeffectobjectXorsentence=processidentifier,?affectsexactly?,objectnostatesXorlistatend;effectprocessXorsentence=?Exactly?,processXorlistatend,?affects?,objectidentifier;=||輸出指定更改句子 (*見8.3.3.1=(過程標(biāo)識(shí)符?更改?,入出對(duì)象更改清單|輸入輸出指定更改選擇句子 (*見8.3.3.2=|入出對(duì)象更改短句{??,入出對(duì)象更改短句?and?,入出對(duì)象更改短句=對(duì)象標(biāo)識(shí)符?from?,輸入狀態(tài)?to?,輸出狀態(tài);輸入出指定更改選擇句子=Or句子|Xor句子Or過程標(biāo)識(shí)符?更改?Or入出對(duì)象更改清單|(Or清單?更改?,入出對(duì)象更改短句|Or句子Or=入出對(duì)象更改短句{??,入出對(duì)象更改短句?Or?i入出對(duì)象更改短句Or=(過程標(biāo)識(shí)符??,對(duì)象標(biāo)識(shí)符?從?,Or清單,?到?,狀態(tài)標(biāo)識(shí)符|(過程標(biāo)識(shí)符??,對(duì)象標(biāo)識(shí)符?從?,狀態(tài)標(biāo)識(shí)符?to?stateOrlist入出特定變化XorinoutspecifiedchangeobjectXor|Xor句子|XorXorprocessidentifier,?changesoneof?,OrInoutobjectchangelist;XorprocessXorlistatbeginning?changes?,inoutobjectchangephrase;入出指定變化狀態(tài)Xor句子= processidentifier,?changes ?from?stateXorlistatend?to?,狀態(tài)標(biāo)識(shí)符|(過程標(biāo)識(shí)符,?更改?,對(duì)象標(biāo)識(shí)符,?從?,狀態(tài)標(biāo)識(shí)符,?到?, 或清單);過程標(biāo)識(shí)符?更改?,輸入對(duì)象更改清單|輸入指定變化選擇句子 (*見8.3.3.3=對(duì)象標(biāo)識(shí)符?from?inputstateinputobjectchangelist=inputobjectchange|輸入對(duì)象變化短語(yǔ){??inputobjectchangephrase?and=Or|Xor句子Orprocessidentifier?changes?Orinputobjectchangelist|(processOrlist,?changes?,inputobjectchangephrase|(processidentifier,?changes?,objectidentifier,?from?,stateOrlist)Or=輸入對(duì)象變化短語(yǔ){??inputobjectchangephrase?or?,inputobjectchangephrase;輸入指定變化Xorprocessidentifier?changesoneof?Orinputobjectchangelist|(processXorlistatbeginning,?changes?,inputobjectchangephrase|(processidentifier,?changes?,objectidentifier,?from?,stateXorlistatend)過程標(biāo)識(shí)符?changes?outputobjectchangelist|outputspecifiedchangeselectsentence (*見8.3.3.4outputobjectchange|outputobjectchangephrase,[{?,?outputobjectchangephrase}],?and?,outputobjectchangephrase;objectidentifier?to?outputstateoutputspecifiedchangeOr|outputspecifiedchangeXorsentenceOr(processidentifier?changes?Oroutputobjectchangelist|(processOrlist,?changes?,outputobjectchangelist|(processidentifier,?changes?,objectidentifier,?to?,stateOrlist)Or=outputobjectchangephrase,[{?,?,outputobjectchangephrase}],?or?,outputobjectchangephrase;輸出指定變化Xorprocessidentifier?changesoneof?Oroutputobjectchangelist|(processXorlistatbeginning,?changes?,outputobjectchangephrase|processidentifier,?changes?,objectidentifier,?to?,stateXorlistatend;(*EndRegion:Transformingsentences*)OPL(*區(qū)域:–該區(qū)域定義了代理和儀器句子以及其可能的變量*)啟用句子使能句子=代理句子|儀器句子 (*見8.2.1具有可選狀態(tài)列表的對(duì)象?處理?,|代理選擇句子 (*見8.2.2和11.3=Or|Xor句子Or=Or|Or句子Or?Atleastoneof?objectOrlist?handles?processidentifieragentdestinationOrsentence=objectwithoptionalstate,?handlesatleastoneof?,processOrlist;agentXorsentence=agentsourceXorsentence|agentdestinationXorsentenceagentsourceXorsentence=?Exactly?,objectXorlistatend,?handles?,processidentifier;agentdestinationXorsentence=objectwithoptionalstate,?handlesexactly?,processXorlistatend;processidentifier?requires?objectwithoptionalstatelist|儀器選擇句子 (*見8.2.3和11.3=Or|XorOr=Or|Or句子Or句子=processidentifier,?requiresatleastoneof?,objectOrlist;instrumentdestinationOrsentence?Atleastoneof?processOrlist?requires?,objectwithoptionalstateXorinstrumentsourceXor|instrumentdestinationXorsentence儀器源Xor句子=processidentifier,?requiresexactly?,objectXorlistatend;instrumentdestinationXorsentence?Exactly?processXorlistatend?requires?,objectwithoptionalstate;(*EndRegion:Enablingsentences*)OPL(*Region:–該區(qū)域定義了所有與系統(tǒng)中控制流相關(guān)的句子*)=(*8.5.1=|| (*見8.5.2=具有可選狀態(tài)的對(duì)象?initiates?process?,whichconsumes?,objectidentifier(*11.511.6用于連接扇的額外語(yǔ)法=|||輸出指定效果事件句子objectidentifier?initiates?processidentifier?whichaffects?,objectidentifier;入出指定效果事件句子inputstateobjectidentifier?initiates?processidentifier?,whichchanges?,inoutobjectchangephrase;inputstateobjectidentifier?initiates?processidentifier?,whichchanges?,objectidentifier,?from?,inputstate;輸出指定效果事件句子objectidentifier?inanystateinitiates?processidentifier?,whichchanges?,objectidentifier,?to?,outputstate;objectwithoptionalstate?initiatesandhandles?processidentifierobjectwithoptionalstate?initiates?processidentifier?,whichrequires?objectwithoptionalstate;=|條件使能句子=||條件效果句子 (*見8.5.3.1和8.5.3.3processidentifier?occursif?object?exists,inwhichcase?,objectidentifier,?isconsumed,?,processidentifier,?isskipped?|(?If?,objectidentifier,?existsthen?,processidentifier,?occursandconsumes?,objectidentifier,?,otherwisebypass?,processidentifier);processidentifier?occursif?object?is?,inputstate,?,inwhichcase?,objectidentifier,?isconsumed,?,processidentifier,?isskipped?|(?If?,inputstate,objectidentifier,?existsthen?,process?occursandconsumes?,objectidentifier,?,otherwisebypass?,processidentifier)=|||輸出指定條件效果句子processidentifier?occursif?object?exists,inwhichcase?,processidentifier,?affects?,object?,otherwise?,processidentifier,?isskipped?|(?If?,objectidentifier,?existsthen?,processidentifier,?occursandaffects?,objectidentifier,?,otherwisebypass?,processidentifier);processidentifier?occursifthereisinputstate,objectidentifier,?,inwhichcase?,processidentifier,?changes?,inoutobjectchangephrase,?,else?,processidentifier,?isskipped?)|(processidentifier,?occursifthereisinputstate,objectidentifier,?,inwhichcase?,processidentifier,?changesinoutobjectchangephrase,?,otherwisebypass?,processidentifier); 入指定條件效果句子=(processidentifier,?occursifthereis?,inputstate,objectidentifier,?inwhichcase?,processidentifier,?changes?,objectidentifier,?from?,Inputstate,?,else?,processidentifier,?isskipped?)|(processidentifier,?occursifthereis?,inputstate,object ?inwhichcase?,processidentifier,?changes?,objectidentifier,?from?,Inputstate,?,otherwisebypass?,processidentifier);processidentifier?occursifobjectidentifier,?exists,inwhichcase?,processidentifier,?changesobjectidentifier,?to?,outputstate,?,otherwise?,processidentifier,?isskipped?|(processidentifier,?occursif?,objectidentifier,?exists,inwhichcase?,processidentifier,?changes?,objectidentifier,?to?,outputstate,?,otherwisebypass?,processidentifier)conditionalagent|條件儀器句子 (*見8.5.3.2processidentifier?occursif?objectwithoptional?exists,else?,processidentifier,?isskipped?|(processidentifier,?occursif?,objectwithoptional?exists,elsebypass?,processidentifier)processidentifier?occursif?objectwithoptional?exists,else?,processidentifier,?isskipped?|(processidentifier,?occursif?,objectwithoptional?exists,elsebypass?,processidentifier)processidentifier?invokes?processlist|(processidentifier,?invokesitself?|調(diào)用選擇句子 (*見8.5.2.5和11.3invocationOr|Xor句子Or?Atleastoneof?processOrlist?invokes?processidentifier|(processidentifier,?invokesatleastoneof?,processOrlist)Xor=(?Exactlyoneof?,processOrlist,?invokes?,processidentifier)|(processidentifier,?invokesexactly?,processXorlistatend=|時(shí)間不足異常句子 (*見8.5.4超時(shí)異常句子=activeprocessidentifier,?occursifdurationof?,processidentifier,?exceeds?,maxdurationtimeunits;=activeprocessidentifier,?occursifdurationof?,processidentifier,?fallsshortof?,mindurationtimeunits;(*EndRegion:Controlsentences(*EndRegion:Proceduralsentences(*區(qū)域:-=|||||實(shí)例化句子 (*見9.1OPL=||forkedtaggedstructuralsentence (*9.2.110.2nullTagunidirectionalobjecttaggedstructural|nullTagunidirectionalprocesstaggedstructural|nonnullTagunidirectionalobjecttaggedstructural|nonnullTagunidirectionalprocesstaggedstructuralsentence (*9.2.210.2[participationconstraint?sourceobject,uniDirNullTag,[participationconstraint,??],destinationobject;nullTagunidirectionalprocesstaggedstructuralsentence=[participationconstraint,??],sourceprocess,uniDirNullTag,[participationconstraint,??],destinationprocess;nonnullTagunidirectionalobjecttaggedstructuralsentence=[participationconstraint,??],sourceobject,??,forwardtag,??,[participationconstraint,??],destinationobject,[expressionconstraint];participationconstraint?sourceprocess,??,forwardtag,??,[participationconstraint,??],destinationprocessforkednullTagobjecttaggedstructural|forkednullTagprocesstaggedstructural|forkednonnullTagobjecttaggedstructural|forkednonnullTagprocesstaggedstructuralsentence[participationconstraint??]sourceobject,uniDirNullTag,objecttineset;[participationconstraint??]sourceprocess,uniDirNullTag,processtineset;participationconstraint??]sourceobject??,forwardtag,??,objecttineset;participationconstraint??]source??,forwardtag,??,processtinesetobjecttineset=tineobject|((tineobject,[{?,?,tineobject}],?and?,(tineobject|?more?)),[(?,orderedby?,ordercriteria)|(?,i