Chulalongkorn University Theses and Dissertations (Chula ETD)

เครื่องมือแปลงแบบจำลองเอนทิตีและความสัมพันธ์เป็นข้อกำหนดรูปนัยในรูปสัญกรณ์เซด

Other Title (Parallel Title in Other Language of ETD)

A tool for translating the entity relationship model to formal specification in Z

Year (A.D.)

1999

Document Type

Thesis

First Advisor

วิวัฒน์ วัฒนาวุฒิ

Faculty/College

Faculty of Engineering (คณะวิศวกรรมศาสตร์)

Degree Name

วิทยาศาสตรมหาบัณฑิต

Degree Level

ปริญญาโท

Degree Discipline

วิทยาศาสตร์คอมพิวเตอร์

DOI

10.58837/CHULA.THE.1999.734

Abstract

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

Other Abstract (Other language abstract of ETD)

This thesis designs algorithms and develops a tool for translating entity relationship model to formal specification in Z notation by using data dictionary and relationship dictionary as inputs. The algorithms are divided into 2 categories: structure property synthesizing algorithms and behavior property synthesizing algorithms while structure property synthesizing algorithms define entity schema, entity extension schema, and relationship schema. behavior property synthesizing algorithms define insert schema, update schema, and delete schema with referential integrity. Moreover, additional data types are defined such as character, string, and boolean which make the results of translation scheme, Z notation, completed. The translation tool is tested and the results are syntactically verified using Z/EVES checker program.

Link to Full Text

Share

COinS