【正文】 在這個計劃過程中，他們通過一個知識庫確定共同的介素的結(jié)構(gòu)和正規(guī)化， 19 / 19?；赬ML的描述PLC程序的進一步轉(zhuǎn)變，將適用于最后得出一個完全形式化描述原PLC的代碼。XML是作為一種靈活的，標準化的手段來充當數(shù)據(jù)格式來描述的PLC代碼。在給出了書面指示PLC程序的基礎(chǔ)上，在清單的通過一個明確步驟轉(zhuǎn)型為被建議的正式代表。六 結(jié)論和展望 重新設(shè)計的PLC程序需要一個正式的辦法加以發(fā)展。這可視化，更好地了解PLC程序成為可能。HTML結(jié)構(gòu)的建議，這不是唯一的可能性，其中的XML可以可視化，但他們提供一個很容易的切實可行的方案，那就是為用戶把握的PLC代碼。這可視化已經(jīng)完成XML的轉(zhuǎn)換，他作為一個表中的子元素去驗證的語法。此外， DOM的結(jié)構(gòu)在嵌入在XML中 （參見圖9 ） ，也可讓使用者用一個簡單的方法瀏覽PLC程序。Logical Operation)U/Instruction/ILROW.ILRowInstruction instructionId=Jump OperationSPB/InstructionInstruction instructionId= special Operation BE/Instruction/ILROW/ILRowFig. 8 A new transformed XML showing only the inslructions and thecorresponding instruction ID/ILCodeBlackE. 可視化的XML上述所產(chǎn)生的兩種XML文件可轉(zhuǎn)化為HTML或在XSL的幫助下轉(zhuǎn)換為其他可讀的文件。步驟指示分為11不同類型的操作如合乎邏輯的，跳轉(zhuǎn)，負載或轉(zhuǎn)讓的運作轉(zhuǎn)讓等等。 轉(zhuǎn)換的XML的指示識別的證明了XML的語義是與PLC的編程語言的操作類型相一致的。此屬性通知是一個有效的指示，指示是否是有關(guān)的指令集。C. XML驗證和XML架構(gòu) 由于前處理，除了正在完善被確認XML文件，可以驗證的使用驗證解析器取得的XML，形成符合一套句法規(guī)則所界定的背景下的PLC編程語言。每行的PLC代碼是包含在相應(yīng)的ilrow元素，這是米呃子元素。 圖 7顯示通過XML文件獲得改造的PLC。由于ASCII格式PLC程序加上一個結(jié)構(gòu)與單獨列地址，標簽，指示，運算和說明劃定的表格，XSLT的可以把它轉(zhuǎn)換為格式良好的XML文件。MAST0005 :U ABFRAGE OB EMPFANG MOEGLICH00060007 :SPB= MOOl00080009 :A DB140 EMPFANGSFACH IST DB 140OOOA :L KF+20 LAENGE DES DATENPAKETSoooc :T DLOOOOD :L KF+O ZIELNUMMER O=MASTEROOOF :T DRO00100011 : FANGEN WIEDER ERLAUBEN0012 :S 0013 MOOl :NOP 000140015 :BE BAUSTEIN ENDEFig. 6 A PLC program written in Siemens S5 Instruction ListB PLC程序轉(zhuǎn)換成為格式良好的XML 臨立會的代碼是寫在形式的地方，每列的元素，是一種地址，標簽，指示，操作和說明或評構(gòu)成的分隔清單。 在整個這一節(jié)的一個例子是用來說明所提出的概念。 這三個步驟是討論分別分節(jié)B至D。 3. 根據(jù)該指令集的來源，臨立會，轉(zhuǎn)換的XML介紹元素的定義西門子第5步和標準版根據(jù)的IEC 611313正在被考慮。圖 4顯示了XML技術(shù)討論上述之間的聯(lián)系。使用XML的語法，例如，明確之間的關(guān)系架構(gòu)和命名空間，一個有系統(tǒng)的區(qū)分元素的種類和數(shù)據(jù)類型，和單繼承的形式，類型的推導。 近期，一些另類語言已提出，DTD是用以界定文件文法。根據(jù)W3C建議，這套規(guī)則已通過文件型態(tài)定義（ DTD ）或一個XML架構(gòu)加以界定。 每一個XML文件都有自己的語法和詞匯。這個轉(zhuǎn)變最重要的優(yōu)勢是它允許一個可以想象的簡單而容易的文件或數(shù)據(jù)結(jié)構(gòu)良好嵌入內(nèi)部結(jié)構(gòu)，以了解XML來制作。在第一步，它執(zhí)行的結(jié)構(gòu)性轉(zhuǎn)型，以便為轉(zhuǎn)換成XML的結(jié)構(gòu)，反映了所需的輸出。XSLT的演變，作為一個高層次的宣示性的語言，[ 9 ]對利用的觀念，習俗申請的變革都是十分相似的。前XSLT的來臨以前 ，改造XML成為任何其他格式只有通過在一個程序語言如C + + ， Visual Basic或 Java定制開發(fā)的應(yīng)用程序來實現(xiàn)。不過， XML介紹了此數(shù)據(jù)文件，并且DOM可以用來管理這方面的數(shù)據(jù)[ 5 ] 。在DOM中的規(guī)格，任期“文件”是中被越來越多廣泛使用的意識。 DOM的是一個應(yīng)用程序編程接口（ apii ）對HTML和格式良好的XML文件有效?；谠揦ML的方法是十分有利的，因為詞匯的規(guī)格是不變的組成部分，因此XML良好的形式從各自的個別申請是獨立的。一個應(yīng)用這種方法的方法的例子可以在[ 8 ] 發(fā)現(xiàn) 。在該對象的內(nèi)部結(jié)構(gòu)的程序代表的確定對象和兩者之間的關(guān)系。使用擁有強大的解析器和固有的簡單性的條款XML，句法和語義語法比常規(guī)詞匯分析器和驗證分析器的使用更有利，（參見圖2 .7 ） 。在一個信息獲取人可以使用各種不同的方式形式下，XML可可裁定描述幾乎任何種類的信息。 當HTML描述了數(shù)據(jù)本身是怎樣顯現(xiàn)的同時， XML描述了數(shù)據(jù)本身。依賴于一個單一的，一成不變的文件類型（ HTML ），這種文件類型中大部分被濫用任務(wù)，這是從來沒有設(shè)計為對一方有利。 四 作為一種可視化工具的XML XML （可擴展標記語言）是一種簡單而靈活的元語言，即一種描述其他語言的語言。在過程中的不同階段，代碼或形式化模型不同方面的都必須是可視化的設(shè)計方式，只有這樣設(shè)計者才可以進一步的指導工作。這個模型可以用來進行分析，模擬仿真，正式的檢查和驗證，最終對同一PLC或其他產(chǎn)品重新執(zhí)行該優(yōu)化算法。 （即使PLCopen成功地確定了一種標準化的格式為PLC所應(yīng)用，仍將有很多現(xiàn)有的程序不符合這個標準） 。 三 重新設(shè)計的方法 對于重新設(shè)計所提出的態(tài)度，（參見圖1 ）是基于認為XML可作為一種中間媒體語言用來改造PLC的代碼。不過，最近的PLC用戶組織PLCopen （見 ）阻止了一個技術(shù)委員會，以確定一個基于格式accordingto的IEC 611313的XML項目 。目前，每個廠商都在運用他們各自的具體的不同格式。SFC要素的定義是為了構(gòu)建可編程序控制器程序的組織。FBD把換文本編程轉(zhuǎn)變?yōu)楣δ軌K編程，因而提高了模塊化和軟件重用性。 功能塊圖（FBD）是一種圖形語言，在工業(yè)流程里是非常常見的。圣借從帕斯卡爾那里借用了它的語法，充實它的一些特點。LDS符合從電子及電器電路實施控制邏輯的編程風格。Originated語言L被視為PLC的在所有其他IEC61 1313語言都可以翻譯語言。為了提高不同產(chǎn)品的兼容性，開放性和互操作性以及為了促進工具和方法的發(fā)展,國際電工委員會61131標準設(shè)立固定的一套符號。在1993國際電工委員會[ 4 ]上公布了IEC 61131作為可編程控制器標準。最終它作為一個獨特的應(yīng)用領(lǐng)域成長起來，它的研究和開發(fā)，主要是為控制工程。最后一節(jié)總結(jié)了結(jié)果，并就今后的工作在這方面正在進行的項目做了一個前景的展望。XML和相應(yīng)的技術(shù)，例如XSL和XSLT（第四節(jié)可以使用的這種轉(zhuǎn)變）。在第三部分，在現(xiàn)有基礎(chǔ)上用形式化PLC程序重新設(shè)計方法的介紹。 該文件的結(jié)構(gòu)如下。 現(xiàn)有的PLC程序的可視化是逆向工程一個重要的中間步驟。逆向工程是通過評估達到了解它的運轉(zhuǎn)過程，以達到重復或加強的目的。為了確保高品質(zhì)的要求，我們需要檢查和驗證程序，以及分析和模擬現(xiàn)有系統(tǒng)[ 2 ] 。 隨著他們應(yīng)用PLC知識的增加，他們把PLC應(yīng)用到復雜性和品質(zhì)要求高的地方，特別是對安全性要求特別嚴格的地方。應(yīng)用在制造業(yè)和化工過程控制，機械加工，交通，電力分配，以及其他許多領(lǐng)域。一 導言 可編程邏輯控制器（PLC ）是一種特殊類型的計算機，它應(yīng)用于工業(yè)和安全的關(guān)鍵地方。轉(zhuǎn)型成為一個獨立的格式和可視化的結(jié)構(gòu)，在這個過程中，PLC程序的確定是作為這項措施的重要中間步驟。因此，規(guī)范PLC程序是一個現(xiàn)在研究的熱點。一個傳統(tǒng)思路的方法就是在PLC編程中設(shè)立一個正式的設(shè)計方法。om the XML document shown in Fig. 7 using XSL. This visualization enables a better understanding of the PLC program. Fig. 11 shows the special visualization of instruction ids given in the XML of Fig. 6. VI. CONCLUSIONS AND OUTLOOK Reengineering of PLC programs needs a formal approach to be developed. In this paper one way to solve this task is introduced. Based on a given PLC program written in Instruction List a stepwise transformation to a formal representation is proposed. Since this process will not be fully automatic, the need for flexible visualization of intermediate steps is derived. XML is presented as a flexible, standardized means to serve as data format for the description of the PLC code. The corresponding technology of XSL transformations and the Document Object Model are presented as tools for the variety of customized visualization tasks during the reengineering process. Based on the XML description of PLC programs further transformations will be applied to finally derive a pletely formalized description of the original PLC code. This will be in the form of a finite automaton. During this process it is planned to identify mon IL structures and formalize them via a library. Gaining the Benefit of the XML Metadata Interchange (XMI) as an open industry standard that applies XML to abstract systems such as UML and referring to the classification of the instructions of IL into the eleven categories mentioned above. We can extract UML classes from this classification, as it resembles the action semantics of UML. 可視化的PLC程序使用XML摘要:由于P LC程序日益復雜,在PLC應(yīng)用方面有越來越多的興趣愛好者。s syntax as a table where the child elements of the ILRow are the columns of this table. The XML after the instruction identification is tran