การแปลงแผนภาพกิจกรรมยูเอ็มแอลเป็นคัลเลอร์เพทริเน็ตกับอินสคริปชัน

Abstract

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