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

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