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