1. CUIR at Chulalongkorn University
  2. Faculty and Institute
  3. Faculty of Engineering - Eng
  4. Eng - Theses
Please use this identifier to cite or link to this item: https://cuir.car.chula.ac.th/handle/123456789/1631
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorอรรถสิทธิ์ สุรฤกษ์-
dc.contributor.advisorภัทรสินี ภัทรโกศล-
dc.contributor.authorวราวุฒิ ผ้าเจริญ, 2523--
dc.contributor.otherจุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์-
dc.date.accessioned2006-08-10T05:45:35Z-
dc.date.available2006-08-10T05:45:35Z-
dc.date.issued2547-
dc.identifier.isbn9741771541-
dc.identifier.urihttp://cuir.car.chula.ac.th/handle/123456789/1631-
dc.descriptionวิทยานิพนธ์ (วศ.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2547en
dc.description.abstractวิทยานิพนธ์นี้ นำเสนอวิธีการตรวจสอบความต้องกันระหว่างแผนภาพความร่วมมือ และแผนภาพสถานะของยูเอ็มแอลซึ่งเป็นเครื่องมือที่นิยมใช้ในการออกแบบทางด้านวิศวกรรมซอฟต์แวร์ การตรวจสอบทำได้โดยการแปลงแผนภาพทั้งสองไปเป็นไพแคลคูลัส โดยวิทยานิพนธ์นี้ได้เสนอกฎการแปลงแผนภาพความร่วมมือเป็นไพแคลคูลัสจำนวน 8 ข้อ และกฎการแปลงแผนภาพสถานะเป็นไพแคลคูลัสจำนวน 9 ข้อ หลังจากที่ได้ไพแคลคูลัสจากการแปลงแผนภาพทั้งหมด การตรวจสอบความต้องกันระหว่างแผนภาพความร่วมมือ และแผนภาพสถานะสามารถทำได้โดยการตรวจสอบว่าเกิดความข้ดแย้งกันของเหตุการณ์ที่สามารถเกิดขึ้นได้จากแผนภาพควมร่วมมือ เทียบกับเหตุการณ์ที่เป็นไปได้ทั้งหมดของวัตถุในระบบที่ทำงานไปพร้อมๆ กันซึ่งได้ถูกบรรยายไว้ในแผนภาพสถานะหรือไม่en
dc.description.abstractalternativeThe 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.en
dc.format.extent1075194 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isothen
dc.publisherจุฬาลงกรณ์มหาวิทยาลัยen
dc.rightsจุฬาลงกรณ์มหาวิทยาลัยen
dc.subjectซอฟต์แวร์--การวัดen
dc.subjectยูเอ็มแอล (วิทยาการคอมพิวเตอร์)en
dc.subjectไพแคลคูลัสen
dc.titleการตรวจสอบความต้องกันระหว่างแผนภาพความร่วมมือ และแผนภาพสถานะของยูเอ็มแอลโดยใช้ไพแคลคูลัสen
dc.title.alternativeConsistency checking between UML collaboration diagrams and statechart diagrams using [pi]-calculusen
dc.typeThesisen
dc.degree.nameวิทยาศาสตรมหาบัณฑิตen
dc.degree.levelปริญญาโทen
dc.degree.disciplineวิทยาศาสตร์คอมพิวเตอร์en
dc.degree.grantorจุฬาลงกรณ์มหาวิทยาลัยen
dc.email.advisorathasit@cp.eng.chula.ac.th-
dc.email.advisorPattarasinee.B@Chula.ac.th, bpattara@sc.chula.ac.th-
Appears in Collections:Eng - Theses

Files in This Item:
File Description SizeFormat 
WarawootPa.pdf1.16 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.