【正文】 。這將是在成立一個有限自動機。相應的 XSL轉換和文檔對象模型的技術是作為工具，在重整過程為各種定制可視化任務。由于這個過程不會完全自動，有必要采取靈活的可視化中間步驟。在本文章中，是來解決這個任務一個方法的介紹。圖 11顯示了在 圖 6中的 XML教學入侵檢測系統(tǒng)特殊的可視化。 圖 10顯示了相同的 PLC的代碼，在圖 4他作為一個 HTML文檔轉換 XML文檔，顯示的圖 7使用的 XSL 。 指示鑒定后的 XML被轉化成使用 XSL轉化，取得那里的指示和身份指示后，根據(jù)該行動的類型提取的 XML在 HTML表載列了兩欄（指示，指令編號）是在可視化的。 例如在 HTML中做的可視化程序 。一個巧妙的 XSL可以被設計用來產(chǎn)生一個可以容易想象的轉達 PLC程序的邏輯或者其他特征的 HTML文件。步驟指示分為 11不同類型的操作如合乎邏輯的，跳轉，負載或轉讓的運作轉讓等等。 轉換的 XML的指示識別的證明了 XML的語義是與 PLC的編程語言的操 作類型相一致的。此屬性通知是一個有效的指示，指示是否是有關的指令集。 C、 XML驗證和 XML 架構 由于前處理，除了正在完善被確認 XML 文件，可以驗證的使用驗證解析器取得的 XML，形成符合一套句法規(guī)則所界定的背景下的 PLC 編程語言。每行的 PLC 代碼是包含在相應的ilrow 元素，這是米呃子元素。 圖 7 顯示通過 XML 文件獲得改造的 PLC。 B、 PLC程序轉換成為格式良好的 XML 由于 ASCII 格式 PLC 程序加上一個結構與單獨列地址，標簽，指示，運算和說明劃定的表格， XSLT 的可以把它轉換為格式良好的 XML 文件。圖 6 顯示了在西門子公司名單中 S5Z 中 PLC 的代碼的書面指示。小組 E 節(jié)解釋了在前一階段期間不同的XMLS 的可視化取得的成績。西門子第 5 步和標準版根據(jù)的 IEC 611313正在被考慮。圖 4 顯示了 XML 技術討論上述之間的聯(lián)系。使用 XML 的語法，例如，明確之間的關系架構和命名空間，一個有系統(tǒng)的區(qū)分元素的種類和數(shù)據(jù)類型，和單繼承的形式，類 型的推導。 近期，一些另類語言已提出， DTD 是用以界定文件文法。根據(jù) W3C 建議，這套規(guī)則已通過文件型態(tài)定義（ DTD ）或一個 XML 架構加以界定。 每一個 XML 文件都有自己的語法和詞匯。這個轉變最重要的優(yōu)勢是它允許一個可以想象的簡單而容易的文件或數(shù)據(jù)結構良好嵌入內(nèi)部結構，以了解 XML 來制作。在第一步，它執(zhí)行的結構性轉型，以便為轉換成 XML 的結構，反映了所需的輸出。 XSLT的演變，作為一個高層次的宣示性的語言， [ 9 ]對利用的觀念，習俗申請的變革都是十分相似的。前 XSLT 的來臨以前 ，改造 XML 成為任何其他格式只有通過在一個程序語言如 C + + ， Visual Basic 或 Java 定制開發(fā)的應用程序來實現(xiàn)。不過， XML 介紹了此數(shù)據(jù)文件，并且 DOM 可以用來管理這方面的數(shù)據(jù) [ 5 ] 。在 DOM 中的規(guī)格，任期 “ 文件 ” 是中被越來越多廣泛使用的意識。 DOM 的是一個應用程序編程接口（ apii ）對 HTML和格式良好的 XML 文件有效。 基于該 XML 的 方法 是十分有利的，因為詞匯的規(guī)格是不變的組成部分，因此 XML 良好的形式從各自的個別申請是獨立的。一個應用這種方法的方法的例子可以在 [ 8 ] 發(fā)現(xiàn) 。在該對象的內(nèi)部結構的程序代表的確定對象和兩者之間的關系。使用擁有強大的解析器和固有的簡單性的條款 XML，句法和語義語法比常規(guī)詞匯分析器和驗證分析器的使用更有利，（參見圖 2 .7 ） 。在一個信息獲取人可以使用各種不同的方式形式下， XML 可可裁定描述幾乎任何種類的信息。 當 HTML 描述了數(shù)據(jù)本身是怎樣顯現(xiàn)的同時， XML 描述了數(shù)據(jù)本身。依賴于一個單一的，一成 不變的文件類型（ HTML ），這種文件類型中大部分被濫用任務，這是從來沒有設計為對一方有利。 四 、 作為一種可視化工具的 XML XML （可擴展標記語言）是一種簡單而靈活的元語言，即一種描述其他 語言的語言。在過程中的不同階段，代碼或形式化模型不同方面的都必須是可視化的設計方式，只有這樣設計者才可以進一步的指導工作。這個模型可以用來進行分析，模擬仿真，正式的檢查和驗證，最終對同一PLC 或其他產(chǎn)品重新執(zhí)行該優(yōu)化算法。 （即使 PLCopen 成功地確定了一種標準化的格式為 PLC 所應用，仍將有很多現(xiàn)有的程序不符合這個標準） 。 三 、 重新設計的方法 對于重新設計所提出的態(tài)度，（參見圖 1 ）是基于認為 XML 可作為一種中間媒體語言用來改造 PLC 的代碼。不過，最近的 PLC 用戶組織 PLCopen （見 ）阻止了一個技術委員會，以確定一個基于格式 accordingto 的 IEC 611313 的 XML 項目 。目前，每個廠商都在運用他們各自的具體的不同格式。 SFC 要素的定義是為了構建可編程序控制器程序的 組織。 FBD 把換文本編程轉變?yōu)楣δ軌K編程，因而提高了模塊化和軟件重用性。 功能塊圖（ FBD）是一種圖形語言，在工業(yè)流程里是非常常見的。圣借從帕斯卡爾那里借用了它的語法，充實它的一些特點。 LDS 符合從電子及電器電路實施控制邏輯的編程風格。 Originated 語言 L 被視為 PLC 的在所有其他 IEC61 1313 語言都可以翻譯語言。為了提高不同產(chǎn)品的兼容性，開放性和互操作性以及為了促進工具和方法的發(fā)展 ,國際電工委員會 61131 標準設立固定的一套符號。在 1993國際電工委員會 [ 4 ]上公布了 IEC 61131 作為可編程控制器標準。最終它作為一個獨特的應用領域成長起來， 它的研究和開發(fā)，主要是為控制工程。最后一節(jié)總結了結果，并就今后的工作在這方面正在進行的項目做了一個前景的展望。 XML 和相應的技術，例如 XSL 和 XSLT（第四節(jié)可以使用的這種轉變）。在第 三部分，在現(xiàn)有 基礎上用形式化 PLC程序重新設計方法的介紹。 該文件的結構如下。 現(xiàn)有的 PLC 程序的可視化是逆向工程一個重要的中間步驟。逆向工程是通過評估達到了解它的運轉過程，以達到重復或加強的目的。為了確保高品質的要求，我們需要檢查和驗證程序，以及分析和模擬現(xiàn)有系統(tǒng) [ 2 ] 。 隨著他們應用 PLC 知識的增加，他們把 PLC 應用到復 雜性和品質要求高的地方，特別是對安全性要求特別嚴格的地方。應用在制造業(yè)和化工過程控制，機械加工，交通，電力分配，以及其他許多領域。 一 、 導言 可編程邏輯控制器（ PLC ）是一種特殊類型的計算機，它應用于工業(yè)和安全的關鍵地方。轉型成為一個獨立的格式和可視化的結構，在這個過程中， PLC 程序的確定是作為這項措施的重要中間步驟。因此，規(guī)范 PLC 程序是一個現(xiàn)在研究的熱點。一個傳統(tǒng)思路的方法就是在PLC 編程中設立一個正式的設計方法。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 應用方面有越來越多的興趣愛好者。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 transformed using the XSL, where the instruction and the instruction Id, obtained after extracting the XML according to the type of operations are visualized in a table containing two columns (Instruction, Instruction Id) in HTML.