Please use this identifier to cite or link to this item:
https://cuir.car.chula.ac.th/handle/123456789/1180
| Title: | การพัฒนาบรรณาธิกรณ์แผนภาพสถานะ เพื่อเขียนข้อกำหนดรูปนัยคาเฟโอบีเจ |
| Other Titles: | A development of a state diagram editor for writing a formal specification in CafeOBJ |
| Authors: | มาณพ รัติโชติ, 2513- |
| Advisors: | วิวัฒน์ วัฒนาวุฒิ |
| Other author: | จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ |
| Advisor's Email: | wiwat@chula.ac.th |
| Subjects: | วิธีรูปนัย (วิทยาการคอมพิวเตอร์) ซอฟต์แวร์ -- ข้อกำหนด คาเฟโอบีเจ |
| Issue Date: | 2544 |
| Publisher: | จุฬาลงกรณ์มหาวิทยาลัย |
| Abstract: | ออกแบบกฎการแปลงจากแผนภาพสถานะไปเป็นข้อกำหนดรูปนัยคาเฟโอบีเจ ที่พัฒนามาจากภาษาโอบีเจ โดยกฎการแปลงจะถูกใช้เป็นแนวทางในการพิจารณาแต่ละส่วนประกอบ ของแผนภาพสถานะของยูเอ็มแอล เพื่อหาความสัมพันธ์กับวากยะสัมพันธ์ของภาษาคาเฟโอบีเจ โดยแต่ละแผนภาพสถานะจะอธิบายถึงพฤติกรรมของวัตถุ จากกฎการแปลงที่ได้ พัฒนาเครื่องมือสำหรับการวาดแผนภาพสถานะ เพื่อใช้สร้างข้อกำหนดรูปนัยคาเฟโอบีเจ สำหรับอำนวยความสะดวกในการกำหนดสมการความเท่ากัน ของสัจพจน์ของตัวดำเนิน โดยการดึงส่วนประกอบที่เหมาะสมสำหรับการเขียนสมการ โปรแกรมที่พัฒนาได้รับการทดสอบ และผลลัพธ์ได้รับการยืนยันว่า มีวากยะสัมพันธ์ถูกต้องจากโปรแกรมแปลงภาษาคาเฟโอบีเจ |
| Other Abstract: | To propose a formal specification method by using the transformation rules to map state diagram notations into CafeOBJ specification, a novel successor of OBJ algebraic language. The transformation rules are used as a guideline to consider each component of UML state diagram and provide a corresponding formal definition in CafeOBJ syntax. In this research, it assumes that each state diagram describes the behavior property of an object. From the defined transformation rules, a translation tool was developed for drawing the state diagram and generating the CafeOBJ formal specification. The tool helps to define the equation of axiom of each operation by retrieving the appropriate parts-operation, variable for writing equations. The translation tool is tested and the results are syntactically verified using CafeOBJ interpreter. |
| Description: | วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2544 |
| Degree Name: | วิทยาศาสตรมหาบัณฑิต |
| Degree Level: | ปริญญาโท |
| Degree Discipline: | วิทยาศาสตร์คอมพิวเตอร์ |
| URI: | http://cuir.car.chula.ac.th/handle/123456789/1180 |
| ISBN: | 9740309135 |
| Type: | Thesis |
| Appears in Collections: | Eng - Theses |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.