【正文】 ） 。這個(gè)模型可以用來(lái)進(jìn)行分析，模擬仿真，正式的檢查和驗(yàn)證，最終對(duì)同一PLC 或其他產(chǎn)品重新執(zhí)行該優(yōu)化算法。在過(guò)程中的不同階段，代碼或形式化模型不同方面的都必須是可視化的設(shè)計(jì)方式，只有這樣設(shè)計(jì)者才可以進(jìn)一步的指導(dǎo)工作。 四 作為一種 可視化 工具的 XML XML（可擴(kuò)展 標(biāo)記語(yǔ)言）是一種簡(jiǎn)單而靈活的元語(yǔ)言，即一種描述其他語(yǔ)言的語(yǔ)言。依賴于一個(gè)單一的，一成不變的文件類型（ HTML），這種文件類型中大部分被濫用任務(wù)，這是從來(lái)沒有設(shè)計(jì)為對(duì)一方有利。 當(dāng) HTML 描述了數(shù)據(jù)本身是怎樣顯現(xiàn)的同時(shí)， XML 描述了數(shù)據(jù)本身。在一個(gè)信息獲取人可以使用各種不同的方式形式下， XML 可可裁定描述幾乎任何種類的信息。使用擁有強(qiáng)大的解析器和固有的簡(jiǎn)單性的條款 XML，句法和語(yǔ)義語(yǔ)法比常規(guī)詞匯分析器和驗(yàn)證分析器的使用更有利 。在該對(duì)象的內(nèi)部結(jié)構(gòu)的程序代表的確定對(duì)象和兩者之間的關(guān)系。一個(gè)應(yīng)用這種方法的方法的例子可以在 [8]發(fā)現(xiàn) 。 基于該 XML 的 方法 是十分有利的，因?yàn)樵~匯的規(guī)格是不變的組成部分，因此 XML 良好的形式從各自的個(gè)別申請(qǐng)是獨(dú)立的。 DOM 的是一個(gè)應(yīng)用程序編程接口（ apii） 對(duì) HTML 和格式良好的 XML 文件有效。在DOM 中的規(guī)格，任期 “ 文件 ” 是中被越來(lái)越多廣泛使用的意識(shí)。不過(guò)， XML 介紹了此數(shù)據(jù)文件，并且 DOM 可以用來(lái)管理這方面的數(shù)據(jù) [5] 。前 XSLT 的來(lái)臨以前，改造 XML 成為任何其他格式只有通過(guò)在一個(gè)程 序語(yǔ)言如 C++， Visual Basic 或 Java 定制開發(fā)的應(yīng)用程序來(lái)實(shí)現(xiàn)。 XSLT 的演變，作為一個(gè)高層次的宣示性的語(yǔ)言， [9]對(duì)利用的觀念，習(xí)俗申請(qǐng)的變革都是十分相似的。在第一步，它執(zhí)行的結(jié)構(gòu)性轉(zhuǎn)型，以便為轉(zhuǎn)換成 XML 的結(jié)構(gòu)，反映了所需的輸出。這個(gè)轉(zhuǎn)變最重要的優(yōu)勢(shì)是它允許一個(gè)可以想象的簡(jiǎn)單而容易的文件或數(shù)據(jù)結(jié)構(gòu)良好嵌入內(nèi)部結(jié)構(gòu)，以了解 XML 來(lái)制作。 每一個(gè) XML 文件都有自己的語(yǔ)法和詞匯。根據(jù) W3C 建議，這套規(guī)則已通過(guò)文件型態(tài)定義（ DTD）或一個(gè) XML 架構(gòu)加以界定。 近期，一些另類語(yǔ)言已提出， DTD 是用以界定文件文法。 使用 XML 的語(yǔ)法，例如，明確之間的關(guān)系架構(gòu)和命名空間，一個(gè)有系統(tǒng)的區(qū)分元素的種類和數(shù)據(jù)類型，和單繼承的形式，類型的推導(dǎo)。 五 方法的可視化 OFPLC 程序 由于 Instruction List (IL)是在歐洲最常用的 PLC 編程語(yǔ)言，現(xiàn)在展示的介紹的做法是在此基礎(chǔ)上的語(yǔ)言。 XML 文件顯示的生成顯示了不同方面的 PLC 程序，實(shí)現(xiàn)了在以下三個(gè)步驟 程序到 XML 文件的轉(zhuǎn)換 的的可行性和確定了語(yǔ)法的 XML 的 XML 架構(gòu)， ，臨立會(huì)，轉(zhuǎn)換的 XML 介紹元素的定義 這三個(gè)步驟是討論分別分節(jié) B 至 D。 在整個(gè)這一節(jié)的一個(gè)例子是用來(lái)說(shuō)明所提出的概念。臨立會(huì)的代碼是寫在形式的地方，每列的元素，是一種地址，標(biāo)簽，指示，操作和說(shuō)明或評(píng)構(gòu)成的分隔清單。MAST 0005 :U ABFRAGE OB EMPFANG MOEGLICH 0006 0007 :SPB= MOOl 0008 0009 :A DB140 EMPFANGSFACH IST DB 140 OOOA :L KF+20 LAENGE DES DATENPAKETS oooc :T DLO OOOD :L KF+O ZIELNUMMER O=MASTER OOOF :T DRO 0010 0011 : FANGEN WIEDER ERLAUBEN 0012 :S 0013 MOOl :NOP 0 0014 0015 :BE BAUSTEIN ENDE 圖 1 西門子公司名單中 S5Z中 PLC的代碼的書面指示 程序轉(zhuǎn)換成為格式良好的 XML 由于 ASCII 格式 PLC 程序加上一個(gè)結(jié)構(gòu)與單獨(dú)列地址，標(biāo)簽，指示，運(yùn)算和說(shuō)明劃定的表格， XSLT的可以把它轉(zhuǎn)換為格式良好的 XML文件。 通過(guò) XML 文件獲得改造的 PLC。每行的 PLC 代碼是包含在相應(yīng)的 ilrow元素，這是米呃子元素。 驗(yàn)證和 XML 架構(gòu) 由于前處理，除了正在完善被確認(rèn) XML 文件，可以驗(yàn)證的使用驗(yàn)證解析器取得的 XML，形成符合一套句法規(guī)則所界定的背景下的 PLC 編程語(yǔ)言。此屬性通知是一個(gè)有效的指示，指示是否是有關(guān)的指令集。 轉(zhuǎn)換的 XML的指示識(shí)別的證明了 XML的語(yǔ)義是與 PLC的編程語(yǔ)言的操作類型相一致的。步驟指示分為 11不同類型的操作如合乎邏輯的，跳轉(zhuǎn)，負(fù)載或轉(zhuǎn)讓的運(yùn)作轉(zhuǎn)讓等等。Logical Operation) U/Instruction /ILROW ILRow Instruction instructionId=Jump Operation SPB/Instruction Instruction instructionId= special Operation BE/Instruction /ILROW /ILRow 圖 2 XML 上述所產(chǎn)生的兩種 XML文件可轉(zhuǎn)化為 HTML或在 XSL的幫助下轉(zhuǎn)換為其他可讀的文件。此外， DOM的結(jié)構(gòu)在嵌入在 XML中，也可讓使用者用一個(gè)簡(jiǎn)單的方法瀏覽 PLC程序。這可視化已經(jīng)完成 XML的轉(zhuǎn)換，他作為一個(gè)表中的子元素去驗(yàn)證的語(yǔ)法。 HTML結(jié)構(gòu)的建議，這不是唯一的可能性，其中的 XML可以可視化，但他們提供一個(gè)很容易的切實(shí)可 行的方案，那就是為用戶把握的 PLC代碼。在本文章中，是來(lái)解決這個(gè)任務(wù)一個(gè)方法的介紹。由于這個(gè)過(guò)程不會(huì)完全自動(dòng)，有必要采取靈活的可視化中間步驟。相應(yīng)的 XSL轉(zhuǎn)換和文檔對(duì)象模型的技術(shù)是作為工具，在重整過(guò)程為各種定制可視化任務(wù)。這將是在成立一個(gè)有限自動(dòng)機(jī)。 附件 2：外文原文 Visualization of PLC Programs using XML M. Bani Younis and G. Frey 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. INTRODUCTION Programmable 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 established as a tool for bating the plexity of PLC programs, Reverse Engineering is supposed to receive increased importance in the ing years especially if exiting hardware has to be replaced by new hardware with different programming environments Visualization of existing PLC programs