Recently, cross-department business

Recently, cross-department business processes are becoming more and more complex. Different kinds of coordination patterns exist among different departments, which make modeling and analysis work more difficult. To our best knowledge, there is no formal method to give systematic modeling and verification for the cross-department processes when considering different kinds of coordination patterns among different departments. This paper proposes such a method based on Petri nets. The WF-net model extended with resource and message factors, RM_WF_Net for short, is first introduced. Then, the formal model of tasks is proposed and its coordination relations are given. Next, RM_WF_Net modeling for intradepartment processes is investigated and cross-department coordination patterns, including message interaction pattern, resource interaction pattern, task collaboration pattern, procedure abstract, service outsourcing pattern, and process activation pattern, are formally defined. The soundness of the RM_WF_Net is verified based on the reachability graph. A running case of the cross-department medical diagnosis business process is given to validate our proposed method.

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

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

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

เมื่อเร็ว ๆ นี้กระบวนการทางธุรกิจข้ามแผนกมีมากขึ้นและซับซ้อนมากขึ้น ชนิดที่แตกต่างกันของรูปแบบการประสานงานระหว่างหน่วยงานที่มีอยู่แตกต่างกันซึ่งทำให้การสร้างแบบจำลองและการวิเคราะห์การทำงานยากขึ้น เพื่อความรู้ที่ดีที่สุดของเราไม่มีวิธีการอย่างเป็นทางการที่จะให้การสร้างแบบจำลองระบบและการตรวจสอบสำหรับกระบวนการข้ามแผนกเมื่อพิจารณาที่แตกต่างกันของรูปแบบการประสานงานระหว่างหน่วยงานที่แตกต่างกัน กระดาษนี้นำเสนอวิธีการดังกล่าวขึ้นอยู่กับตาข่าย Petri รุ่น WF-สุทธิขยายกับทรัพยากรและข้อความปัจจัย RM_WF_Net สั้นเป็นครั้งแรก จากนั้นรูปแบบที่เป็นทางการของงานที่จะเสนอและความสัมพันธ์การประสานงานของตนจะได้รับ ต่อไปการสร้างแบบจำลองสำหรับกระบวนการ RM_WF_Net intradepartment จะตรวจสอบและรูปแบบการประสานงานข้ามแผนกรวมทั้งรูปแบบการปฏิสัมพันธ์ข้อความรูปแบบการทำงานร่วมกันของทรัพยากรรูปแบบการทำงานร่วมกันงานขั้นตอนนามธรรมรูปแบบการให้บริการเอาท์ซอร์สและยืนยันการใช้งานรูปแบบกระบวนการที่กำหนดไว้อย่างเป็นทางการ ความแข็งแรงของ RM_WF_Net ที่มีการยืนยันตามกราฟ reachability กรณีวิ่งข้ามแผนกกระบวนการทางธุรกิจวินิจฉัยทางการแพทย์จะได้รับการตรวจสอบวิธีการที่นำเสนอของเรา

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

เมื่อเร็ว ๆนี้แผนกข้ามกระบวนการทางธุรกิจมีมากขึ้นและซับซ้อนมากขึ้น ชนิดที่แตกต่างกันของรูปแบบการประสานงานระหว่างแผนกต่าง ๆที่มีอยู่ซึ่งทำให้การสร้างแบบจำลองและการวิเคราะห์การทำงานยากขึ้น เพื่อความรู้ที่ดีที่สุดของเราไม่มีวิธีการอย่างเป็นทางการให้โมเดลลิ่งอย่างเป็นระบบและตรวจสอบข้ามแผนกกระบวนการเมื่อพิจารณาชนิดของรูปแบบการประสานงานระหว่างแผนกต่าง ๆ บทความนี้เสนอวิธีนี้ขึ้นอยู่กับทฤษฎีเพทริเน็ต . WF สุทธิแบบขยาย ด้วยทรัพยากรและปัจจัยข้อความ rm_wf_net ในระยะสั้นเป็นครั้งแรก . จากนั้นรุ่นอย่างเป็นทางการของงานที่เสนอและประชาสัมพันธ์ การประสานงานของ จะได้รับ ถัดไป , การสร้างแบบจำลองกระบวนการ intradepartment rm_wf_net ) ข้ามแผนกประสานงานรูปแบบรวมทั้งรูปแบบการโต้ตอบข้อความ , รูปแบบการโต้ตอบทรัพยากรงานความร่วมมือรูปแบบวิธีการนามธรรมบริการเอาท์ซอร์สรูปแบบและรูปแบบการกระตุ้นกระบวนการ เป็นการกำหนดความสมบูรณ์ของ rm_wf_net ความถูกต้องตาม reachability กราฟ ใช้กรณีของการวินิจฉัยทางการแพทย์แผนกข้ามกระบวนการทางธุรกิจจะได้รับการตรวจสอบของเราวิธีการที่ได้นำเสนอ