การพัฒนาบรรณาธิกรณ์แผนภาพสถานะ เพื่อเขียนข้อกำหนดรูปนัยคาเฟโอบีเจ

A development of a state diagram editor for writing a formal specification in CafeOBJ

Name: มาณพ รัติโชติ

ThaSH: วิธีรูปนัย (วิทยาการคอมพิวเตอร์)

ThaSH: ซอฟต์แวร์ -- ข้อกำหนด

ThaSH: คาเฟโอบีเจ

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

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

จุฬาลงกรณ์มหาวิทยาลัย

Address: กรุงเทพมหานคร (Bangkok)

Email: cuir@car.chula.ac.th

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

Role: ที่ปรึกษา

Created: 2544

Issued: 2005-03-28

Modified: 2006-05-15

วิทยานิพนธ์/Thesis

URL: http://thailis-db.car.chula.ac.th/CU_DC/May2004/thesis/Manop.pdf

ISBN: 9740309135

tha

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

Level: ปริญญาโท

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

Grantor: จุฬาลงกรณ์มหาวิทยาลัย

©copyrights จุฬาลงกรณ์มหาวิทยาลัย

ลำดับที่.	ชื่อแฟ้มข้อมูล	ขนาดแฟ้มข้อมูล	จำนวนเข้าถึง	วัน-เวลาเข้าถึงล่าสุด
1	Manop.pdf	1.48 MB	36	2024-01-12 14:10:59

ใช้เวลา

0.036306 วินาที