分散独立アクティブDBによるワークフロー管理のためのフロー解析手法

• Item type: SIG Technical Reports(1)
• 公開日: 2002-07-18
• タイトル: 分散独立アクティブDBによるワークフロー管理のためのフロー解析手法
• タイトル / 言語: en
• タイトル: The flow analysis technique for workflow management using Distributed Independent Active Databases
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東京工業大学大学院情報理工学研究科計算工学専攻
• 著者所属: 東京工業大学学術国際情報センター
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Global Scientific Information and Computing Center, Tokyo Institute of Technology
• 著者名: 小林, 昌徳; 横田, 治夫
• 著者名(英): Masanori, Kobayashi; Haruo, Yokota
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 我々は分散独立アクティブDB間のメッセージ通信によって分散ワークフローを実現するメカニズム(DIADEM)を提案してきた．DIADEMによる分散ワークフローでは各サブモジュールが独立性を維持しながらそれぞれのワークフロー間で連携をとるため，他のサブモジュール内の挙動はブラックボックスである．このブラックボックスな部分を階層構造にして隠蔽するため，今回我々は，DIADEMにおけるワークフロープロセスを階層的カラーペトリネットを用いてモデル化，フロー解析を行うことを提案する．本稿では，階層的カラーペトリネットによるプロセス定義の検証についてその手法を述べる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We have proposed a mechanism named DIADEM for a distributed workflow system constructing nested transactions spread over distributed independent active databases. In the DIADEM, the inside behavior of a submodule is a black box from the other submodules, because each organization corresponding to a submodule is independent only by communicating each other with messages. To conceal such a part into a layer structure, we propose a method using a hierarchical colored Petri Nets to model and analyze workflows. This paper discusses the verification of the workflow-process definition on the DIADEM with the Petri Nets.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112482
• 書誌情報: 情報処理学会研究報告データベースシステム（DBS）; 巻 2002, 号 67(2002-DBS-128), p. 9-16, 発行日 2002-07-18
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会