การแปลงแผนภาพคลาสและแผนภาพซีเควนซ์ของยูเอ็มแอลเป็นแอ็บสเตร็คแมชชีนบี

ไวทยะ ศรีจรุณรัตน์

Please use this identifier to cite or link to this item: https://cuir.car.chula.ac.th/handle/123456789/66788

Title:	การแปลงแผนภาพคลาสและแผนภาพซีเควนซ์ของยูเอ็มแอลเป็นแอ็บสเตร็คแมชชีนบี
Other Titles:	Transformation of UML class diagrams and sequence diagrams into B Abstract Machine
Authors:	ไวทยะ ศรีจรุณรัตน์
Advisors:	วิวัฒน์ วัฒนาวุฒิ
Other author:	จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์
Advisor's Email:	[email protected]
Subjects:	ยูเอ็มแอล (วิทยาการคอมพิวเตอร์) บี (ภาษาคอมพิวเตอร์) UML (Computer science) B (Computer program language)
Issue Date:	2548
Publisher:	จุฬาลงกรณ์มหาวิทยาลัย
Abstract:	งานวิจัยนี้มีวัตถุประสงค์เพื่อนำเสนอกฎการแปลง การออกแบบ และการพัฒนาเครื่องมือซอฟต์แวร์ที่ใช้ในการแปลงชุดของแผนภาพคลาสและแผนภาพซีแควน์จำนวนหลายแผนภาพเป็นแอ็บสแตร็คแมชชีนบีโดยกฎการแปลงแผนภาพคลาสและแผนภาพซีแควน์จำนวนหลายแผนภาพ ประกอบด้วยกฎการแปลงทั้งหมด 14 กฎ ทำให้ได้แอ็บสแตร็คแมชชีนบีที่สามารถอธิบายความหมายของระบบในเชิงโครงสร้าง และความหมายของระบบในเชิงพฤติกรรม ความหมายของระบบในเชิงโครงสร้างจะอธิบายถึงคลาส และความสัมพันธ์ทั้งหมดระหว่างคลาส ซึ่งความสัมพันธ์ทั้งหมดระหว่างคลาสจะครอบคลุมถึง ความสัมพันธ์แอสโซซิเอชัน ความสัมพันธ์แอกริเกชัน ความสัมพันธ์คอมโพสิชัน และความสัมพันธ์เจเนอรัลไลเซชัน สำหรับความหมายของระบบในเชิงพฤติกรรมจะอธิบายถึงโอเปอเรชัน ทั้งหมดจากการติดต่อกันระหว่างออบเจ็คของคลาสจำนวนหลายเหตุการณ์ที่เกิดขึ้นจากแผนภาพซีแควนซ์ แอ็บสแตร็คแมชชีนบีที่เป็นผลลัพธ์จากเครื่องมือที่พัฒนานี้ จำได้รับการตรวจสอบความถูกต้องของวากยสัมพันธ์จากโปรแกรมพิสูจน์บีทูลคิต นอกจากนี้เครื่องมือที่พัฒนาซอฟต์แวร์ที่ใช้ในการแปลงชุดของแผนภาพคลาสและแผนภาพซีเควนซ์จำนวนหลายแผนภาพเป็นแอ็บสแตร็คแมชชีนบี มีความสามารถในการตรวจสอบความถูกต้องของข้อมูลนำเข้ารูปแบบของเอ็กซ์เอ็มไอ ได้แก่ การตรวจสอบความถูกต้องของการระบุชนิดของคุณลักษณะและชนิดค่าที่ส่งคืนของโอเปอเรชัน การตรวจสอบจำนวนคลาสและจำนวนออบเจ็คจากแผนภาพยูเอ็มแอล และการตรวจสอบจำนวนโอเปอเรชันของคลาสในแผนภาพคลาสและจำนวนข้อความจากการสื่อสารกันระหว่างออบเจ็คของคลาสในแผนภาพซีแควนซ์
Other Abstract:	The purpose of this research is to propose transformation rules, design and development of a tool for transform class diagrams and their related sequence diagrams into B Abstract Machines (BAM). We propose 14 transformation rules of class diagrams and sequence diagrams into BAM. The expected BAMs represent the semantic of structural properties and behavior properties. The semantic of structural properties describe collection of classes and their relations which are association, aggregation, composition and generalization. The sematic of behavioral properties describe a collection of operations from scenarios illustrating the major interactions among related classes as to achieve a specific goal and sequence diagrams. The result specification in BAM has been syntactically checked by B-Toolkit program. Moreover the software tool for transforming class diagrams and sequence diagrams into BAM can check the correctness of input XMI data. The correctness of attributes type and return type of operations, number of classes versus number of objects from UML diagrams, and number of operations from class diagrams versus number of message from sequence diagrams can be checked.
Description:	วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2548
Degree Name:	วิทยาศาสตรมหาบัณฑิต
Degree Level:	ปริญญาโท
Degree Discipline:	วิทยาศาสตร์คอมพิวเตอร์
URI:	http://cuir.car.chula.ac.th/handle/123456789/66788
ISBN:	9745329002
Type:	Thesis
Appears in Collections:	Eng - Theses

Files in This Item:

File	Description	Size	Format
Waitaya_sr_front_p.pdf	หน้าปก บทคัดย่อ และสารบัญ	1.26 MB	Adobe PDF	View/Open
Waitaya_sr_ch1_p.pdf	บทที่ 1	695.51 kB	Adobe PDF	View/Open
Waitaya_sr_ch2_p.pdf	บทที่ 2	1.27 MB	Adobe PDF	View/Open
Waitaya_sr_ch3_p.pdf	บทที่ 3	4.75 MB	Adobe PDF	View/Open
Waitaya_sr_ch4_p.pdf	บทที่ 4	1.54 MB	Adobe PDF	View/Open
Waitaya_sr_ch5_p.pdf	บทที่ 5	4.01 MB	Adobe PDF	View/Open
Waitaya_sr_ch6_p.pdf	บทที่ 6	701.45 kB	Adobe PDF	View/Open
Waitaya_sr_back_p.pdf	บรรณานุกรม และภาคผนวก	4.92 MB	Adobe PDF	View/Open

Show full item record