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

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