Please use this identifier to cite or link to this item:
https://cuir.car.chula.ac.th/handle/123456789/65606
| Title: | การแปลงแผนภาพเครือข่ายอนุภาคความต้องการเป็นข้อกำหนดคาเฟโอบีเจ |
| Other Titles: | Transformation of a requirements particle network diagram into CafeOBJ specification |
| Authors: | พงศธร เงางาม |
| Advisors: | วิวัฒน์ วัฒนาวุฒิ |
| Other author: | จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ |
| Advisor's Email: | Wiwat.V@chula.ac.th |
| Subjects: | วิธีรูปนัย (วิทยาการคอมพิวเตอร์) วิธีเชิงวัตถุ (วิทยาการคอมพิวเตอร์) ซอฟต์แวร์ -- การพัฒนา Formal methods (Computer science) Object-oriented methods (Computer science) Computer software -- Development |
| Issue Date: | 2546 |
| Publisher: | จุฬาลงกรณ์มหาวิทยาลัย |
| Abstract: | วิทยานิพนธ์นี้ นำเสนอขั้นตอนวิธีการแปลงแผนภาพเครือข่ายอนุภาคความต้องการเป็นข้อกำหนดคาเฟโอบีเจ โดยขั้นตอนวิธีการแปลงประกอบด้วย การสร้างส่วนการกำหนดสัจพจน์ การสร้างส่วนกำหนดชื่อมอดูล การสร้างส่วนการประกาศมอดูลนำเข้า การสร้างส่วนการกำหนดตัวดำเนินการ และการสร้างส่วนการกำหนดตัวแปร สำหรับการสร้างส่วนกำหนดสัจพจน์นั้น สร้างขึ้นมาจากแผนภาพเครือข่ายอนุภาคความต้องการ โดยได้นำเสนอกฎการแปลงแผนภาพเครือข่ายอนุภาคความต้องการเป็นข้อกำหนดคาเฟโอบีเจจำนวน 12 ข้อ มอดูลคาเฟโอบีเจผลลัพธ์จากขั้นตอนวิธีดังกล่าว ถูกนำไปใช้ร่วมกับมอดูลคาเฟโอบีเจที่มีอยู่เบื้องต้นในคลังตัดเก็บตัวดำเนินการ เพื่อใช้เป็นข้อกำหนดรูปนัยคาเฟโอบีที่ครบถ้วนสมบูรณ์ งานวิจัยนี้ได้ครอบคลุมถึงการพัฒนาเครื่องมือซอฟต์แวร์สำหรับสร้างข้อกำหนดรูปนัยโดยใช้กฎการแปลงที่นำเสนอ ซึ่งได้ออกแบบข้อมูลนำเข้าให้อยู่ในรูปแบบของแฟ้มข้อความที่แทนแผนภาพเครือข่ายอนุภาคความต้องการ ข้อกำหนดรูปนัยที่เป็นผลลัพธ์จากการแปลงได้รับการตรวจสอบความถูกต้องทั้งวากยสัมพันธ์และความสอดคล้องของข้อกำหนด ด้วยโปรแกรมแปลภาษาคาเฟโอบีเจ |
| Other Abstract: | The thesis proposes an algorithm to transform a Requirements Particle Network diagram into CafeOBJ specification. The transformation algorithm consists of the constructions of axiom declaration part, module name declaration part, import module declaration part, operator declaration part, and variable declaration part. In particular, we propose 12 transformation rules to construct CafeOBJ specification from Requirements Particle Network diagram, for axiom declaration part. The complete CafeOBJ specification includes both the CafeOBJ module constructed by the transformation algorithm and the appropriate predefined CafeOBJ modules in the operator library. This research includes a development of specification construction software tool using the proposed transformation rules. The input Requirements Particle Network diagram is represented in textual format. The final CafeOBJ specification has been tested by CafeOBJ interpreter to assure the correction of the syntax and their consistency. |
| Description: | วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2546 |
| Degree Name: | วิศวกรรมศาสตรมหาบัณฑิต |
| Degree Level: | ปริญญาโท |
| Degree Discipline: | วิศวกรรมคอมพิวเตอร์ |
| URI: | http://cuir.car.chula.ac.th/handle/123456789/65606 |
| ISBN: | 9741736932 |
| Type: | Thesis |
| Appears in Collections: | Eng - Theses |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Pongsathorn_ng_front_p.pdf | หน้าปก บทคัดย่อ และสารบัญ | 786.94 kB | Adobe PDF | View/Open |
| Pongsathorn_ng_ch1_p.pdf | บทที่ 1 | 642.11 kB | Adobe PDF | View/Open |
| Pongsathorn_ng_ch2_p.pdf | บทที่ 2 | 988.26 kB | Adobe PDF | View/Open |
| Pongsathorn_ng_ch3_p.pdf | บทที่ 3 | 935.87 kB | Adobe PDF | View/Open |
| Pongsathorn_ng_ch4_p.pdf | บทที่ 4 | 826.76 kB | Adobe PDF | View/Open |
| Pongsathorn_ng_ch5_p.pdf | บทที่ 5 | 1.82 MB | Adobe PDF | View/Open |
| Pongsathorn_ng_ch6_p.pdf | บทที่ 6 | 666.94 kB | Adobe PDF | View/Open |
| Pongsathorn_ng_back_p.pdf | รายการอ้างอิง และภาคผนวก | 1.34 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.