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