Please use this identifier to cite or link to this item:
https://cuir.car.chula.ac.th/handle/123456789/66788
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | วิวัฒน์ วัฒนาวุฒิ | - |
| dc.contributor.author | ไวทยะ ศรีจรุณรัตน์ | - |
| dc.contributor.other | จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์ | - |
| dc.date.accessioned | 2020-07-02T06:53:55Z | - |
| dc.date.available | 2020-07-02T06:53:55Z | - |
| dc.date.issued | 2548 | - |
| dc.identifier.isbn | 9745329002 | - |
| dc.identifier.uri | http://cuir.car.chula.ac.th/handle/123456789/66788 | - |
| dc.description | วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2548 | en_US |
| dc.description.abstract | งานวิจัยนี้มีวัตถุประสงค์เพื่อนำเสนอกฎการแปลง การออกแบบ และการพัฒนาเครื่องมือซอฟต์แวร์ที่ใช้ในการแปลงชุดของแผนภาพคลาสและแผนภาพซีแควน์จำนวนหลายแผนภาพเป็นแอ็บสแตร็คแมชชีนบีโดยกฎการแปลงแผนภาพคลาสและแผนภาพซีแควน์จำนวนหลายแผนภาพ ประกอบด้วยกฎการแปลงทั้งหมด 14 กฎ ทำให้ได้แอ็บสแตร็คแมชชีนบีที่สามารถอธิบายความหมายของระบบในเชิงโครงสร้าง และความหมายของระบบในเชิงพฤติกรรม ความหมายของระบบในเชิงโครงสร้างจะอธิบายถึงคลาส และความสัมพันธ์ทั้งหมดระหว่างคลาส ซึ่งความสัมพันธ์ทั้งหมดระหว่างคลาสจะครอบคลุมถึง ความสัมพันธ์แอสโซซิเอชัน ความสัมพันธ์แอกริเกชัน ความสัมพันธ์คอมโพสิชัน และความสัมพันธ์เจเนอรัลไลเซชัน สำหรับความหมายของระบบในเชิงพฤติกรรมจะอธิบายถึงโอเปอเรชัน ทั้งหมดจากการติดต่อกันระหว่างออบเจ็คของคลาสจำนวนหลายเหตุการณ์ที่เกิดขึ้นจากแผนภาพซีแควนซ์ แอ็บสแตร็คแมชชีนบีที่เป็นผลลัพธ์จากเครื่องมือที่พัฒนานี้ จำได้รับการตรวจสอบความถูกต้องของวากยสัมพันธ์จากโปรแกรมพิสูจน์บีทูลคิต นอกจากนี้เครื่องมือที่พัฒนาซอฟต์แวร์ที่ใช้ในการแปลงชุดของแผนภาพคลาสและแผนภาพซีเควนซ์จำนวนหลายแผนภาพเป็นแอ็บสแตร็คแมชชีนบี มีความสามารถในการตรวจสอบความถูกต้องของข้อมูลนำเข้ารูปแบบของเอ็กซ์เอ็มไอ ได้แก่ การตรวจสอบความถูกต้องของการระบุชนิดของคุณลักษณะและชนิดค่าที่ส่งคืนของโอเปอเรชัน การตรวจสอบจำนวนคลาสและจำนวนออบเจ็คจากแผนภาพยูเอ็มแอล และการตรวจสอบจำนวนโอเปอเรชันของคลาสในแผนภาพคลาสและจำนวนข้อความจากการสื่อสารกันระหว่างออบเจ็คของคลาสในแผนภาพซีแควนซ์ | - |
| dc.description.abstractalternative | 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. | - |
| dc.language.iso | th | en_US |
| dc.publisher | จุฬาลงกรณ์มหาวิทยาลัย | en_US |
| dc.rights | จุฬาลงกรณ์มหาวิทยาลัย | en_US |
| dc.subject | ยูเอ็มแอล (วิทยาการคอมพิวเตอร์) | - |
| dc.subject | บี (ภาษาคอมพิวเตอร์) | - |
| dc.subject | UML (Computer science) | - |
| dc.subject | B (Computer program language) | - |
| dc.title | การแปลงแผนภาพคลาสและแผนภาพซีเควนซ์ของยูเอ็มแอลเป็นแอ็บสเตร็คแมชชีนบี | en_US |
| dc.title.alternative | Transformation of UML class diagrams and sequence diagrams into B Abstract Machine | en_US |
| dc.type | Thesis | en_US |
| dc.degree.name | วิทยาศาสตรมหาบัณฑิต | en_US |
| dc.degree.level | ปริญญาโท | en_US |
| dc.degree.discipline | วิทยาศาสตร์คอมพิวเตอร์ | en_US |
| dc.degree.grantor | จุฬาลงกรณ์มหาวิทยาลัย | en_US |
| dc.email.advisor | Wiwat.V@Chula.ac.th | - |
| 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 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.