可視化的PLC程序使用XML外文翻譯

1、畢業(yè)設(shè)計(論文)外文資料翻譯外文出處：visualization of plc program using xml 附 件：1.外文資料翻譯譯文；2.外文原文。 附件1：外文資料翻譯譯文可視化的plc程序使用xml米巴尼尤尼斯和g.弗雷摘 要:由于p lc程序日益復(fù)雜,在plc應(yīng)用方面有越來越多的興趣愛好者。形式化方法，讓僵化的證明系統(tǒng)屬性被核查和驗證。一個傳統(tǒng)思路的方法就是在plc編程中設(shè)立一個正式的設(shè)計方法。不過，現(xiàn)有的軟件已被優(yōu)化，改變，或移植到新系統(tǒng).有需要找到從某一plc程序開始的方法。因此，規(guī)范plc程序是一個現(xiàn)在研究的熱點。該文章概述了基于形式化的plc程序基礎(chǔ)上從新啟動的方法。

2、轉(zhuǎn)型成為一個獨立的格式和可視化的結(jié)構(gòu)，在這個過程中，plc程序的確定是作為這項措施的重要中間步驟。這表明如何xml和相應(yīng)的技術(shù)可用于形式化和可視化現(xiàn)有的plc程序。一 導(dǎo)言 可編程邏輯控制器（plc）是一種特殊類型的計算機，它應(yīng)用于工業(yè)和安全的關(guān)鍵地方。應(yīng)用plc的目的是控制某一特定的或可選擇的過程，它是通過產(chǎn)生的電控制信號回應(yīng)電器中相關(guān)的輸出信號來實現(xiàn)的。應(yīng)用在制造業(yè)和化工過程控制，機械加工，交通，電力分配，以及其他許多領(lǐng)域。plc控制有著極大的不同，自動化應(yīng)用范圍的復(fù)雜性從一個簡單的小組運作到控制一個會議室的的燈光和自動窗成為一個全自動化的生產(chǎn)線。 隨著他們應(yīng)用plc知識的增加，他們把pl

3、c應(yīng)用到復(fù)雜性和品質(zhì)要求高的地方，特別是對安全性要求特別嚴格的地方。由于在有限的時間里plcd的發(fā)展應(yīng)用日益復(fù)雜，現(xiàn)有的軟件或plc的模塊也在迅速發(fā)展，以此，需要一個正式的辦法加以規(guī)范 。為了確保高品質(zhì)的要求，我們需要檢查和驗證程序，以及分析和模擬現(xiàn)有系統(tǒng)2 。其中一個重要的領(lǐng)域就是已經(jīng)在最近的時間成長在規(guī)范化的plc程序是逆向工程3 。逆向工程是通過評估達到了解它的運轉(zhuǎn)過程，以達到重復(fù)或加強的目的。而重用的plc守則正在建立，作為一種打擊復(fù)雜plc程序的工具，逆向工程在今后幾年將得到越來越多的重要性，特別是如果現(xiàn)有的硬件被適用于各種不同程序環(huán)境的新硬件所取代的情況下。 現(xiàn)有的plc程序的可視

4、化是逆向工程一個重要的中間步驟。本文章提供了一個方法，使用xml使plc程序可視化，讓plc程序工程師更容易把握方向和更好地了解。該文件的結(jié)構(gòu)如下。首先，簡單的介紹了plc（根據(jù)國際電工委員會61131-3的標準是給予）和相應(yīng)的編程技巧，。在第三部分，在現(xiàn)有基礎(chǔ)上用形式化plc程序重新設(shè)計方法的介紹。plc代碼轉(zhuǎn)型成為一個獨立的格式被確定為在這個過程中重要的第一步。xml和相應(yīng)的技術(shù)，例如xsl和xslt（第四節(jié)可以使用的這種轉(zhuǎn)變）。第五部分提出了應(yīng)用xml的使plc程序可視化的方法并用一個例子做出說明。最后一節(jié)總結(jié)了結(jié)果，并就今后的工作在這方面正在進行的項目做了一個前景的展望。二 plc和i

5、ec 61131 自從七十年代初期公布于世，由于它的成功的完成目的，取代了機器上的硬連線控制設(shè)備，plc日益受到重視，。最終它作為一個獨特的應(yīng)用領(lǐng)域成長起來，它的研究和開發(fā)，主要是為控制工程。 iec61131是為工業(yè)自動化第一次真正的努力來規(guī)范plc的編程語言。在1993國際電工委員會4上公布了iec 61131作為可編程控制器標準。在標準化plc的編程語言之前，正在制定為了個別plc實用的專有編程語言。為了提高不同產(chǎn)品的兼容性，開放性和互操作性以及為了促進工具和方法的發(fā)展,國際電工委員會61131標準設(shè)立固定的一套符號。第三部分，定義了一個適合5種編程語言標準： originated (i

6、l)語言是一種低層次的文本語言,其結(jié)構(gòu)類似于匯編語言。originated語言l被視為plc的在所有其他iec61 131-3語言都可以翻譯語言。 梯形圖(l0)是一種被認為起源于于美國的圖形語言。lds符合從電子及電器電路實施控制邏輯的編程風格。 結(jié)構(gòu)化文本（st）是一個非常強大的高層次的語言。圣借從帕斯卡爾那里借用了它的語法，充實它的一些特點。圣包含一個現(xiàn)在編程語言多要求的所有要素。 功能塊圖（fbd）是一種圖形語言，在工業(yè)流程里是非常常見的。在這種語言中，控制器被認為是可在功能塊之間流動的信號和數(shù)據(jù)。fbd把換文本編程轉(zhuǎn)變?yōu)楣δ軌K編程，因而提高了模塊化和軟件重用性。 順序功能圖（sfc）

7、是一個圖形化的語言。sfc要素的定義是為了構(gòu)建可編程序控制器程序的組織。 其中在iec 61131-3中出現(xiàn)的一個問題就是在plc的編程工具的工程信息中沒有一個標準化的格式。目前，每個廠商都在運用他們各自的具體的不同格式。這亦是其中一個原因就是被限制了的形式化的做法，以單一的程序或算法。不過，最近的plc用戶組織plcopen （見 ）阻止了一個技術(shù)委員會，以確定一個基于格式accordingto的iec 61131-3的xml項目 。這種新格式將緩解形式化的工具，使之成為 plc項目的所有相關(guān)的信息。 三 重新設(shè)計的方法 對于重新設(shè)計所提出的態(tài)度，是

8、基于認為xml可作為一種中間媒體語言用來改造plc的代碼。 這種轉(zhuǎn)變提供了取得avendor獨立規(guī)格代碼優(yōu)勢。（即使plcopen成功地確定了一種標準化的格式為plc所應(yīng)用，仍將有很多現(xiàn)有的程序不符合這個標準） 。 在此代碼基礎(chǔ)上的一個明智步驟轉(zhuǎn)型到一個正式的模型（自動機）正在計劃之中。這個模型可以用來進行分析，模擬仿真，正式的檢查和驗證，最終對同一plc或其他產(chǎn)品重新執(zhí)行該優(yōu)化算法。 一個很大的可能就是這個完成編程的逆向啟動只能是一個半自動的過程，中間可視化的代碼是最重要的一點。在過程中的不同階段，代碼或形式化模型不同方面的都必須是可視化的設(shè)計方式，只有這樣設(shè)計者才可以進一步的指導(dǎo)工作。xm

9、l以其強大的可視化和改造工具，成為解決這方面的工作的一種理想的工具。四 作為一種可視化工具的xml xml（可擴展標記語言）是一種簡單而靈活的元語言，即一種描述其他語言的語言。由萬維網(wǎng)協(xié)會（w3c）裁定（w3c）作為一個方言sgml分支語言， xml的刪除兩個阻礙網(wǎng)絡(luò)發(fā)展6制約因素。依賴于一個單一的，一成不變的文件類型（html），這種文件類型中大部分被濫用任務(wù)，這是從來沒有設(shè)計為對一方有利。充滿了sgml的復(fù)雜性，他的語法，讓許多強大的并且努力到計劃方案到了另一個方向。 當html描述了數(shù)據(jù)本身是怎樣顯現(xiàn)的同時，xml描述了數(shù)據(jù)本身。一些行業(yè)和學科、醫(yī)療記錄及報紙出版，其中已使用xml交換信

10、息，可以跨多個平臺來應(yīng)用。在一個信息獲取人可以使用各種不同的方式形式下，xml可可裁定描述幾乎任何種類的信息。它是專門設(shè)計用于支持從根本上使用不同形式的數(shù)據(jù)的系統(tǒng)之間的信息交流，例如民航處及調(diào)度之間的應(yīng)用。使用擁有強大的解析器和固有的簡單性的條款xml，句法和語義語法比常規(guī)詞匯分析器和驗證分析器的使用更有利 。 常規(guī)的程序代碼分析方法需要一個掃描儀（詞法分析儀）由剖析器檢查語法結(jié)構(gòu)的代碼產(chǎn)生了一套終端符號（令牌），并生成一個對象網(wǎng)。在該對象的內(nèi)部結(jié)構(gòu)的程序代表的確定對象和兩者之間的關(guān)系。雙方掃描器和分析器將使用的這種方法是面向文件的，這就意味著，分析不同類型的文件，需要重新生成的代碼為掃描儀和

11、分析器。一個應(yīng)用這種方法的方法的例子可以在8發(fā)現(xiàn) 。 使用xml的最有前途的方面，就是xml及其應(yīng)用的互補性轉(zhuǎn)變?yōu)闃藴驶?，以便給它的用戶提供最大的靈活性?；谠搙ml的方法是十分有利的，因為詞匯的規(guī)格是不變的組成部分，因此xml良好的形式從各自的個別申請是獨立的。因此， xml的解析器也可以吧xml文件在一個抽象的代表性換成以所謂的文檔對象模型（dom），不需使用語法。 dom的是一個應(yīng)用程序編程接口（apii）對html和格式良好的xml文件有效。它定義的邏輯結(jié)構(gòu)文件和文件的方式訪問和操縱。在dom中的規(guī)格，任期“文件”是中被越來越多廣泛使用的意識。 xml被用來作為一種代表許多不同種的信息

12、可能在不同的系統(tǒng)中存儲以及許多傳統(tǒng)上，這將被看作是數(shù)據(jù)而不是作為文件。不過，xml介紹了此數(shù)據(jù)文件，并且dom可以用來管理這方面的數(shù)據(jù)5 。 xml的轉(zhuǎn)型語言xslt的是能夠不僅轉(zhuǎn)換xml到另一個xml或html ，還能夠轉(zhuǎn)換到許多其他友好的用戶格式。前xslt的來臨以前，改造xml成為任何其他格式只有通過在一個程序語言如c+，visual basic或 java定制開發(fā)的應(yīng)用程序來實現(xiàn)。這個程序與尊重的結(jié)構(gòu)性變化xml相比文件缺乏一般性。xslt的演變，作為一個高層次的宣示性的語言，9對利用的觀念，習俗申請的變革都是十分相似的。 xslt的功能分為兩個步驟。在第一步，它執(zhí)行的結(jié)構(gòu)性轉(zhuǎn)型，以便

13、為轉(zhuǎn)換成xml的結(jié)構(gòu)，反映了所需的輸出。第二階段是格式化的新架構(gòu)成所需的格式，如html或pdf。這個轉(zhuǎn)變最重要的優(yōu)勢是它允許一個可以想象的簡單而容易的文件或數(shù)據(jù)結(jié)構(gòu)良好嵌入內(nèi)部結(jié)構(gòu)，以了解xml來制作。當html被選擇作為格式轉(zhuǎn)化的產(chǎn)生的時候，是有可能使用html的廣泛能力來產(chǎn)生出可想象的和有吸引力的可視化程序。 每一個xml文件都有自己的語法和詞匯。因此，除了作為良好的形式， xml文件需要符合一套規(guī)則。根據(jù)w3c建議，這套規(guī)則已通過文件型態(tài)定義（dtd）或一個xml架構(gòu)加以界定。該定義的規(guī)則在一個dtd或一個xml schema的國家層次和結(jié)構(gòu)制約的xml文件。 近期，一些另類語言已提出

14、，dtd是用以界定文件文法。w3c xml schema的語言重復(fù)了重要的功能dtds ，并增加了一些特點。使用xml的語法，例如，明確之間的關(guān)系架構(gòu)和命名空間，一個有系統(tǒng)的區(qū)分元素的種類和數(shù)據(jù)類型，和單繼承的形式，類型的推導(dǎo)。在其他的話架構(gòu)提供了更豐富和更強大的方式描述的信息，比什么是可能的與dtds 。五 方法的可視化ofplc程序a.概況 由于instruction list (il)是在歐洲最常用的plc編程語言，現(xiàn)在展示的介紹的做法是在此基礎(chǔ)上的語言。西門子第5步和標準版根據(jù)的iec 61131-3正在被考慮。 xml文件顯示的生成顯示了不同方面的plc程序，實現(xiàn)了在以下三個步驟 1

15、.plc程序到xml文件的轉(zhuǎn)換 2.xml的的可行性和確定了語法的xml的xml架構(gòu)， 3.根據(jù)該指令集的來源，臨立會，轉(zhuǎn)換的xml介紹元素的定義 這三個步驟是討論分別分節(jié)b至d。小組e節(jié)解釋了在前一階段期間不同的xmls的可視化取得的成績。 在整個這一節(jié)的一個例子是用來說明所提出的概念。圖1顯示了在西門子公司名單中s5z中plc的代碼的書面指示。臨立會的代碼是寫在形式的地方，每列的元素，是一種地址，標簽，指示，操作和說明或評構(gòu)成的分隔清單。kommentar :autorerstellt :15.07.2003 geaendert am: b1b:onetzwerk 1 empfangen

16、slave 3 von mastername :empemast0005 :u m98.7 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 :unm98.7 fangen wieder erlauben0012 :s m98.70013 mool :nop 000140015

17、 :be baustein ende圖1 西門子公司名單中s5z中plc的代碼的書面指示b.plc程序轉(zhuǎn)換成為格式良好的xml 由于ascii格式plc程序加上一個結(jié)構(gòu)與單獨列地址，標簽，指示，運算和說明劃定的表格，xslt的可以把它轉(zhuǎn)換為格式良好的xml文件。通過這種轉(zhuǎn)變 獲得的xml文件是一個分層結(jié)構(gòu)的文件。 通過xml文件獲得改造的plc。xml文件是在結(jié)構(gòu)上的等級，其中的根元素是ilcodeblock是代表全plc的代碼。每行的plc代碼是包含在相應(yīng)的ilrow元素，這是米呃子元素。注：結(jié)構(gòu)選擇的xml代表性的il代碼是面向在工作的建議，該plcopen。c.xml驗證和xml架構(gòu) 由

18、于前處理，除了正在完善被確認xml文件，可以驗證的使用驗證解析器取得的xml，形成符合一套句法規(guī)則所界定的背景下的plc編程語言。 d.介紹的認可 這一步，可視化的plc程序在這個過程中使用xml確保xml文件將用于只包含有效可視化，可以用來變換，以及形成有效的另一個xml，這是由于對鑒定指示擁有一個額外的屬性附加到指示標記。此屬性通知是一個有效的指示，指示是否是有關(guān)的指令集。這個轉(zhuǎn)變的程序，也能指示附加屬性的標記，宣布一項分類的指示到預(yù)定義類。 轉(zhuǎn)換的xml的指示識別的證明了xml的語義是與plc的編程語言的操作類型相一致的。 在本節(jié)中的例子中，（參見圖2），新的xml包含額外的根據(jù)它所代表

19、的類型分類指示的運作屬性。步驟指示分為11不同類型的操作如合乎邏輯的，跳轉(zhuǎn)，負載或轉(zhuǎn)讓的運作轉(zhuǎn)讓等等。(instruction instructionid=logical operation)uspb- be圖2e.可視化的xml上述所產(chǎn)生的兩種xml文件可轉(zhuǎn)化為html或在xsl的幫助下轉(zhuǎn)換為其他可讀的文件。一個巧妙的xsl可以被設(shè)計用來產(chǎn)生一個可以容易想象的轉(zhuǎn)達plc程序的邏輯或者其他特征的html文件。此外，dom的結(jié)構(gòu)在嵌入在xml中，也可讓使用者用一個簡單的方法瀏覽plc程序。例如在html中做的可視化程序。這可視化已經(jīng)完成xml的轉(zhuǎn)換，他作為一個表中的子元素去驗證的語法。指示鑒定后

20、的xml被轉(zhuǎn)化成使用xsl轉(zhuǎn)化，取得那里的指示和身份指示后，根據(jù)該行動的類型提取的xml在html表載列了兩欄（指示，指令編號）是在可視化的。html結(jié)構(gòu)的建議，這不是唯一的可能性，其中的xml可以可視化，但他們提供一個很容易的切實可行的方案，那就是為用戶把握的plc代碼。六 結(jié)論和展望 重新設(shè)計的plc程序需要一個正式的辦法加以發(fā)展。在本文章中，是來解決這個任務(wù)一個方法的介紹。在給出了書面指示plc程序的基礎(chǔ)上，在清單的通過一個明確步驟轉(zhuǎn)型為被建議的正式代表。由于這個過程不會完全自動，有必要采取靈活的可視化中間步驟。xml是作為一種靈活的，標準化的手段來充當數(shù)據(jù)格式來描述的plc代碼。相應(yīng)的

21、xsl轉(zhuǎn)換和文檔對象模型的技術(shù)是作為工具，在重整過程為各種定制可視化任務(wù)?；趚ml的描述plc程序的進一步轉(zhuǎn)變，將適用于最后得出一個完全形式化描述原plc的代碼。這將是在成立一個有限自動機。在這個計劃過程中，他們通過一個知識庫確定共同的介素的結(jié)構(gòu)和正規(guī)化， 七 致謝 我們想感謝萊茵蘭-普法爾茨飛行情報區(qū)的創(chuàng)新，為辦學我們的工作下，項目編號616。 附件2：外文原文visualization of plc programs using xmlm. bani younis and g. freyabstract - due to the growing complexity of plc pro

22、grams 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 t

23、hat 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 re-engineering approach based on the formalization of plc programs. the

24、 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

25、. introductionprogrammable logic controllers (plcs) are a special type of computers 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 p

26、rocess- 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 complexity from a simple panel to operate the lig

27、hts and motorized window shades in a conference room to completely automated manufacturing lines.with the widening of their application horizon， plc programs are being subject to increased complexity and high quality demands especially for safety-critical applications. the growing complexity of the

28、applications within the compliance 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

29、 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 reverse-engineering 3. reverse engineering is a process of evaluating something to understand how it works in order to duplicate or enhance it. while the reuse

30、of plc codes is being established as a tool for combating the complexity of plc programs, reverse engineering is supposed to receive increased importance in the coming years especially if exiting hardware has to be replaced by new hardware with different programming environmentsvisualization of exis

31、ting plc programs is an important intermediate step of reverse engineering. the paper provides an approach towards the visualization of plc programs using xml which is an important approach for the orientation and better understanding for engineers working with plc programs. the paper is structured

32、as follows. first, a short introduction to plcs and the corresponding programming techniques according to the iec 61131-3 standard is given. in section an approach for re-engineering based on formalization of plc programs is introduced. the transformation of the plc code into a vendor independent fo

33、rmat is identified as an important first step in this process. xml and corresponding technologies such as xsl and xslt that can be used in this transformation are presented in section iv. section v presents the application of xml for the visualization of plc programs and illustrates the approach wit

34、h an example. the final section summarizes the results and gives an outlook on future work in this ongoing project. plc and iec 61131since its inception in the early 70s the plc received increasing attention due to its success in fulfilling the objective of replacing hard-wired control equipments at

35、 machines. eventually it grew up as a distinct field of application, research and development, mainly for control engineering. iec 61 131 is the first real endeavour to standardize plc programming languages for industrial automation. in i993 the international electrotechnical commission 4 published

36、the iec 61131 intemational standard for programmable controllers. before the standardization plc programming languages were being developed as proprietary programming languages usable to plcs of a special vendor. but in order to enhance compatibility, openness and interoperability among different pr

37、oducts as well as to promote the development of tools and methodologies with respect to a fixed set of notations the iec 61131 standard evolved. the third part of this standard defines a suit of five programming languages:instruction list (il) is a low-level textual language with a structure similar

38、 to assembler. originated in europe il is considered to be the plc language in which all other iec61 131-3 languages can be translated.ladder diagram (lo) is a graphical language that has its roots in the usa. lds conform to a programming style borrowed from electronic and electrical circuits for im

39、plementing control logics.structured text (stj is a very powerful high-level language. st borrows its syntax from pascal, augmenting it with some features from ada. st contains all the essential elements of a modem programming language.function block diagram (fbd) is a graphical language and it is v

40、ery common to the process industry. in this language controllers are modelled as signal and data flows through function blocks. fbd transforms textual programming into connecting function blocks and thus improves modularity and software reuse.sequential function chart (sfc) is a graphical language.

41、sfc elements are defined for structuring the organization of programmable controller programs.one problem with iec 61131-3 is that there is no standardized format for the project information in a plc programming tool. at the moment there are only vendor specific formats. this is also one reason for

42、the restriction of formalization approaches to single programs or algorithms. however, recently the plc users organization plcopen (see ) started a technical committee to define an xml based format for projects according to iec 61131-3. this new format will ease the access of fo

43、rmalization tools to all relevant information of a plc project. re-engineering approachthe presented approach towards re-engineering is based upon the conception that xml can be used as a medium in which plc codes will be transformed.this transformation offers the advantage of obtaining avendor inde

44、pendent specification code. (even if the plcopen succeeds in defining a standardized format for plc applications, there will remain a lot of existing programs that do not conform to this standard.) based on this code a step-wise transformation to a formal model (automata) is planned. this model can

45、then be used for analysis, simulation, formal verification and validation, and finally for the re-implementation of the optimized algorithm on the same or another plc.since re-engineering of complete programs will, in most cases, be only a semi-automatic process, intermediate visualization of the co

46、de is an important point. at different stages of the process different aspects of the code and/or formal model have to be visualized in a way that a designer can guide the further work. xml with its powerful visualization and transformation tools is an ideal tool for solving this task.iv. xml as a t

47、ool for visualizationxml (extensible markup language) is a simple and flexible meta-language, i.e， a language for describing other languages. tailored by the world wide web consortium (w3c) as a dialect of sgml s, xml removes two constraints which were holding back web developments 6. the dependence

48、 on a single, inflexible document type (html) which was being much abused for tasks it was never designed for on one side; and the complexity of full sgml, whose syntax allows many powerful but hard-to-program options on the other side.while html describes how data should be presented, xml describes

49、 the data itself. a number of industries and scientific disciplines-medical records and newspaper publishing among them-are already using xml to exchange information across platforms and applications. xml can be tailored to describe virtually any kind of information in a form that the recipient of t

50、he information can use in a variety of ways. it is specifically designed to support information exchange between systems that use fundamentally different forms of data representation, as for example between cad and scheduling applications.using xml with its powerful parsers and inherent robustness i

51、n terms of syntactic and semantic grammar is more advantageous than the conventional method of using a lexical analyzer and a validating parser7.the conventional method of analysis of program code requires a scanner (lexical analyser) which generates a set of terminal symbols (tokens) followed by a

52、parser thatchecks the grammatical structure of the code and generates an object net. in the object net the internal structure of the program is represented by identified objects and the relations between them. both the scanner and the parser to be used in this method are document oriented which impl

53、ies that analysis of different types of documents requires rewriting the generated code for the scanner and the parser. an example of an application of this method can be found in 8.the most promising aspect of using xml instead is that xml and its complementary applications for transformations are

54、standardized so as to provide maximum flexibility to its user.the xml based method is advantageous, since the lexical specification is an invariant component of xml; therefore the well-formedness is independent from the respective individual application.hence, an xml-parser also can transfer well-sh

55、aped 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 well-formed xml documents. it defines the logical structure of documents and the way a document is accessed and manipulat

56、ed. 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 prese

57、nts this data as documents, and the dom can be used to manage this data5.xslt, the transformation language for xml is capable of transforming xml not only to another xml or html but to many other user-friendly 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 con