【正文】 在這個(gè)計(jì)劃過(guò)程中，他們通過(guò)一個(gè)知識(shí)庫(kù)確定共同的介素的結(jié)構(gòu)和正規(guī)化， 七 致謝 我們想感謝萊茵蘭 普法爾茨飛行情報(bào)區(qū)的創(chuàng)新，為辦學(xué)我們的工作下，項(xiàng)目編號(hào) 616 。 基于 XML的描述 PLC程序的進(jìn)一步轉(zhuǎn)變，將適用于最后得出一個(gè)完全形式化描述原 PLC的代碼。 XML是作為一種靈活的，標(biāo)準(zhǔn)化的手段來(lái)充當(dāng)數(shù)據(jù)格式來(lái)描述的 PLC代碼。在給出了書(shū)面指示 PLC程序的基礎(chǔ)上，在清單的通過(guò)一個(gè)明確步驟轉(zhuǎn)型為被建議的正式代表。 六 結(jié)論和展望 重新設(shè)計(jì)的 PLC程序需要一個(gè)正式的辦法加以發(fā)展。這可視化，更好地了解 PLC程序成為可能。 HTML結(jié)構(gòu)的建議，這不是唯一的可能性，其中的 XML可以可視化，但他們提供一個(gè)很容易的切實(shí)可行的方案，那就是為用戶把握的 PLC代碼。這可視化已經(jīng)完成 XML的轉(zhuǎn)換，他作為一個(gè)表中的子元素去驗(yàn)證的語(yǔ)法。此外， DOM的結(jié)構(gòu)在 嵌入在 XML中 （參見(jiàn)圖 9 ） ，也可讓使用者用一個(gè)簡(jiǎn)單的方法瀏覽 PLC程序。Logical Operation) U/Instruction /ILROW . ILRow Instruction instructionId=Jump Operation SPB/Instruction Instruction instructionId= special Operation BE/Instruction /ILROW /ILRow Fig. 8 A new transformed XML showing only the inslructions and the corresponding instruction ID /ILCodeBlack E. 可視化的 XML 上述所產(chǎn)生的兩種 XML文件可轉(zhuǎn)化為 HTML或在 XSL的幫助下轉(zhuǎn)換為其他可讀的文件。步驟指示分為 11不同類型的操作如合乎邏輯的，跳轉(zhuǎn)，負(fù)載或轉(zhuǎn)讓的運(yùn)作轉(zhuǎn)讓等等。 轉(zhuǎn)換的 XML的指示識(shí)別的證明了 XML的語(yǔ)義是與 PLC的編程語(yǔ)言的操作類型相一致的。此屬性通知是一個(gè)有效的指示，指示是否是有關(guān)的指令集。 C. XML 驗(yàn)證和 XML 架構(gòu) 由于前處理，除了正在完善被確認(rèn) XML 文件，可以驗(yàn)證的使用驗(yàn)證解析器取得的 XML，形成符合一套句法規(guī)則所界定的背景下的 PLC 編程語(yǔ)言。每行的 PLC 代碼是包含在相應(yīng)的ilrow 元素，這是米呃子元素。 圖 7 顯示通過(guò) XML 文件獲得改造的 PLC。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 Fig. 6 A PLC program written in Siemens S5 Instruction List B PLC 程序轉(zhuǎn)換成為格式良好的 XML 由于 ASCII 格式 PLC 程序加上一個(gè)結(jié)構(gòu)與單獨(dú)列地址，標(biāo)簽，指示，運(yùn)算和說(shuō)明劃定的表格， XSLT 的可以把它轉(zhuǎn)換為格式良好的 XML 文件。臨立會(huì)的代碼是寫(xiě)在形式的地方，每列的元素，是一種地址，標(biāo)簽，指示，操作和說(shuō)明或評(píng)構(gòu)成的分隔清單。 在整個(gè)這一節(jié)的一個(gè)例子是用來(lái)說(shuō)明所提出的概念。 XML文件顯示的生成顯示了不同方面的 PLC程序，實(shí)現(xiàn)了在以下三個(gè)步驟（參見(jiàn)圖 5 ） ： 程序到 XML 文件的轉(zhuǎn)換 2. XML 的的可行性和確定了語(yǔ)法的 XML 的 XML 架構(gòu)， 3. 根據(jù)該指令集的來(lái)源，臨立會(huì)，轉(zhuǎn)換的 XML 介紹元素的定義 這三個(gè)步驟是討論分別分節(jié) B 至 D。 五 方法的可視化 OFPLC 程序 由于 Instruction List (IL)是在歐洲最常用的 PLC 編程語(yǔ)言，現(xiàn)在展示的介紹的做法是在此基礎(chǔ)上的語(yǔ)言。在其他 的話 架構(gòu)提供了更豐富和更強(qiáng)大的方式描述的信息，比什么是可能的與 DTDS 。 W3C XML Schema的語(yǔ)言重復(fù)了重要的功能 DTDS ，并增加了一些特點(diǎn)。 該定義的規(guī)則在一個(gè) DTD 或一個(gè) XML Schema 的國(guó)家層次和結(jié)構(gòu)制約的 XML 文件。因此，除了作為良好的形式， XML文件需要符合一套規(guī)則。當(dāng) HTML被選擇作為格式轉(zhuǎn)化的產(chǎn)生的時(shí)候，是有可能使用 HTML 的廣泛能力來(lái)產(chǎn)生出可想象的和有吸引力的可視化程序。第二階段是格式化的新架構(gòu)成所需的格式，如 HTML 或 PDF （參見(jiàn)圖 3 ） 。 XSLT 的功能分為兩個(gè)步驟。這個(gè)程序與尊重的結(jié)構(gòu)性變化 XML 相比文件缺乏一般性。 XML 的轉(zhuǎn)型語(yǔ)言 XSLT 的是能夠不僅轉(zhuǎn)換 XML 到另一個(gè) XML 或 HTML ，還能夠轉(zhuǎn)換到許多其他友好的用戶格式。 XML 被用來(lái)作為一種代表許多不同種的信息可能在不同的系統(tǒng)中存儲(chǔ)以及許多傳統(tǒng)上，這將被看作是數(shù)據(jù)而不是作為文件。它定義的邏輯結(jié)構(gòu)文件和文件的方式訪問(wèn)和操縱。 因此， XML的解析器也可以吧 XML文件在一個(gè)抽象的代表性換成以所謂的文檔對(duì)象模型（ DOM ） ，不需使用語(yǔ)法。 使用 XML 的最有前途的方面，就是 XML 及其應(yīng)用的互補(bǔ)性轉(zhuǎn)變?yōu)闃?biāo)準(zhǔn)化，以便給它的用戶提供最大的靈活性。雙方掃描器和分析器將使用的這種方法是面向文件的，這就意味著，分析不同類型的文件，需要重新生成的代碼為掃描儀和分析器。 常規(guī)的程序代碼分析方法需要一個(gè)掃描儀 （詞法分析儀）由剖析器檢查語(yǔ)法結(jié)構(gòu)的代碼產(chǎn)生了一套終端符號(hào)（令牌），并生成一個(gè)對(duì)象網(wǎng)。它是專門(mén)設(shè)計(jì)用于支持從根本上使用不同形式的數(shù)據(jù)的系統(tǒng)之間的信息交流，例如民航處及調(diào)度之間的應(yīng)用。一些行業(yè)和學(xué)科、醫(yī)療記錄及報(bào)紙出版，其中已使用 XML 交換信息，可以跨多個(gè)平臺(tái)來(lái)應(yīng)用。充滿了 SGML 的復(fù)雜性，他的語(yǔ)法，讓許多強(qiáng)大的并且努力到計(jì)劃方案到了另一個(gè)方向。由萬(wàn)維網(wǎng)協(xié)會(huì)（ W3C ）裁定（ W3C）作為一個(gè)方言 SGML 分支語(yǔ)言， XML的刪除兩個(gè)阻礙網(wǎng)絡(luò)發(fā)展 [ 6 ]制約因素。XML 以 其強(qiáng)大的可視化和改造工具，成為解決這方面的工作的一種理想的工具。 一個(gè)很大的可能就是這個(gè)完成編程的逆向啟動(dòng)只能是一個(gè)半自動(dòng)的過(guò)程，中間可視化的代碼是最重要的一點(diǎn)。 在此代碼基礎(chǔ)上的一個(gè)明智步驟轉(zhuǎn)型到一個(gè)正式的模型（自動(dòng)機(jī)）正在計(jì)劃之中。 這種轉(zhuǎn)變提供了取得 avendor 獨(dú)立規(guī)格代碼優(yōu)勢(shì)。這種新格式將緩解形式化的工具，使之成為 PLC 項(xiàng)目的所有相關(guān)的信息。這亦是其中一個(gè)原因就是被 限制了的形式化的做法，以單一的程序或算法。 其中在 IEC 61 1313 中出現(xiàn)的一個(gè)問(wèn)題就是在 PLC 的編程工具的工程信息中沒(méi)有一個(gè)標(biāo)準(zhǔn)化的格式。 順序功能圖（ SFC）是一個(gè)圖形化的語(yǔ)言。在這種語(yǔ)言中，控制器被認(rèn)為是可在功能塊之間流動(dòng)的信號(hào)和數(shù)據(jù)。圣包含一個(gè) 現(xiàn)在編程語(yǔ)言多要求的所有要素。 結(jié)構(gòu)化文本（ ST）是一個(gè)非常強(qiáng)大的高層次的語(yǔ)言。 梯形圖 (L0)是一種被認(rèn)為起源于于美國(guó)的圖形語(yǔ)言。第三部分，定義了一個(gè)適合 5 種編程語(yǔ)言標(biāo)準(zhǔn)： Originated (IL)語(yǔ)言是一種低層次的文本語(yǔ)言 , 其結(jié)構(gòu)類似于匯編語(yǔ)言。在標(biāo)準(zhǔn)化 PLC的編程語(yǔ)言之前，正在制定為了個(gè)別 PLC 實(shí)用的專有編程語(yǔ)言。 IEC61131是為工業(yè)自動(dòng)化第一次真正的努力來(lái)規(guī)范 PLC的編程語(yǔ)言。 二 PLC 和 IEC 61131 自從七十年代初期公布于世，由于它的成功的完成目的，取代了機(jī)器上的硬連線控制設(shè)備， PLC 日益受到重視。第五部分提出了應(yīng)用 XML 的使 PLC 程序可視化的方法并用一個(gè)例子做出說(shuō)明。 PLC 代碼轉(zhuǎn)型成為一個(gè)獨(dú)立的格式被確定為在這個(gè)過(guò)程中重要的第一步。首先，簡(jiǎn)單的介紹了 PLC（根據(jù)國(guó)際電工委員會(huì) 611313的標(biāo)準(zhǔn)是給予）和相應(yīng)的編程技巧。本文章提供了一個(gè)方法，使用 XML 使 PLC 程序可視化，讓 PLC 程序 工程師更容易把握方向和更好地了解。而重用的 PLC 守則正在建立，作為一種打擊復(fù)雜 PLC程序的工具，逆向工程在今后幾年將得到越來(lái)越多的重要性，特別是如果現(xiàn)有的硬件被適用于各種不同程序環(huán)境的新硬件所取代的情況下。其中一個(gè)重要的領(lǐng)域就是已經(jīng)在最近的時(shí)間成長(zhǎng)在規(guī)范化的 PLC 程序是逆向工程 [ 3 ] 。由于在有限的時(shí)間里 PLCD 的發(fā)展應(yīng)用日益復(fù)雜，現(xiàn)有的軟件或 PLC 的模塊也在迅速發(fā)展，以此，需要一個(gè)正式的辦法加以規(guī)范 。 PLC 控制有著極大的不同，自動(dòng)化應(yīng)用范圍的復(fù)雜性從一個(gè)簡(jiǎn)單的小組運(yùn)作到控制一個(gè)會(huì)議室的的燈光和自動(dòng)窗成為一個(gè)全自動(dòng)化的生產(chǎn)線。應(yīng)用 PLC 的目的是控制某一特定的或可選擇的過(guò)程，它 是通過(guò)產(chǎn)生的電控制信號(hào)回應(yīng)電器中相關(guān)的輸出信號(hào)來(lái)實(shí)現(xiàn)的。這表明如何 XML 和相應(yīng)的技術(shù)可用于形式化和可視化現(xiàn)有的 PLC 程序。該文章概述了基于形式化的 PLC 程序基礎(chǔ)上從新啟動(dòng)的方法。不過(guò)，現(xiàn)有的軟件已被優(yōu)化，改變，或移植到新系統(tǒng) .有需要找到從某一 PLC 程序開(kāi)始的方法。形式化方法，讓僵化的證明系統(tǒng)屬性被核查和驗(yàn)證。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.