Please use this identifier to cite or link to this item:
https://cuir.car.chula.ac.th/handle/123456789/5536
| Title: | การสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซด |
| Other Titles: | construction of prolog programs from formal specification in the Z notation |
| Authors: | นุชรี ลาภจิตรกุศล |
| Advisors: | วิวัฒน์ วัฒนาวุฒิ |
| Other author: | จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ |
| Advisor's Email: | wiwat@chula.ac.th |
| Subjects: | โปรลอก (ภาษาคอมพิวเตอร์) ซอฟต์แวร์ -- การพัฒนา แซ็ด (ภาษาคอมพิวเตอร์) |
| Issue Date: | 2543 |
| Publisher: | จุฬาลงกรณ์มหาวิทยาลัย |
| Abstract: | วิทยานิพนธ์นี้ได้ออกแบบขั้นตอนวิธีและพัฒนาเครื่องมือสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซด โดยใช้ข้อกำหนดรูปนัยในรูปสัญกรณ์เซดซึ่งอยู่ในรูปแทคของลาเทกซ์เป็นข้อมูลนำเข้า นอกจากนี้ได้นำเสนอไลบราลีสำหรับอธิบายตัวดำเนินการของสัญกรณ์เซดในรูปกฎของภาษาโพรล็อก กระบวนการสร้างโปรแกรมโพรล็อกจากข้อกำหนดรูปนัยในรูปสัญกรณ์เซดประกอบด้วย 2 ขั้นตอนวิธีหลักคือ ขั้นตอนวิธีการเรียงลำดับภาคแสดง และขั้นตอนวิธีการแปลงข้อกำหนดรูปนัยในรูปสัญกรณ์เซดเป็นโพรล็อก ขั้นตอนวิธีการเรียงลำดับภาคแสดงทำการลำดับภาคแสดงในส่วนสัจพจน์ของข้อกำหนดรูปนัยในรูปสัญกรณ์เซดให้ถูกต้อง ส่วนขั้นตอนวิธีการแปลงข้อกำหนดรูปนัยในรูปสัญกรณ์เซดเป็นโพรล็อกจะได้ผลลัพธ์โปรแกรมโพรล็อกที่แสดงถึงข้อกำหนดที่เป็นข้อมูลเข้า ผลลัพธ์โปรแกรมโพรล็อกที่ได้ดังกล่าวสามารถแสดงฟังก์ชันการทำงานของข้อกำหนดรูปนัยในรูปสัญกรณ์เซดได้อย่างครบถ้วนในระยะต้นของการพัฒนาซอฟต์แวร์ |
| Other Abstract: | This thesis designs algorithms and develops a tool for constructing Prolog programs from formal specification in the Z notation by using Latex format of Z specifications as the input. Moreover, a Prolog's library is proposed as to describe the operators of Z notation in terms of Prolog's rules. The scheme of constructing Prolog programs from formal specifications in Z notation consists of two main algorithms: Axiom Part Reordering Algorithm and Z-to-Prolog Transforming Algorthm. The Axiom Part Reordering Algorithm ensures the appropriate sequence of predicates in axiom part of the Z specifications and the Z-to-Prolog Transforming Algorithm produces the final Prolog programs to represent the input specifications The Prolog programs are interpreted and successfully demonstrate all functions of formal specifications in Z notation in the early stage of software process. |
| Description: | วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2543 |
| Degree Name: | วิทยาศาสตรมหาบัณฑิต |
| Degree Level: | ปริญญาโท |
| Degree Discipline: | วิทยาศาสตร์คอมพิวเตอร์ |
| URI: | http://cuir.car.chula.ac.th/handle/123456789/5536 |
| ISBN: | 9743464751 |
| Type: | Thesis |
| Appears in Collections: | Eng - Theses |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Nucharee.pdf | 2.25 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.