【正文】 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。 therefore the wellformedness is independent from the respective individual application. Hence, an XMLParser also can transfer wellshaped XML documents in an abstract representation called Document Object Model (DOM) without using a grammar. DOM is an application programming interface (APII) for valid HTML and wellformed XML documents. It defines the logical structure of documents and the way a document is accessed and manipulated. In the DOM specification, the term document is used in a broad sense increasingly. XML is used as a way of representing many different kind of information that may be stored in diverse systems, and much of this would traditionally be seen as data rather than as documents. Nevertheless, XML presents this data as documents, and the DOM can be used to manage this data［ 5］ . XSLT, the transformation language for XML is capable of transforming XML not only to another XML or HTML but to many other userfriendly formats. Before the advent of XSLT, the transformation of XML to 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 . 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。這將是在成立一個(gè)有限自動(dòng)機(jī)。由于這個(gè)過程不會(huì)完全自動(dòng)，有必要采取靈活的可視化中間步驟。 HTML結(jié)構(gòu)的建議，這不是唯一的可能性，其中的 XML可以可視化，但他們提供一個(gè)很容易的切實(shí)可 行的方案，那就是為用戶把握的 PLC代碼。此外， DOM的結(jié)構(gòu)在嵌入在 XML中，也可讓使用者用一個(gè)簡單的方法瀏覽 PLC程序。步驟指示分為 11不同類型的操作如合乎邏輯的，跳轉(zhuǎn)，負(fù)載或轉(zhuǎn)讓的運(yùn)作轉(zhuǎn)讓等等。此屬性通知是一個(gè)有效的指示，指示是否是有關(guān)的指令集。每行的 PLC 代碼是包含在相應(yīng)的 ilrow元素，這是米呃子元素。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)算和說明劃定的表格， XSLT的可以把它轉(zhuǎn)換為格式良好的 XML文件。 在整個(gè)這一節(jié)的一個(gè)例子是用來說明所提出的概念。 五 方法的可視化 OFPLC 程序 由于 Instruction List (IL)是在歐洲最常用的 PLC 編程語言，現(xiàn)在展示的介紹的做法是在此基礎(chǔ)上的語言。 近期，一些另類語言已提出， DTD 是用以界定文件文法。 每一個(gè) XML 文件都有自己的語法和詞匯。在第一步，它執(zhí)行的結(jié)構(gòu)性轉(zhuǎn)型，以便為轉(zhuǎn)換成 XML 的結(jié)構(gòu)，反映了所需的輸出。前 XSLT 的來臨以前，改造 XML 成為任何其他格式只有通過在一個(gè)程 序語言如 C++， Visual Basic 或 Java 定制開發(fā)的應(yīng)用程序來實(shí)現(xiàn)。在DOM 中的規(guī)格，任期 “ 文件 ” 是中被越來越多廣泛使用的意識(shí)。 基于該 XML 的 方法 是十分有利的，因?yàn)樵~匯的規(guī)格是不變的組成部分，因此 XML 良好的形式從各自的個(gè)別申請(qǐng)是獨(dú)立的。在該對(duì)象的內(nèi)部結(jié)構(gòu)的程序代表的確定對(duì)象和兩者之間的關(guān)系。在一個(gè)信息獲取人可以使用各種不同的方式形式下， XML 可可裁定描述幾乎任何種類的信息。依賴于一個(gè)單一的，一成不變的文件類型（ HTML），這種文件類型中大部分被濫用任務(wù)，這是從來沒有設(shè)計(jì)為對(duì)一方有利。在過程中的不同階段，代碼或形式化模型不同方面的都必須是可視化的設(shè)計(jì)方式，只有這樣設(shè)計(jì)者才可以進(jìn)一步的指導(dǎo)工作。（即使 PLCopen 成功地確定了一種標(biāo)準(zhǔn)化的格式為 PLC 所應(yīng)用，仍將有很多現(xiàn)有的程序不符合這個(gè)標(biāo)準(zhǔn)） 。不過，最近的 PLC 用戶組織 PLCopen （見 ）阻止了一個(gè)技術(shù)委員會(huì)，以確定一個(gè)基于格式 accordingto 的 IEC 611313 的 XML 項(xiàng)目 。 SFC 要素的定義是為了構(gòu)建可編程序控制器程序的組織。 功能塊圖（ FBD）是一種圖形語言，在工業(yè)流程里是非常 常見的。 LDS 符合從電子及電器電路實(shí)施控制邏輯的編程風(fēng)格。為了提高不同產(chǎn)品的兼容性，開放性和互操作性以及為了促進(jìn)工具和方法的發(fā)展 ,國際電工委員會(huì) 61131 標(biāo)準(zhǔn)設(shè)立固定的一套符號(hào)。最終它作為一個(gè)獨(dú)特的應(yīng)用領(lǐng)域成長起來，它的研究和開發(fā)，主要是為控制工程。 XML 和相應(yīng)的技術(shù)，例如 XSL 和 XSLT（第四節(jié)可以使用的這種轉(zhuǎn)變）。 該文件的結(jié)構(gòu)如下。逆向工程是通過評(píng)估達(dá)到了解它的運(yùn)轉(zhuǎn)過程，以達(dá)到重復(fù)或加強(qiáng)的目的。 隨著他們應(yīng)用 PLC 知識(shí)的增加，他們把 PLC 應(yīng)用到復(fù)雜性和品質(zhì)要求高的地方，特別是對(duì)安全性要求特別嚴(yán)格的地方。 一 導(dǎo)言 可編程邏輯控制器（ PLC）是一種特殊類型的計(jì)算機(jī)，它應(yīng)用于工業(yè)和安全的關(guān)鍵地方。因此，規(guī)范 PLC 程序是一個(gè)現(xiàn)在研究的熱點(diǎn)。 指導(dǎo)教師評(píng)語： 簽名： 年 月 日 附件 1：外文資料翻譯譯文 可視化的 PLC程序使用 XML 米巴尼尤尼斯和 摘 要 :由于 P LC 程序日益復(fù)雜 ,在 PLC 應(yīng)用方面有越來越多的興趣愛好者。形式化方法，讓僵化的證明系統(tǒng)屬性被核查和驗(yàn)證。該文章概述了基于形式化的 PLC 程序基礎(chǔ)上從新啟動(dòng)的方法。應(yīng)用 PLC 的目的是控制某一特定的或可選擇的過程，它是通過產(chǎn)生的電控制信號(hào)回應(yīng)電器中相關(guān)的輸出信號(hào)來實(shí)現(xiàn)的。由于在有限的時(shí)間里 PLCD 的發(fā)展應(yīng)用日益復(fù)雜，現(xiàn)有的軟件或 PLC 的模塊也在迅速發(fā)展，以此，需要一個(gè)正式的辦法加以規(guī)范 。而重用的 PLC 守則正在建立，作為一種打擊復(fù)雜 PLC 程序的工具，逆向工程在今后幾年將得到越來越多的重要性，特別是如果現(xiàn)有的硬件被適用