ビジネスプロセスにおける「待ち」の形式化と検証
1) 龍谷大学
| Abstract | 従来のビジネスプロセスモデリングでは、タスクの実行順序とタスク実行にかかわる資源や組織についての情報を体系的に記述することに重点が置かれ、時間的な特性は処理による遅延やデッドラインの指定など単純なものに限られている。しかし、現実のプロセスでは様々な原因による「待ち」が非同期に発生し、これによりタスクごとに待ち行列ができるため、複雑な待ち行列ネットワークが形成されることになる。本論文は時間付カラーペトリネットにより、従来の機能中心のビジネスプロセスモデルと、時間制約を含む確率モデルとなる待ち行列ネットワークを融合し、ビジネスプロセスの機能面と時間的側面を同時にモデリングおよび評価する手法を提案する。 |
|---|---|
| While traditional business process modeling focuses on systematic and precise description of task execution sequences along with the information on related resources and organizations, limited attention is paid to temporal properties, such as task execution delay and deadlines. However, actual business processes include various asynchronous waits which form waiting lines for each task, and these processes show the aspect of ``queuing networks". This paper proposes a Colored Petri net (CPN) based approach to integrate the above function oriented business processes with the temporal and probabilistic queueing networks, which makes it possible to model and evaluate the business processes from functional and temporal viewpoints simultaneously. | |
| Keywords | ビジネスプロセス，時間制約，待ち行列 |
| Business Process，Time Constrains，Queuing Theory |
