Chulalongkorn University Theses and Dissertations (Chula ETD)
การออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอ็กซ์เอ็มแอล
Other Title (Parallel Title in Other Language of ETD)
Design and development of a representation for Z formal specification with XML
Year (A.D.)
2001
Document Type
Thesis
First Advisor
วิวัฒน์ วัฒนาวุฒิ
Faculty/College
Faculty of Engineering (คณะวิศวกรรมศาสตร์)
Degree Name
วิทยาศาสตรมหาบัณฑิต
Degree Level
ปริญญาโท
Degree Discipline
วิทยาศาสตร์คอมพิวเตอร์
DOI
10.58837/CHULA.THE.2001.1122
Abstract
วิทยานิพนธ์นี้ได้ออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอกสารเอ็กซ์เอ็มแอล ซึ่งประกอบด้วยการออกแบบและพัฒนา โปรแกรมประยุกต์ของเอ็กซ์เอ็มแอลในรูปแบบของเอกสาร 3 ประเภทคือ เอกสารเค้าร่างเซดเอ็กซ์เอ็มแอล ทำหน้าที่กำหนดและตรวจสอบโครงสร้างของข้อกำหนดรูปนัยภาษาเซดที่เขียนด้วยไวยากรณ์เอ็กซ์เอ็มแอลให้อยู่ในรูปแบบที่ถูกต้องสมบูรณ์เอกสารเซดเอ็กซ์เอ็มแอลดีทีดี ทำหน้าที่ประกาศข้อกำหนด การอ้างอิงถึงสัญลักษณ์ทางคณิตศาสตร์ที่มีการใช้ในข้อกำหนดรูปนัยภาษาเซดกับชุดอักขระยูนิโคด และเอกสารเอ็กซ์เอสแอลสไตล์ชีท ทำหน้าที่แจงส่วนไวยากรณ์ภาษาเซด และแปลงข้อกำหนดรูปนัยภาษาเซดในรูปของเอกสารเอ็กซ์เอ็มแอลเป็นเอกสารเอชทีเอ็มแอล เพื่อที่จะสามารถแสดงผล ข้อกำหนดรูปนัยภาษาเซดในรูปแบบดังกล่าวบนเว็บเบราว์เซอร์ได้อย่างถูกต้อง อนึ่ง ระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซด ด้วยเอ็กซ์เอ็มแอลที่พัฒนาขึ้นนี้ได้รับการทดสอบกับกรณีศึกษา และผลลัพธ์ได้รับการยืนยันว่าสามารถแสดงผลข้อกำหนดรูปนัยภาษาเซดอย่างถูกต้อง
Other Abstract (Other language abstract of ETD)
This thesis designs and develops a representation for Z specification by using XML document. The system is developed and constructed from three XML application documents as follows: Z/XML schema document-to specify and validate the structure of Z specification in well-formed XML document, Z/XML DTD (Document Type Definitions) - to specify the set of mathematical symbols used within Z specification and to reference Unicode characters, and Z/XSL (XML Stylesheet Language) - to parse the Z syntax and transform the XML document to HTML document for displaying on the World Wide Web browser. The system is tested and the results are correctly verified by using the case study
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Recommended Citation
หาญชนะ, รัฐเขต, "การออกแบบและพัฒนาระบบการนำเสนอข้อกำหนดรูปนัยภาษาเซดด้วยเอ็กซ์เอ็มแอล" (2001). Chulalongkorn University Theses and Dissertations (Chula ETD). 64057.
https://digital.car.chula.ac.th/chulaetd/64057