【正文】 8 、米凱， XSLT的程序參考員。 / / 6 、 XML的主頁： hftp ： / / / 7 、 r. kliewer ，逆向工程， 。 4 、國際電工委員會，國際電工技術委員會的國際標準11313 ，可編程控制器，第3部分，編程語言， 1993年。zooo ） ， Nashville ，美國， 2000年10月。 八 參考文獻1 、米毛里，甲蒙蒂，和 皮茲 主編“PLC的設計 編程和代碼生成”，收錄在IEEE 會議，并在cybernefics smczooo 上出版第 2437 2 442頁。這將是在成立一個有限自動機。相應的XSL轉換和文檔對象模型的技術是作為工具，在重整過程為各種定制可視化任務。由于這個過程不會完全自動，有必要采取靈活的可視化中間步驟。在本文章中，是來解決這個任務一個方法的介紹。圖 11顯示了在圖 6中的XML教學入侵檢測系統(tǒng)特殊的可視化。圖 10顯示了相同的PLC的代碼，在圖 4他作為一個HTML文檔轉換XML文檔，顯示的圖 7使用的XSL 。指示鑒定后的XML被轉化成使用XSL轉化，取得那里的指示和身份指示后，根據(jù)該行動的類型提取的XML在 HTML表載列了兩欄（指示，指令編號）是在可視化的。例如在HTML中做的可視化程序 。一個巧妙的XSL可以被設計用來產(chǎn)生一個可以容易想象的轉達PLC程序的邏輯或者其他特征的HTML文件。?xml version= encOding=ISO88591 ?ILCodeBlockILRow(Instruction instructionId=39。 在本節(jié)中的例子中， （參見圖8 ） ，新的XML包含額外的根據(jù)它所代表的類型分類指示的運作屬性。這個轉變的程序，也能指示附加屬性的標記，宣布一項分類的指示到預定義類。 D. 介紹的認可 這一步，可視化的PLC程序在這個過程中使用XML確保XML文件將用于只包含有效可視化，可以用來變換，以及形成有效的另一個XML ，這是由于對鑒定指示擁有一個額外的屬性附加到指示標記。注：結構選擇的XML代表性的IL代碼是面向在工作的建議，該plcopen 。XML文件是在結構上的等級，其中的根元素是ilcodeblock是代表全PLC的代碼。通過這種轉變 獲得的XML文件是一個分層結構的文件。Kommentar :AutorErstellt : Geaendert am: B1B:ONETZWERK 1 EMPFANGEN SLAVE 3 VON MASTERNAME :EMPE39。圖 6顯示了在西門子公司名單中S5Z中PLC的代碼的書面指示。小組E節(jié)解釋了在前一階段期間不同的XMLS的可視化取得的成績。2. XML的的可行性和確定了語法的XML的XML架構， XML文件顯示的生成顯示了不同方面的PLC程序，實現(xiàn)了在以下三個步驟（參見圖5 ） ： 五 方法的可視化OFPLC程序 由于Instruction List (IL)是在歐洲最常用的PLC編程語言，現(xiàn)在展示的介紹的做法是在此基礎上的語言。在其他的話架構提供了更豐富和更強大的方式描述的信息，比什么是可能的與DTDS 。W3C XML Schema的語言重復了重要的功能DTDS ，并增加了一些特點。該定義的規(guī)則在一個DTD或一個XML Schema的國家層次和結構制約的XML文件。因此，除了作為良好的形式， XML文件需要符合一套規(guī)則。當HTML被選擇作為格式轉化的產(chǎn)生的時候，是有可能使用HTML的廣泛能力來產(chǎn)生出可想象的和有吸引力的可視化程序。第二階段是格式化的新架構成所需的格式，如HTML或PDF （參見圖3 ） 。 XSLT的功能分為兩個步驟。這個程序與尊重的結構性變化XML相比文件缺乏一般性。 XML的轉型語言XSLT的是能夠不僅轉換XML到另一個XML或HTML ，還能夠轉換到許多其他友好的用戶格式。 XML被用來作為一種代表許多不同種的信息可能在不同的系統(tǒng)中存儲以及許多傳統(tǒng)上，這將被看作是數(shù)據(jù)而不是作為文件。它定義的邏輯結構文件和文件的方式訪問和操縱。因此， XML的解析器也可以吧XML文件在一個抽象的代表性換成以所謂的文檔對象模型（ DOM ） ，不需使用語法。 使用XML的最有前途的方面，就是XML及其應用的互補性轉變?yōu)闃藴驶?，以便給它的用戶提供最大的靈活性。雙方掃描器和分析器將使用的這種方法是面向文件的，這就意味著，分析不同類型的文件，需要重新生成的代碼為掃描儀和分析器。 常規(guī)的程序代碼分析方法需要一個掃描儀（詞法分析儀）由剖析器檢查語法結構的代碼產(chǎn)生了一套終端符號（令牌），并生成一個對象網(wǎng)。它是專門設計用于支持從根本上使用不同形式的數(shù)據(jù)的系統(tǒng)之間的信息交流，例如民航處及調度之間的應用。一些行業(yè)和學科、醫(yī)療記錄及報紙出版，其中已使用XML交換信息，可以跨多個平臺來應用。充滿了SGML的復雜性，他的語法，讓許多強大的并且努力到計劃方案到了另一個方向。由萬維網(wǎng)協(xié)會（ W3C ）裁定（W3C）作為一個方言SGML分支語言， XML的刪除兩個阻礙網(wǎng)絡發(fā)展[ 6 ]制約因素。XML以其強大的可視化和改造工具，成為解決這方面的工作的一種理想的工具。 一個很大的可能就是這個完成編程的逆向啟動只能是一個半自動的過程，中間可視化的代碼是最重要的一點。 在此代碼基礎上的一個明智步驟轉型到一個正式的模型（自動機）正在計劃之中。 這種轉變提供了取得avendor獨立規(guī)格代碼優(yōu)勢。這種新格式將緩解形式化的工具，使之成為 PLC項目的所有相關的信息。這亦是其中一個原因就是被限制了的形式化的做法，以單一的程序或算法。 其中在IEC 61 1313中出現(xiàn)的一個問題就是在PLC的編程工具的工程信息中沒有一個標準化的格式。 順序功能圖（SFC）是一個圖形化的語言。在這種語言中，控制器被認為是可在功能塊之間流動的信號和數(shù)據(jù)。圣包含一個現(xiàn)在編程語言多要求的所有要素。 結構化文本（ ST）是一個非常強大的高層次的語言。 梯形圖(L0)是一種被認為起源于于美國的圖形語言。第三部分，定義了一個適合5種編程語言標準： Originated (IL)語言是一種低層次的文本語言, 其結構類似于匯編語言。在標準化PLC的編程語言之前，正在制定為了個別PLC實用的專有編程語言。 IEC61131是為工業(yè)自動化第一次真正的努力來規(guī)范PLC的編程語言。 二 PLC和IEC 61131 自從七十年代初期公布于世，由于它的成功的完成目的，取代了機器上的硬連線控制設備，PLC日益受到重視。第五部分提出了應用XML的使PLC程序可視化的方法并用一個例子做出說明。PLC代碼轉型成為一個獨立的格式被確定為在這個過程中重要的第一步。首先，簡單的介紹了PLC（根據(jù)國際電工委員會611313的標準是給予）和相應的編程技巧。本文章提供了一個方法，使用XML使PLC程序可視化，讓PLC程序工程師更容易把握方向和更好地了解。而重用的PLC守則正在建立，作為一種打擊復雜PLC程序的工具，逆向工程在今后幾年將得到越來越多的重要性，特別是如果現(xiàn)有的硬件被適用于各種不同程序環(huán)境的新硬件所取代的情況下。其中一個重要的領域就是已經(jīng)在最近的時間成長在規(guī)范化的PLC程序是逆向工程[ 3 ] 。由于在有限的時間里PLCD的發(fā)展應用日益復雜，現(xiàn)有的軟件或PLC的模塊也在迅速發(fā)展，以此，需要一個正式的辦法加以規(guī)范 。PLC控制有著極大的不同，自動化應用范圍的復雜性從一個簡單的小組運作到控制一個會議室的的燈光和自動窗成為一個全自動化的生產(chǎn)線。應用PLC的目的是控制某一特定的或可選擇的過程，它是通過產(chǎn)生的電控制信號回應電器中相關的輸出信號來實現(xiàn)的。這表明如何XML和相應的技術可用于形式化和可視化現(xiàn)有的PLC程序。該文章概述了基于形式化的PLC程序基礎上從新啟動的方法。不過，現(xiàn)有的軟件已被優(yōu)化，改變。形式化方法，讓僵化的證明系統(tǒng)屬性被核查和驗證。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. VII. AKNOWLDGMENTWe would like to express gratitude to the “StiAung RheinlandPfalz fir Innovation” for sponsoring our work under project number 616.VIII. REFERENCES1. L. Baresi, M. Mauri, A. Monti, and M. Pezze, “PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers”, in. IEEEConference on Systems, Man, and Cybernefics (SMCZOOO), Nashville, USA, Oct. 2000, pp. 2437 2442.2. G. Frey and L. Litz, “Formal methods in PLC programming”, in IEEE Con on Systems, Man and Cybernetics (SMC’ZOOO), Nashville, USA, Oct. 2000, pp.24312436.3. M. Bani Younis and G. Frey, “Formalization of Existing PLC Programs: A Survey.“, in CESA 2003, Lille (France), Paper No. S2R000239, July 2003.4. International Electrotechnical Commission