ビジネスプロセスにおける「待ち」の形式化と検証

• 白木 稜也

  龍谷大学

• 新川 芳行

  龍谷大学

書誌事項

タイトル別名

• Formalization and Verification of the “Waits" in Business Processes

抄録

従来のビジネスプロセスモデリングでは、タスクの実行順序とタスク実行にかかわる資源や組織についての情報を体系的に記述することに重点が置かれ、時間的な特性は処理による遅延やデッドラインの指定など単純なものに限られている。しかし、現実のプロセスでは様々な原因による「待ち」が非同期に発生し、これによりタスクごとに待ち行列ができるため、複雑な待ち行列ネットワークが形成されることになる。本論文は時間付カラーペトリネットにより、従来の機能中心のビジネスプロセスモデルと、時間制約を含む確率モデルとなる待ち行列ネットワークを融合し、ビジネスプロセスの機能面と時間的側面を同時にモデリングおよび評価する手法を提案する。

収録刊行物

• 経営情報学会　全国研究発表大会要旨集

  経営情報学会　全国研究発表大会要旨集 2017f (0), 115-118, 2017

  一般社団法人 経営情報学会

キーワード

• ビジネスプロセス
• 時間制約
• 待ち行列

詳細情報

• CRID: 1390001205709432320
• NII論文ID: 130006233984
• DOI: 10.11497/jasmin.2017f.0_115
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可