การตรวจสอบความต้องกันระหว่างแผนภาพความร่วมมือ และแผนภาพสถานะของยูเอ็มแอลโดยใช้ไพแคลคูลัส

Consistency checking between UML collaboration diagrams and statechart diagrams using [pi]-calculus

Name: วราวุฒิ ผ้าเจริญ

ThaSH: ซอฟต์แวร์ -- การวัด

ThaSH: ยูเอ็มแอล (วิทยาการคอมพิวเตอร์)

ThaSH: ไพแคลคูลัส

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

Abstract: The thesis proposes a method for consistency checking between UML Collaboration diagrams and Statechart diagrams where UML is a stat-of-the-art tool for designing in software engineering. A verification is started from transforming both diagrams into [pi]-Calculus. This thesis proposes 8 rules for transformation collaboration diagrams into [pi]-Calculus and 9 rules for statechart diagram. As a result, a consistency checking is done by applying the rules to both diagrams and checking a consistence between events from collaboration diagrams and all events from statechart diagrams of all objects in the concurrent system.

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

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

Email: cuir@car.chula.ac.th

Name: อรรถสิทธิ์ สุรฤกษ์

Role: ที่ปรึกษา

Name: ภัทรสินี ภัทรโกศล

Role: ที่ปรึกษา

Created: 2547

Issued: 2006-02-28

Modified: 2006-05-02

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

URL: http://thailis-db.car.chula.ac.th/CU_DC/Thesis/February2006/WarawootPa.pdf

ISBN: 9741771541

tha

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

Level: ปริญญาโท

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

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

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

ลำดับที่.	ชื่อแฟ้มข้อมูล	ขนาดแฟ้มข้อมูล	จำนวนเข้าถึง	วัน-เวลาเข้าถึงล่าสุด
1	WarawootPa.pdf	1.03 MB	78	2025-09-05 10:53:08

ใช้เวลา

0.036202 วินาที