【正文】 o any other format was only possible through custom applications developed in a procedural language such as C++, Visual Basic or, Java. This procedure lacked the generality with respect to the structural variation of XML documents. Capitalizing on the concept that the custom applications for the transformations are all very similar, XSLT evolved as a highlevel declarative language [9]. XSLT functions in two steps. In the first step, it performs a structural transformation so as to convert the XML into a structure that reflects the desired output. The second stage is formatting the new structure into the required format, such as HTML or PDF (cf. Fig. 3 ). The most important advantage of this transformation is that it allows a simple and easilyconceivable representation of the document or data structure embedded inside the wellstructured but hardtounderstand XML to be produced. When HTML is chosen as the format of the transformed produce it is possible to use the extensive ability of HTML to produce an easilyconceivable and attractive visualization of a program. Every XML document has its own syntax and vocabulary. Therefore, in addition to being wellformed, the XML document needs to conform to a set of rules. According to W3C remendations this set of rules has to be defined either through a Document Type Definition (DTD) or an XML Schema. The rules defined in a DTD or an XML Schema state the hierarchical and structural constraints of the XML document. The DTD is for defining the document grammars。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 only possibilities, with which the XML can be visualized, but they give a very easy practical option for the user39。形式化方法，讓僵化的證明系統(tǒng)屬性被核查和驗證。該文章概述了基于形式化的 PLC 程序基礎(chǔ)上從新啟動的方法。應(yīng)用 PLC 的目的是控制某一特定的或可選擇的過程，它 是通過產(chǎn)生的電控制信號回應(yīng)電器中相關(guān)的輸出信號來實現(xiàn)的。由于在有限的時間里 PLCD 的發(fā)展應(yīng)用日益復(fù)雜，現(xiàn)有的軟件或 PLC 的模塊也在迅速發(fā)展，以此，需要一個正式的辦法加以規(guī)范 。而重用的 PLC 守則正在建立，作為一種打擊復(fù)雜 PLC程序的工具，逆向工程在今后幾年將得到越來越多的重要性，特別是如果現(xiàn)有的硬件被適用于各種不同程序環(huán)境的新硬件所取代的情況下。首先，簡單的介紹了 PLC（根據(jù)國際電工委員會 611313的標(biāo)準(zhǔn)是給予）和相應(yīng)的編程技巧。第五部分提出了應(yīng)用 XML 的使 PLC 程序可視化的方法并用一個例子做出說明。 IEC61131是為工業(yè)自動化第一次真正的努力來規(guī)范 PLC的編程語言。第三部分，定義了一個適合 5 種編程語言標(biāo)準(zhǔn)： Originated (IL)語言是一種低層次的文本語言 , 其結(jié)構(gòu)類似于匯編語言。 結(jié)構(gòu)化文本（ ST）是一個非常強(qiáng)大的高層次的語言。在這種語言中，控制器被認(rèn)為是可在功能塊之間流動的信號和數(shù)據(jù)。 其中在 IEC 61 1313 中出現(xiàn)的一個問題就是在 PLC 的編程工具的工程信息中沒有一個標(biāo)準(zhǔn)化的格式。這種新格式將緩解形式化的工具，使之成為 PLC 項目的所有相關(guān)的信息。 在此代碼基礎(chǔ)上的一個明智步驟轉(zhuǎn)型到一個正式的模型（自動機(jī)）正在計劃之中。XML 以 其強(qiáng)大的可視化和改造工具，成為解決這方面的工作的一種理想的工具。充滿了 SGML 的復(fù)雜性，他的語法，讓許多強(qiáng)大的并且努力到計劃方案到了另一個方向。它是專門設(shè)計用于支持從根本上使用不同形式的數(shù)據(jù)的系統(tǒng)之間的信息交流，例如民航處及調(diào)度之間的應(yīng)用。雙方掃描器和分析器將使用的這種方法是面向文件的，這就意味著，分析不同類型的文件，需要重新生成的代碼為掃描儀和分析器。 因此， XML的解析器也可以吧 XML文件在一個抽象的代表性換成以所謂的文檔對象模型（ DOM ） ，不需使用語法。 XML 被用來作為一種代表許多不同種的信息可能在不同的系統(tǒng)中存儲以及許多傳統(tǒng)上，這將被看作是數(shù)據(jù)而不是作為文件。這個程序與尊重的結(jié)構(gòu)性變化 XML 相比文件缺乏一般性。第二階段是格式化的新架構(gòu)成所需的格式，如 HTML 或 PDF （參見圖 3 ） 。因此，除了作為良好的形式， XML文件需要符合一套規(guī)則。 W3C XML Schema的語言重復(fù)了重要的功能 DTDS ，并增加了一些特點。 五 方法的可視化 OFPLC 程序 由于 Instruction List (IL)是在歐洲最常用的 PLC 編程語言，現(xiàn)在展示的介紹的做法是在此基礎(chǔ)上的語言。 在整個這一節(jié)的一個例子是用來說明所提出的概念。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 程序加上一個結(jié)構(gòu)與單獨列地址，標(biāo)簽，指示，運(yùn)算和說明劃定的表格， XSLT 的可以把它轉(zhuǎn)換為格式良好的 XML 文件。每行的 PLC 代碼是包含在相應(yīng)的ilrow 元素，這是米呃子元素。此屬性通知是一個有效的指示，指示是否是有關(guān)的指令集。步驟指示分為 11不同類型的操作如合乎邏輯的，跳轉(zhuǎn)，負(fù)載或轉(zhuǎn)讓的運(yùn)作轉(zhuǎn)讓等等。此外， DOM的結(jié)構(gòu)在 嵌入在 XML中 （參見圖 9 ） ，也可讓使用者用一個簡單的方法瀏覽 PLC程序。 HTML結(jié)構(gòu)的建議，這不是唯一的可能性，其中的 XML可以可視化，但他們提供一個很容易的切實可行的方案，那就是為用戶把握的 PLC代碼。 六 結(jié)論和展望 重新設(shè)計的 PLC程序需要一個正式的辦法加以發(fā)展。 XML是作為一種靈活的，標(biāo)準(zhǔn)化的手段來充當(dāng)數(shù)據(jù)格式來描述的 PLC代碼。在這個計劃過程中，他們通過一個知識庫確定共同的介素的結(jié)構(gòu)和正規(guī)化， 七 致謝 我們想感謝萊茵蘭 普法爾茨飛行情報區(qū)的創(chuàng)新，為辦學(xué)我們的工作下，項目編號 616 。 基于 XML的描述 PLC程序的進(jìn)一步轉(zhuǎn)變，將適用于最后得出一個完全形式化描述原 PLC的代碼。在給出了書面指示 PLC程序的基礎(chǔ)上，在清單的通過一個明確步驟轉(zhuǎn)型為被建議的正式代表。這可視化，更好地了解 PLC程序成為可能。這可視化已經(jīng)完成 XML的轉(zhuǎn)換，他作為一個表中的子元素去驗證的語法。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)換為其他可讀的文件。 轉(zhuǎn)換的 XML的指示識別的證明了 XML的語義是與 PLC的編程語言的操作類型相一致的。 C. XML 驗證和 XML 架構(gòu) 由于前處理，除了正在完善被確認(rèn) XML 文件，可以驗證的使用驗證解析器取得的 XML，形成符合一套句法規(guī)則所界定的背景下的 PLC 編程語言。 圖 7 顯示通過 XML 文件獲得改造的 PLC。臨立會的代碼是寫在形式的地方，每列的元素，是一種地址，標(biāo)簽，指示，操作和說明或評構(gòu)成的分隔清單。 XML文件顯示的生成顯示了不同方面的 PLC程序，實現(xiàn)了在以下三個步驟（參見圖 5 ） ： 程序到 XML 文件的轉(zhuǎn)換 2. XML 的的可行性和確定了語法的 XML 的 XML 架構(gòu)， 3. 根據(jù)該指令集的來源，臨立會，轉(zhuǎn)換的 XML 介紹元素的定義 這三個步驟是討論分別分節(jié) B 至 D。在其他 的話 架構(gòu)提供了更豐富和更強(qiáng)大的方式描述的信息，比什么是可能的與 DTDS 。 該定義的規(guī)則在一個 DTD 或一個 XML Schema 的國家層次和結(jié)構(gòu)制約的 XML 文件。當(dāng) HTML被選擇作為格式轉(zhuǎn)化的產(chǎn)生的時候，是有可能使用 HTML 的廣泛能力來產(chǎn)生出可想象的和有吸引力的可視化程序。 XSLT 的功能分為兩個步驟。 XML 的轉(zhuǎn)型語言 XSLT 的是能夠不僅轉(zhuǎn)換 XML 到另一個 XML 或 HTML ，還能夠轉(zhuǎn)換到許多其他友好的用戶格式。它定義的邏輯結(jié)構(gòu)文件和文件的方式訪問和操縱。 使用 XML 的最有前途的方面，就是 XML 及其應(yīng)用的互補(bǔ)性轉(zhuǎn)變?yōu)闃?biāo)準(zhǔn)化，以便給它的用戶提供最大的靈活性。 常規(guī)的程序代碼分析方法需要一個掃描儀 （詞法分析儀）由剖析器檢查語法結(jié)構(gòu)的代碼產(chǎn)生了一套終端符號（令牌），并生成一個對象網(wǎng)。一些行業(yè)和學(xué)科、醫(yī)療記錄及報紙出版，其中已使用 XML 交換信息，可以跨多個平臺來應(yīng)用。由萬維網(wǎng)協(xié)會（ W3C ）裁定（ W3C）作為一個方言 SGML 分支語言， XML的刪除兩個阻礙網(wǎng)絡(luò)發(fā)展 [ 6 ]制約因素。 一個很大的可能就是這個完成編程的逆向啟動只能是一個半自動的過程，中間可視化的代碼是最重要的一點。 這種轉(zhuǎn)變提供了取得 avendor 獨立規(guī)格代碼優(yōu)勢。這亦是其中一個原因就是被 限制了的形式化的做法，以單一的程序或算法。