【正文】 在本文章中，是來解決這個任務一個方法的介紹。這個轉(zhuǎn)變的程序，也能指示附加屬性的標記，宣布一項分類的指示到預定義類。小組E節(jié)解釋了在前一階段期間不同的XMLS的可視化取得的成績。W3C XML Schema的語言重復了重要的功能DTDS ，并增加了一些特點。 XML被用來作為一種代表許多不同種的信息可能在不同的系統(tǒng)中存儲以及許多傳統(tǒng)上，這將被看作是數(shù)據(jù)而不是作為文件。充滿了SGML的復雜性，他的語法，讓許多強大的并且努力到計劃方案到了另一個方向。 其中在IEC 61 1313中出現(xiàn)的一個問題就是在PLC的編程工具的工程信息中沒有一個標準化的格式。 IEC61131是為工業(yè)自動化第一次真正的努力來規(guī)范PLC的編程語言。由于在有限的時間里PLCD的發(fā)展應用日益復雜，現(xiàn)有的軟件或PLC的模塊也在迅速發(fā)展，以此，需要一個正式的辦法加以規(guī)范 。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. Visualization of XMLBoth of the XML documents generated above can be transformed into HTML or other readable documents with the help of XSL. An ingenious XSL can be designed so as to produce an HTML which can convey the logical and other features of the PLC program in an easily conceivable form. Moreover, the DOM structure embedded in the XML (cf. Fig. 9), also enables the user to navigate through the PLC programs in an easy way.For the example the visualization is done in HTML. This visualization is done for the transformed XML after the validation of it39。一個傳統(tǒng)思路的方法就是在PLC編程中設立一個正式的設計方法。 現(xiàn)有的PLC程序的可視化是逆向工程一個重要的中間步驟。Originated語言L被視為PLC的在所有其他IEC61 1313語言都可以翻譯語言。 三 重新設計的方法 對于重新設計所提出的態(tài)度，（參見圖1 ）是基于認為XML可作為一種中間媒體語言用來改造PLC的代碼。使用擁有強大的解析器和固有的簡單性的條款XML，句法和語義語法比常規(guī)詞匯分析器和驗證分析器的使用更有利，（參見圖2 .7 ） 。XSLT的演變，作為一個高層次的宣示性的語言，[ 9 ]對利用的觀念，習俗申請的變革都是十分相似的。西門子第5步和標準版根據(jù)的IEC 611313正在被考慮。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 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)換為其他可讀的文件?；赬ML的描述PLC程序的進一步轉(zhuǎn)變，將適用于最后得出一個完全形式化描述原PLC的代碼。HTML結(jié)構(gòu)的建議，這不是唯一的可能性，其中的XML可以可視化，但他們提供一個很容易的切實可行的方案，那就是為用戶把握的PLC代碼。每行的PLC代碼是包含在相應的ilrow元素，這是米呃子元素。 3. 根據(jù)該指令集的來源，臨立會，轉(zhuǎn)換的XML介紹元素的定義 每一個XML文件都有自己的語法和詞匯?；谠揦ML的方法是十分有利的，因為詞匯的規(guī)格是不變的組成部分，因此XML良好的形式從各自的個別申請是獨立的。在過程中的不同階段，代碼或形式化模型不同方面的都必須是可視化的設計方式，只有這樣設計者才可以進一步的指導工作。 功能塊圖（FBD）是一種圖形語言，在工業(yè)流程里是非常常見的。XML和相應的技術(shù)，例如XSL和XSLT（第四節(jié)可以使用的這種轉(zhuǎn)變）。一 導言 可編程邏輯控制器（PLC ）是一種特殊類型的計算機，它應用于工業(yè)和安全的關鍵地方。Visualization of PLC Programs using XMLM. Bani Younis and G. FreyJuniorprofessorship Agentenbased AutomationUniversity of KaiserslautemP. 0. Box 3049, D67653 Kaiserslautem, Germany Abstract Due to the growing plexity of PLC programs there is an increasing interest in the application of formal methods in this area. Formal methods allow rigid proving of system properties in verification and validation. One way to apply formal methods is to utilize a formal design approach in PLC programming. However, for existing software that has to be optimized, changed, or ported to new systems .There is the need for an approach that can start from a given PLC program. Therefore, formalization of PLC programs is a topic of current research. The paper outlines a reengineering approach based on the formalization of PLC programs. The transformation into a vendor independent format and the visualization of the structure of PLC programs is identified as an important intermediate step in this process. It is shown how XML and corresponding technologies can be used for the formalization and visualization of an existing PLC program. I. INTRODUCTIONProgrammable Logic Controllers (PLCs) are a special type of puters that are used in industrial and safety critical applications. The purpose of a PLC is to control a particular process, or a collection of processes, by producing electrical control signals in response to electrical process related inputs signals. The systems controlled by PLCs vary tremendously, with applications in manufacturing, chemical process control, machining, transportation, power distribution, and many other fields. Automation applications can range in plexity from a simple panel to operate the lights and motorized window shades in a conference room to pletely automated manufacturing lines.With the widening of their application horizon， PLC programs are being subject to increased plexity and high quality demands especially for safetycritical applications. The growing plexity of the applications within the pliance of limited development time as well as the reusability of existing software or PLC modules requires a formal approach to be developed [I]. Ensuring the high quality demands requires verification and validation procedures as well as analysis and simulation of existing systems to be carried out [2]. One of the important fields for the formalization of PLC programs that have been growing up in recent time is Reverseengineering [3]. Reverse Engineering is a process of evaluating something to understand how it works in order to duplicate or enhance it. While the reuse of PLC codes is being e