Abstract:
วิทยานิพนธ์นี้ได้ออกแบบขั้นตอนวิธีและพัฒนาเครื่องมือแปลงแบบจำลองเอนทิตีและความสัมพันธ์เป็นข้อกำหนดรูปนัยในรูปสัญกรณ์เซด โดยใช้ข้อมูลจากพจนานุกรมข้อมูล และพจนานุกรมความสัมพันธ์ของแบบจำลองเอนทิตีและความสัมพันธ์เป็นข้อมูลนำเข้า ขั้นตอนวิธีที่ใช้ในการแปลงแบ่งได้เป็น 2 กลุ่มคือ กลุ่มขั้นตอนวิธีการสังเคราะห์คุณสมบัติโครงสร้าง และกลุ่มขั้นตอนวิธีการสังเคราะห์คุณสมบัติพฤติกรรม โดยผลของขั้นตอนวิธีการสังเคราะห์คุณสมบัติโครงสร้างจะได้เป็นสัญกรณ์เซด 3 เค้าร่าง คือ เค้าร่างเอนทิตี เค้าร่างเพิ่มเติม และเค้าร่างความสัมพันธ์ ในขณะที่ผลของขั้นตอนวิธีการสังเคราะห์คุณสมบัติพฤติกรรมจะได้เป็นสัญกรณ์เซด 3 เค้าร่างเช่นกัน คือ เค้าร่างการเพิ่มระเบียน เค้าร่างการแก้ไขระเบียน และเค้าร่างการลบระเบียน ซึ่งคำนึงถึงบูรณภาพของการอ้างอิง นอกจากนี้ ยังได้มีการนิยามชนิดข้อมูลเพิ่มเติม คือ ชนิดข้อมูลตัวอักษร ชนิดข้อมูลสายอักษรและชนิดข้อมูลบูลีนเพื่อให้สัญกรณ์เซดซึ่งเป็นผลของการแปลงที่ได้มีความสมบูรณ์ยิ่งขึ้น โปรแกรมที่พัฒนาได้รับการทดสอบ และผลลัพธ์ได้รับการยืนยันว่ามีไวยากรณ์ถูกต้องจากโปรแกรมพิสูจน์ Z/EVES