this area, verification represents

this area, verification represents checking whether desirable
property can hold in each business process log. The theme is
divided into two parts. The first is conformance checking. It
checks consistency between event logs and process models.
The socond is verification focussing attention on a local
part using LTL verification. We deal with the latter. LTL
checker [2] is the major means. It can verify whether specific
property represented as LTL can hold in each trace. However,
It is difficult to describe the logical formula which reflected
the user’s intentions sufficiently. Therefore, we propose a
verification approach for users who have inadequate domain
knowledge and knowledge of mathematical logic. Our method
can predict whether the specific property can hold in each trace
using decision tree focussing attention on partial structures
represented as event order relations of traces. Moreover, our
approach can reconstruct logical formula based on decision
tree construction. It encourages the more correct verification.
The incorrect verification influences on bad decision making
about business process improvements.
The effectiveness of our approach is evaluated by some
case studies. We use phone repair process logs. The logs

ผลลัพธ์ (ไทย) 1:

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

ผลลัพธ์ (ไทย) 2:

พื้นที่นี้หมายถึงการตรวจสอบการตรวจสอบว่าเป็นที่น่าพอใจ
และสามารถถืออยู่ในแต่ละกระบวนการทางธุรกิจเข้าสู่ระบบ ธีมจะถูก
แบ่งออกเป็นสองส่วน ประการแรกคือการตรวจสอบความสอดคล้อง มัน
ตรวจสอบความสอดคล้องระหว่างการบันทึกเหตุการณ์และรูปแบบกระบวนการ.
socond จะถูกตรวจสอบโดยมุ่งเน้นความสนใจในระดับท้องถิ่น
มีส่วนร่วมในการตรวจสอบการใช้ LTL เราจัดการกับหลัง LTL
ตรวจสอบ [2] เป็นวิธีที่สำคัญ มันสามารถตรวจสอบว่าเฉพาะ
คุณสมบัติที่แสดงเป็น LTL สามารถถือในแต่ละร่องรอย แต่
มันเป็นเรื่องยากที่จะอธิบายสูตรตรรกะซึ่งสะท้อนให้เห็นถึง
ความตั้งใจของผู้ใช้อย่างพอเพียง ดังนั้นเราจึงนำเสนอ
วิธีการตรวจสอบสำหรับผู้ใช้ที่มีโดเมนที่ไม่เพียงพอ
ความรู้และความรู้ของตรรกะทางคณิตศาสตร์ วิธีการของเรา
สามารถคาดการณ์ได้ว่าจะเป็นสถานที่ให้บริการที่เฉพาะเจาะจงสามารถถือในแต่ละร่องรอย
การใช้ต้นไม้ตัดสินใจให้ความสนใจมุ่งเน้นโครงสร้างบางส่วน
แสดงเป็นความสัมพันธ์ระหว่างกิจกรรมการสั่งซื้อของร่องรอย นอกจากนี้เรา
วิธีสามารถสร้างสูตรตรรกะขึ้นอยู่กับการตัดสินใจ
ก่อสร้างต้นไม้ มันส่งเสริมให้การตรวจสอบที่ถูกต้องมากขึ้น.
อิทธิพลตรวจสอบไม่ถูกต้องในการตัดสินใจที่ไม่ดีทำ
เกี่ยวกับการปรับปรุงกระบวนการทางธุรกิจ.
ประสิทธิผลของวิธีการของเราได้รับการประเมินโดยบาง
กรณีศึกษา เราใช้โทรศัพท์บันทึกกระบวนการซ่อมแซม บันทึก

ผลลัพธ์ (ไทย) 3:

พื้นที่นี้ การตรวจสอบ หมายถึง การตรวจสอบว่า ที่พึงประสงค์คุณสมบัติ สามารถเก็บบันทึกแต่ละกระบวนการทางธุรกิจ ธีมคือแบ่งออกเป็นสองส่วน แรกคือการตรวจสอบการสอดคล้องกัน มันความสอดคล้องระหว่างการตรวจสอบล็อกเหตุการณ์และกระบวนการแบบการ socond คือการตรวจสอบโดยความสนใจในท้องถิ่นส่วนการตรวจสอบ LTL . เราจัดการกับหลัง LTLตรวจสอบ [ 2 ] เป็นวิธีการที่สำคัญ มันสามารถตรวจสอบว่าเฉพาะคุณสมบัติแสดงเป็น LTL สามารถถือในแต่ละติดตาม อย่างไรก็ตามมันเป็นเรื่องยากที่จะอธิบายตรรกะสูตรซึ่งสะท้อนความตั้งใจของผู้ใช้ได้พอสมควร ดังนั้นเราจึงเสนอวิธีการตรวจสอบผู้ใช้ที่ไม่เพียงพอ โดเมนความรู้และความรู้ของตรรกะทางคณิตศาสตร์ วิธีของเราสามารถทำนายได้ว่า คุณสมบัติเฉพาะ สามารถถือได้ในแต่ละติดตามการใช้แผนผังการตัดสินใจโดยความสนใจในโครงสร้างบางส่วนแสดงเป็นกิจกรรมเพื่อประชาสัมพันธ์ มีร่องรอย นอกจากนี้ ของเราวิธีการสามารถสร้างสูตรเชิงตรรกะขึ้นอยู่กับการตัดสินใจสร้างต้นไม้ มันกระตุ้นการตรวจสอบที่ถูกต้องมากขึ้นการตรวจสอบไม่ถูกต้องมีอิทธิพลต่อการตัดสินใจแย่การปรับปรุงกระบวนการธุรกิจประสิทธิผลของวิธีการของเราคือการประเมินโดยบางกรณีศึกษา เราใช้บันทึกกระบวนการซ่อมแซมโทรศัพท์ บันทึก