@techreport{oai:ipsj.ixsq.nii.ac.jp:00019421,
 author = {小林, 昌徳 and 横田, 治夫 and Masanori, Kobayashi and Haruo, Yokota},
 issue = {67(2002-DBS-128)},
 month = {Jul},
 note = {我々は分散独立アクティブDB間のメッセージ通信によって分散ワークフローを実現するメカニズム(DIADEM)を提案してきた．DIADEMによる分散ワークフローでは各サブモジュールが独立性を維持しながらそれぞれのワークフロー間で連携をとるため，他のサブモジュール内の挙動はブラックボックスである．このブラックボックスな部分を階層構造にして隠蔽するため，今回我々は，DIADEMにおけるワークフロープロセスを階層的カラーペトリネットを用いてモデル化，フロー解析を行うことを提案する．本稿では，階層的カラーペトリネットによるプロセス定義の検証についてその手法を述べる．, 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.},
 title = {分散独立アクティブDBによるワークフロー管理のためのフロー解析手法},
 year = {2002}
}