วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2545

ในปัจจุบันการแลกเปลี่ยนข้อมูลระหว่างองค์กรหรือหน่วยงานผ่านเครือข่าย คอมพิวเตอร์ มีจำนวนเพิ่มขึ้นอย่างมาก เอกสาร HTML ที่ใช้กันอยู่ไม่สามารถตอบสนองต่อความต้องการ ในเรื่องการแลกเปลี่ยนข้อมูลได้อย่างสมบูรณ์เพราะ HTML เป็นภาษาที่เน้นการแสดงผลเป็นหลัก ไม่สามารถแยกข้อมูลออกมาเป็นโครงสร้างเพื่องานประเภทอื่นได้อย่างง่ายๆ ในขณะที่ XML เป็นภาษาที่เน้นเรื่องโครงสร้างของข้อมูล สามารถสร้าง tag เพิ่มและอธิบายความหมายได้ด้วยตัวเอง จึงทำให้ภาษา XML มีความยืดหยุ่นและสามารถนำไปใช้ในการติดต่อกับ application อื่นๆได้มากมาย งานวิทยานิพนธ์นี้จึงเป็นการกำหนดแนวทางเชิงรูปนัยของการแปลงเอกสาร HTML เป็นเอกสาร XML เพื่อตอบสนองต่อความต้องการข้างต้นที่จะเกิดขึ้นในอนาคต เนื่องจากโปรแกรมที่พัฒนากันทั่วไปมักเกิดจากการลองผิดลองถูก จึงทำให้พบความผิดพลาด (bug) ขณะโปรแกรมทำงานอยู่เสมอ วิธีเชิงรูปนัยไม่เริ่มจากการลองผิดลองถูก แต่จะสร้างข้อกำหนดของกระบวนการดังกล่าวขึ้นมาก่อนด้วยภาษา Z เพราะเป็นภาษาที่มีระเบียบวิธีเชิงรูปนัยบนฐานทางคณิตศาสตร์ ทำให้โปรแกรมที่สร้างตามระเบียบวิธีที่ได้มีความถูกต้อง ชัดเจน และสะดวกต่อการเปลี่ยนแปลงแก้ไขในอนาคต