Abstract. Business Process Management (BPM) includes methods,
techniques, and tools to support the design, enactment, management,
and analysis of operational business processes. It can be considered as
an extension of classical Workflow Management (WFM) systems and
approaches. Although the practical relevance of BPM is undisputed, a
clear definition of BPM and related acronyms such as BAM, BPA, and
STP are missing. Moreover, a clear scientific foundation is missing. In
this paper, we try to demystify the acronyms in this domain, describe
the state-of-the-art technology, and argue that BPM could benefit from
formal methods/languages (cf. Petri nets, process algebras, etc.).
Keywords: Business Process Management, Workflow Management, Formal
Methods.
นามธรรม การจัดการกระบวนการทางธุรกิจ ( BPM ) รวมถึงวิธีการ
เทคนิคและเครื่องมือที่สนับสนุนการออกแบบ , กฎหมาย , การจัดการ ,
และการวิเคราะห์กระบวนการทางธุรกิจ ) มันถือได้ว่าเป็น
ส่วนขยายการจัดการเวิร์กโฟลว์คลาสสิก (
wfm ) ระบบและวิธี แม้ว่าความสัมพันธ์ในทางปฏิบัติของ BPM คือไม่มีปัญหา ,
นิยามที่ชัดเจนของ BPM และชื่อย่อที่เกี่ยวข้องเช่น BPA , แบม
STP และหายไป นอกจากนี้มูลนิธิวิทยาศาสตร์ชัดเจน หายตัวไป ใน
กระดาษนี้ , เราพยายามที่จะ demystify ระมัดระวังในโดเมนนี้ อธิบาย
เทคโนโลยีที่ทันสมัย และยืนยันว่า BPM สามารถได้รับประโยชน์จาก
/ วิธีการภาษาอย่างเป็นทางการ ( CF . ทฤษฎีเพทริเน็ต กระบวนการพีชคณิต ฯลฯ ) .
การจัดการกระบวนการทางธุรกิจการจัดการเวิร์กโฟลว์ , วิธีการอย่างเป็นทางการ
การแปล กรุณารอสักครู่..
