【正文】 這將是在成立一個(gè)有限自動(dòng)機(jī)。相應(yīng)的 XSL轉(zhuǎn)換和文檔對象模型的技術(shù)是作為工具，在重整過程為各種定制可視化任務(wù)。由于這個(gè)過程不會(huì)完全自動(dòng)，有必要采取靈活的可視化中間步驟。在本文章中，是來解決這個(gè)任務(wù)一個(gè)方法的介紹。圖 11顯示了在圖 6中的 XML教學(xué)入侵檢測系統(tǒng)特殊的可視化。 圖 10顯示了相同的 PLC的代碼，在圖 4他作為一個(gè) HTML文檔轉(zhuǎn)換 XML文檔，顯示的圖 7使用的 XSL 。 指示鑒定后的 XML被轉(zhuǎn)化成使用 XSL轉(zhuǎn)化，取得那里的指示和身份指示后，根據(jù)該行動(dòng)的類型提取的 XML在 HTML表載列了兩欄（指示，指令編號）是在可視化的。 例如在 HTML中做的可視化程序 。一個(gè)巧妙的 XSL可以被設(shè)計(jì)用來產(chǎn)生一個(gè)可以容易想象的轉(zhuǎn)達(dá) PLC程序的邏輯或者其他特征的 HTML文件。 ?xml version= encOding=ISO88591 ? ILCodeBlock ILRow (Instruction instructionId=39。 在本節(jié)中的例子中， （參見圖 8 ） ，新的 XML包含額外的根據(jù)它所代表的類型分類指示的運(yùn)作屬性。這個(gè)轉(zhuǎn)變的程序，也能指示附加屬性的標(biāo)記，宣布一項(xiàng)分類的指示到預(yù)定義類。 D. 介紹的認(rèn)可 這一步，可視化的 PLC程序在這個(gè)過程中使用 XML確保 XML文件將用于只包含有效可視化，可以用來變換，以及形成有效的另一個(gè) XML ，這是由于對鑒定指示擁有一個(gè)額外的屬性附加到指示標(biāo)記。注：結(jié)構(gòu)選擇的 XML 代表性的 IL 代碼是面向在工作的建議，該 plcopen 。 XML 文件是在結(jié)構(gòu)上的等級，其中的根元素是 ilcodeblock 是代表全 PLC 的代碼。通過這種轉(zhuǎn)變 獲得的 XML 文件是一個(gè)分層結(jié)構(gòu)的文件。 Kommentar : Autor Erstellt : Geaendert am: B1B:O NETZWERK 1 EMPFANGEN SLAVE 3 VON MASTER NAME :EMPE39。圖 6 顯示了在西門子公司名單中 S5Z 中 PLC 的代碼的書面指示。小組 E 節(jié)解釋了在前一階段期間不同的XMLS 的可視化取得的成績。西門子第 5 步和標(biāo)準(zhǔn)版根據(jù)的 IEC 611313正在被考慮。圖 4 顯示了 XML 技術(shù)討論上述之間的聯(lián)系。使用 XML 的語法，例如，明確之間的關(guān)系架構(gòu)和命名空間，一個(gè)有系統(tǒng) 的區(qū)分元素的種類和數(shù)據(jù)類型，和單繼承的形式，類型的推導(dǎo)。 近期，一些另類語言已提出， DTD 是用以界定文件文法。根據(jù) W3C 建議，這套規(guī)則已通過文件型態(tài)定義（ DTD ）或一個(gè) XML 架構(gòu)加以界定。 每一個(gè) XML 文件都有自己的語法和詞匯。這個(gè)轉(zhuǎn)變最重要的優(yōu)勢是它允許一個(gè)可以想象的簡單而容易的文件或數(shù)據(jù)結(jié)構(gòu)良好嵌入內(nèi)部結(jié)構(gòu)，以了解 XML 來制作。在第一步，它執(zhí)行的結(jié)構(gòu)性轉(zhuǎn)型，以便為轉(zhuǎn)換成 XML 的結(jié)構(gòu)，反映了所需的輸出。 XSLT的演變，作為一個(gè)高層次的宣示性的語言， [ 9 ]對利用的觀念，習(xí)俗申請的變革都是十分相似的。前 XSLT 的來臨以前 ，改造 XML 成為任何其他格式只有通過在一個(gè)程序語言如 C + + ， Visual Basic 或 Java 定制開發(fā)的應(yīng)用程序來實(shí)現(xiàn)。不過， XML 介紹了此數(shù)據(jù)文件，并且 DOM 可以用來管理這方面的數(shù)據(jù) [ 5 ] 。在 DOM 中的規(guī)格，任期 “ 文件 ” 是中被越來越多廣泛使用的意識。 DOM 的是一個(gè)應(yīng)用程序編程接口（ apii ）對 HTML和格式良好的 XML 文件有效。 基于該 XML 的 方法 是十分有利的，因?yàn)樵~匯的規(guī)格是不變的組成部分，因此 XML 良好的形式從各自的個(gè)別申請是獨(dú)立的。一個(gè)應(yīng)用這種方法的方法的例子可以 在 [ 8 ] 發(fā)現(xiàn) 。在該對象的內(nèi)部結(jié)構(gòu)的程序代表的確定對象和兩者之間的關(guān)系。使用擁有強(qiáng)大的解析器和固有的簡單性的條款 XML，句法和語義語法比常規(guī)詞匯分析器和驗(yàn)證分析器的使用更有利，（參見圖 2 .7 ） 。在一個(gè)信息獲取人可以使用各種不同的方式形式下， XML 可可裁定描述幾乎任何種類的信息。 當(dāng) HTML 描述了數(shù)據(jù)本身是怎樣顯現(xiàn)的同時(shí)， XML 描述了數(shù)據(jù)本身。依賴于一個(gè)單一的，一成不變的文件類型（ HTML ），這種文件類型中大部分被濫用任務(wù)，這是從來沒有設(shè)計(jì)為對一方有利。 四 作為一種 可視化 工具的 XML XML （可擴(kuò)展標(biāo)記語言）是一種簡單而靈活的元語言，即一種描述其他 語言的語言。在過程中的不同階段，代碼或形式化模型不同方面的都必須是可視化的設(shè)計(jì)方式，只有這樣設(shè)計(jì)者才可以進(jìn)一步的指導(dǎo)工作。這個(gè)模型可以用來進(jìn)行分析，模擬仿真，正式的檢查和驗(yàn)證，最終對同一PLC 或其他產(chǎn)品重新執(zhí)行該優(yōu)化算法。 （即使 PLCopen 成功地確定了一種標(biāo)準(zhǔn)化的格式為 PLC 所應(yīng)用，仍將有很多現(xiàn)有的程序不符合這個(gè)標(biāo)準(zhǔn)） 。 三 重新 設(shè)計(jì)的方法 對于重新設(shè)計(jì)所提出的態(tài)度，（參見圖 1 ）是基于認(rèn)為 XML 可作為一種中間媒體語言用來改造 PLC 的代碼。不過，最近的 PLC 用戶組織 PLCopen （見 ）阻止了一個(gè)技術(shù)委員會(huì)，以確定一個(gè)基于格式 accordingto 的 IEC 611313 的 XML 項(xiàng)目 。目前，每個(gè)廠商都在運(yùn)用他們各自的具體的不同格式。 SFC 要素的定 義是為了構(gòu)建可編程序控制器程序的組織。 FBD 把換文本編程轉(zhuǎn)變?yōu)楣δ軌K編程，因而提高了模塊化和軟件重用性。 功能塊圖（ FBD）是一種圖形語言，在工業(yè)流程里是非常常見的。圣借從帕斯卡爾那里借用了它的語法，充實(shí)它的一些特點(diǎn)。 LDS 符合從電子及電器電路實(shí)施控制邏輯的編程風(fēng)格。 Originated 語言 L 被視為 PLC 的在所有其他 IEC61 1313 語言都可以翻譯語言。為了提高不同產(chǎn)品的兼容性，開放性和互操作性以及為了促進(jìn)工具和方法的發(fā)展 ,國際電工委員會(huì) 61131 標(biāo)準(zhǔn)設(shè)立固定的一套符號。在 1993國際電工委員會(huì) [ 4 ]上公布了 IEC 61131 作為可編程控制器標(biāo)準(zhǔn)。最終它作為一個(gè)獨(dú)特的應(yīng)用領(lǐng)域成長起來，它的研究和開發(fā)，主要是為控制工程。最后一節(jié)總結(jié)了結(jié)果，并就今后的工作在這方面正在進(jìn)行的項(xiàng)目做了一個(gè)前景的展望。 XML 和 相應(yīng)的技術(shù)，例如 XSL 和 XSLT（第四節(jié)可以使用的這種轉(zhuǎn)變）。在第 三部分，在現(xiàn)有 基礎(chǔ)上用形式化 PLC程序重新設(shè)計(jì)方法的介紹。 該文件的結(jié)構(gòu)如下。 現(xiàn)有的 PLC 程序的可視化是逆向工程一個(gè)重要的中間步驟。逆向工程是通過評估達(dá)到了解它的運(yùn)轉(zhuǎn)過程，以達(dá)到重復(fù)或加強(qiáng)的目的。為了確保高品質(zhì)的要求，我們需要檢查和驗(yàn)證程序，以及分析和模擬現(xiàn)有系統(tǒng) [ 2 ] 。 隨著他們應(yīng)用 PLC 知識的增 加，他們把 PLC 應(yīng)用到復(fù)雜性和品質(zhì)要求高的地方，特別是對安全性要求特別嚴(yán)格的地方。應(yīng)用在制造業(yè)和化工過程控制，機(jī)械加工，交通，電力分配，以及其他許多領(lǐng)域。 一 導(dǎo)言 可編程邏輯控制器（ PLC ）是一種特殊類型的計(jì)算機(jī)，它應(yīng)用于工業(yè)和安全的關(guān)鍵地方。轉(zhuǎn)型成為一個(gè)獨(dú)立的格式和可視化的結(jié)構(gòu)，在這個(gè)過程中， PLC 程序的確定是作為這項(xiàng)措施的重要中間步驟 。因此，規(guī)范 PLC 程序是一個(gè)現(xiàn)在研究的熱點(diǎn)。一個(gè)傳統(tǒng)思路的方法就是在PLC 編程中設(shè)立一個(gè)正式的設(shè)計(jì)方法。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 程序日益復(fù)雜 ,在 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 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. The HTML structures suggested here are not the onl y possibilities, with which the XML can be visualized, but they give a very easy practical option for the user39。MAST 0005 :U ABFRAGE OB EMPFANG MOEGLICH 0006 0007 :SPB= MOOl 0008 0009 :A DB140 EMPFANGSFACH IST DB 140 OO