Please use this identifier to cite or link to this item: https://cuir.car.chula.ac.th/handle/123456789/52296
Title: การแปลงกฏธุรกิจไปเป็นซีพีเอ็นเอ็มแอล
Other Titles: Transformation of business rule to CPN ML
Authors: จตุพร ดีสุขยิ่ง
Advisors: วิวัฒน์ วัฒนาวุฒิ
Other author: จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์
Advisor's Email: Wiwat.V@Chula.ac.th,wiwatv@gmail.com,ethesis.grad@gmail.com
Subjects: ผังระบบงาน
ธุรกิจ -- แบบจำลองทางคอมพิวเตอร์
Workflow
Business -- Computer simulation
Issue Date: 2559
Publisher: จุฬาลงกรณ์มหาวิทยาลัย
Abstract: กฎธุรกิจมีความสำคัญและถูกนำมาปรับใช้ให้เข้ากับกระบวนการทางธุรกิจที่เกี่ยวข้อง โดยกฎธุรกิจจะเป็นนิยามหรือเงื่อนไขตรรกะในกระแสงานของกระบวนการทางธุรกิจ ดังนั้นการทวนสอบว่ากฎธุรกิจที่ใช้มีความถูกต้องและความต้องกันกับกระแสงานจึงมีความสำคัญอย่างยิ่ง การสร้างแบบจำลองของกระแสงานโดยใช้คัลเลอร์เพทริเน็ตนั้นก็เป็นอีกทางเลือกหนึ่ง เพราะว่าลักษณะของแผนภาพเป็นกราฟิกทำให้ง่ายต่อการเข้าใจและมีเครื่องมือที่พร้อมสามารถทำการวิเคราะห์โดยใช้วิธีการหาปริภูมิสถานะ อย่างไรก็ตามจะพบว่ากฎธุรกิจจะถูกระบุอยู่ภายในของแบบจำลองคัลเลอร์เพทริเน็ต งานวิจัยนี้จึงนำเสนอวิธีการและเครื่องมือสำหรับแปลงกฎธุรกิจเป็นเป็นฟังก์ชันภาษาโปรแกรมซีพีเอ็นเอ็มแอลสำหรับแบบจำลองคัลเลอร์เพทริเน็ต นักวิเคราะห์ธุรกิจจะทำการนิยามกฎธุรกิจด้วยรูลอีดีเตอร์หรือตารางตัดสินใจ ซึ่งสามารถช่วยให้ผู้ใช้งานเข้าใจในกฎธุรกิจได้ดีมากขึ้น โดยเฉพาะกฎธุรกิจที่มีความซับซ้อนสูงตารางตัดสินใจสามารถช่วยอธิบายหรือแก้ไขกฎธุรกิจได้ง่ายขึ้น และกฎธุรกิจจะถูกแปลงให้อยู่ในรูปแบบของ IF-THEN โดยไม่ต้องเขียนโปรแกรม โดยใช้แม่แบบของซีพีเอ็นเอ็มแอลที่นิยามไว้เพื่อใช้สำหรับการสร้างฟังก์ชันของกฎธุรกิจและนำฟังก์ชันที่สร้างไปแทรกไว้ในแบบจำลองคัลเลอร์เพทริเน็ตโดยอัตโนมัติ ผลลัพธ์ที่ได้คือแบบจำลองกระแสงานที่ต้องการพร้อมด้วยฟังก์ชันของกฎธุรกิจ สามารถนำไปทวนสอบผลลัพธ์โดยใช้ซีพีเอ็นทูล
Other Abstract: Business rules are crucial and most adaptive to their related business processes. These business rules define and constrain the workflow logic of the business processes. Thus, it is important to verify the business rules to ensure their correctness and consistency properties. Alternatively, to verify the business rules topology modeling of a workflow would be formalized into a Coloured Petri Nets. Because the nature of Coloured Petri Nets is graphical that does it easy to understand and readiness verification tool to verify the model with state space method. However, the business rules are mostly left behind. In this thesis introduces an approach and tool for generate business rules into CPN ML functions for Coloured Petri Nets is proposed. The business analyst would simply define the business rules with rule editor or decision table that help user for good understanding in the business rules, especially the decision table can be describe and easy to change the complex business rules. The business rules is translate in form of IF-THEN rules without writing programming code. Then, the predefined CPN ML template is used to generate the corresponding business rule functions and the functions would be automatically inscribed into the Coloured Petri Nets. The resulting formal model of the workflow of the business process is completely drawn with the valid CPN ML functions inscription of the given business rules. The CPN Tools is used to verify this resulting Coloured Petri Nets.
Description: วิทยานิพนธ์ (วท.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2559
Degree Name: วิทยาศาสตรมหาบัณฑิต
Degree Level: ปริญญาโท
Degree Discipline: วิศวกรรมซอฟต์แวร์
URI: http://cuir.car.chula.ac.th/handle/123456789/52296
URI: http://doi.org/10.58837/CHULA.THE.2016.999
metadata.dc.identifier.DOI: 10.58837/CHULA.THE.2016.999
Type: Thesis
Appears in Collections:Eng - Theses

Files in This Item:
File Description SizeFormat 
5770907821.pdf7.32 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.