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

วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2555