Please use this identifier to cite or link to this item:
https://cuir.car.chula.ac.th/handle/123456789/12193
| Title: | ข้อกำหนดภาษา Z สำหรับการแปลงเอกสารเอชทีเอ็มแอลเป็นเอกสารเอ็กซ์เอ็มแอล |
| Other Titles: | Z specifications for HTML document to XML document conversion |
| Authors: | ประยุทธ ลิมปกานนท์ |
| Advisors: | พีระพนธ์ โสพัศสถิตย์ |
| Other author: | จุฬาลงกรณ์มหาวิทยาลัย. คณะวิทยาศาสตร์ |
| Advisor's Email: | [email protected] |
| Subjects: | แซด (ภาษาคอมพิวเตอร์) เอชทีเอ็มแอล เอ็กซ์เอ็มแอล |
| Issue Date: | 2545 |
| Publisher: | จุฬาลงกรณ์มหาวิทยาลัย |
| Abstract: | ในปัจจุบันการแลกเปลี่ยนข้อมูลระหว่างองค์กรหรือหน่วยงานผ่านเครือข่าย คอมพิวเตอร์ มีจำนวนเพิ่มขึ้นอย่างมาก เอกสาร HTML ที่ใช้กันอยู่ไม่สามารถตอบสนองต่อความต้องการ ในเรื่องการแลกเปลี่ยนข้อมูลได้อย่างสมบูรณ์เพราะ HTML เป็นภาษาที่เน้นการแสดงผลเป็นหลัก ไม่สามารถแยกข้อมูลออกมาเป็นโครงสร้างเพื่องานประเภทอื่นได้อย่างง่ายๆ ในขณะที่ XML เป็นภาษาที่เน้นเรื่องโครงสร้างของข้อมูล สามารถสร้าง tag เพิ่มและอธิบายความหมายได้ด้วยตัวเอง จึงทำให้ภาษา XML มีความยืดหยุ่นและสามารถนำไปใช้ในการติดต่อกับ application อื่นๆได้มากมาย งานวิทยานิพนธ์นี้จึงเป็นการกำหนดแนวทางเชิงรูปนัยของการแปลงเอกสาร HTML เป็นเอกสาร XML เพื่อตอบสนองต่อความต้องการข้างต้นที่จะเกิดขึ้นในอนาคต เนื่องจากโปรแกรมที่พัฒนากันทั่วไปมักเกิดจากการลองผิดลองถูก จึงทำให้พบความผิดพลาด (bug) ขณะโปรแกรมทำงานอยู่เสมอ วิธีเชิงรูปนัยไม่เริ่มจากการลองผิดลองถูก แต่จะสร้างข้อกำหนดของกระบวนการดังกล่าวขึ้นมาก่อนด้วยภาษา Z เพราะเป็นภาษาที่มีระเบียบวิธีเชิงรูปนัยบนฐานทางคณิตศาสตร์ ทำให้โปรแกรมที่สร้างตามระเบียบวิธีที่ได้มีความถูกต้อง ชัดเจน และสะดวกต่อการเปลี่ยนแปลงแก้ไขในอนาคต |
| Other Abstract: | Nowadays data interchange among organizations via computer network increases considerably. Use of HTML documents alone does not entirely serve the needs for data interchange in that HTML merely displays the outcome or contents of the document. It is unable to extract the structure of the HTML document for subsequence usage. XML, on the other hand, focuses on the structure of data in the document which allows new tags to be added for self-descriptive documentation. This renders XML to be highly flexible and adaptable to other applications. This research will concentrate on establishing a formal guideline for HTML to XML document transformation so as to fulfill the above requirements in the future. The fact that computer programs are generally developed on trial and error basis makes program bugs inevitable as the programs are being executed. Formal approach, on the contrary, will employ Z specification, a formal language based on mathematics, the yields correct, workable, and modifiable output to suit any future change. |
| Description: | วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2545 |
| Degree Name: | วิทยาศาสตรมหาบัณฑิต |
| Degree Level: | ปริญญาโท |
| Degree Discipline: | วิทยาการคณนา |
| URI: | http://cuir.car.chula.ac.th/handle/123456789/12193 |
| ISBN: | 9741731345 |
| Type: | Thesis |
| Appears in Collections: | Sci - Theses |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Prayouth.pdf | 565.19 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.