Please use this identifier to cite or link to this item:
https://cuir.car.chula.ac.th/handle/123456789/4178
| Title: | เครื่องมือแปลงแบบจำลองเอนทิตีและความสัมพันธ์เป็นข้อกำหนดรูปนัยในรูปสัญกรณ์เซด |
| Other Titles: | A tool for translating the entity relationship model to formal specification in Z |
| Authors: | วัชรวรรณ ศรีรัตนาลัย |
| Advisors: | วิวัฒน์ วัฒนาวุฒิ |
| Other author: | จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ |
| Advisor's Email: | wiwat@chula.ac.th |
| Subjects: | การเขียนโปรแกรม (คอมพิวเตอร์) Entity-relationship modeling Z notation |
| Issue Date: | 2542 |
| Publisher: | จุฬาลงกรณ์มหาวิทยาลัย |
| Abstract: | วิทยานิพนธ์นี้ได้ออกแบบขั้นตอนวิธีและพัฒนาเครื่องมือแปลงแบบจำลองเอนทิตีและความสัมพันธ์เป็นข้อกำหนดรูปนัยในรูปสัญกรณ์เซด โดยใช้ข้อมูลจากพจนานุกรมข้อมูล และพจนานุกรมความสัมพันธ์ของแบบจำลองเอนทิตีและความสัมพันธ์เป็นข้อมูลนำเข้า ขั้นตอนวิธีที่ใช้ในการแปลงแบ่งได้เป็น 2 กลุ่มคือ กลุ่มขั้นตอนวิธีการสังเคราะห์คุณสมบัติโครงสร้าง และกลุ่มขั้นตอนวิธีการสังเคราะห์คุณสมบัติพฤติกรรม โดยผลของขั้นตอนวิธีการสังเคราะห์คุณสมบัติโครงสร้างจะได้เป็นสัญกรณ์เซด 3 เค้าร่าง คือ เค้าร่างเอนทิตี เค้าร่างเพิ่มเติม และเค้าร่างความสัมพันธ์ ในขณะที่ผลของขั้นตอนวิธีการสังเคราะห์คุณสมบัติพฤติกรรมจะได้เป็นสัญกรณ์เซด 3 เค้าร่างเช่นกัน คือ เค้าร่างการเพิ่มระเบียน เค้าร่างการแก้ไขระเบียน และเค้าร่างการลบระเบียน ซึ่งคำนึงถึงบูรณภาพของการอ้างอิง นอกจากนี้ ยังได้มีการนิยามชนิดข้อมูลเพิ่มเติม คือ ชนิดข้อมูลตัวอักษร ชนิดข้อมูลสายอักษรและชนิดข้อมูลบูลีนเพื่อให้สัญกรณ์เซดซึ่งเป็นผลของการแปลงที่ได้มีความสมบูรณ์ยิ่งขึ้น โปรแกรมที่พัฒนาได้รับการทดสอบ และผลลัพธ์ได้รับการยืนยันว่ามีไวยากรณ์ถูกต้องจากโปรแกรมพิสูจน์ Z/EVES |
| Other Abstract: | 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. |
| Description: | วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2542 |
| Degree Name: | วิทยาศาสตรมหาบัณฑิต |
| Degree Level: | ปริญญาโท |
| Degree Discipline: | วิทยาศาสตร์คอมพิวเตอร์ |
| URI: | http://cuir.car.chula.ac.th/handle/123456789/4178 |
| ISBN: | 9743336346 |
| Type: | Thesis |
| Appears in Collections: | Eng - Theses |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| vacharawan.pdf | 4.54 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.