Please use this identifier to cite or link to this item:
https://cuir.car.chula.ac.th/handle/123456789/1631
| Title: | การตรวจสอบความต้องกันระหว่างแผนภาพความร่วมมือ และแผนภาพสถานะของยูเอ็มแอลโดยใช้ไพแคลคูลัส |
| Other Titles: | Consistency checking between UML collaboration diagrams and statechart diagrams using [pi]-calculus |
| Authors: | วราวุฒิ ผ้าเจริญ, 2523- |
| Advisors: | อรรถสิทธิ์ สุรฤกษ์ ภัทรสินี ภัทรโกศล |
| Other author: | จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ |
| Advisor's Email: | athasit@cp.eng.chula.ac.th Pattarasinee.B@Chula.ac.th, bpattara@sc.chula.ac.th |
| Subjects: | ซอฟต์แวร์--การวัด ยูเอ็มแอล (วิทยาการคอมพิวเตอร์) ไพแคลคูลัส |
| Issue Date: | 2547 |
| Publisher: | จุฬาลงกรณ์มหาวิทยาลัย |
| Abstract: | วิทยานิพนธ์นี้ นำเสนอวิธีการตรวจสอบความต้องกันระหว่างแผนภาพความร่วมมือ และแผนภาพสถานะของยูเอ็มแอลซึ่งเป็นเครื่องมือที่นิยมใช้ในการออกแบบทางด้านวิศวกรรมซอฟต์แวร์ การตรวจสอบทำได้โดยการแปลงแผนภาพทั้งสองไปเป็นไพแคลคูลัส โดยวิทยานิพนธ์นี้ได้เสนอกฎการแปลงแผนภาพความร่วมมือเป็นไพแคลคูลัสจำนวน 8 ข้อ และกฎการแปลงแผนภาพสถานะเป็นไพแคลคูลัสจำนวน 9 ข้อ หลังจากที่ได้ไพแคลคูลัสจากการแปลงแผนภาพทั้งหมด การตรวจสอบความต้องกันระหว่างแผนภาพความร่วมมือ และแผนภาพสถานะสามารถทำได้โดยการตรวจสอบว่าเกิดความข้ดแย้งกันของเหตุการณ์ที่สามารถเกิดขึ้นได้จากแผนภาพควมร่วมมือ เทียบกับเหตุการณ์ที่เป็นไปได้ทั้งหมดของวัตถุในระบบที่ทำงานไปพร้อมๆ กันซึ่งได้ถูกบรรยายไว้ในแผนภาพสถานะหรือไม่ |
| Other 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. |
| Description: | วิทยานิพนธ์ (วศ.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2547 |
| Degree Name: | วิทยาศาสตรมหาบัณฑิต |
| Degree Level: | ปริญญาโท |
| Degree Discipline: | วิทยาศาสตร์คอมพิวเตอร์ |
| URI: | http://cuir.car.chula.ac.th/handle/123456789/1631 |
| ISBN: | 9741771541 |
| Type: | Thesis |
| Appears in Collections: | Eng - Theses |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| WarawootPa.pdf | 1.16 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.