ワークフローモデルにおけるデッドロックパターン拡張によるデッドロック自動検出方式

DOI Web Site Web Site 参考文献6件

書誌事項

タイトル別名
  • An Automatic Deadlock Detection Method with Extension of Deadlock Pattern for Workflow Models
  • ワークフロー モデル ニ オケル デッドロックパターン カクチョウ ニ ヨル デッドロック ジドウ ケンシュツ ホウシキ

この論文をさがす

抄録

A workflow model is used to describe business processes when workflow management system is constructed. In the workflow management system, “deadlocks” means the interruption of workflow caused by mistakes of workflow model design. This paper proposes a method which detects all deadlocks in workflow model. In order to find out all deadlocks, the deadlock patterns which express deadlock by combinations of nodes are adopted. However, there is the problem that some deadlocks cannot be detected because of endless loop. In order to cope with the problem we define expanded deadlock pattern which can be applyed to the case in which former deadlock patterns cannot find out deadlocks.

収録刊行物

参考文献 (6)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ