{"id":19421,"updated":"2025-01-22T22:11:34.093667+00:00","links":{},"created":"2025-01-18T22:51:53.478694+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00019421","sets":["1164:1165:1193:1194"]},"path":["1194"],"owner":"1","recid":"19421","title":["分散独立アクティブDBによるワークフロー管理のためのフロー解析手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2002-07-18"},"_buckets":{"deposit":"da36743b-7bbf-4343-8188-ce27961c587e"},"_deposit":{"id":"19421","pid":{"type":"depid","value":"19421","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"分散独立アクティブDBによるワークフロー管理のためのフロー解析手法","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"分散独立アクティブDBによるワークフロー管理のためのフロー解析手法"},{"subitem_title":"The flow analysis technique for workflow management using Distributed Independent Active Databases","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2002-07-18","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京工業大学大学院情報理工学研究科計算工学専攻"},{"subitem_text_value":"東京工業大学学術国際情報センター"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of Computer Science, Tokyo Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Global Scientific Information and Computing Center, Tokyo Institute of Technology","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/19421/files/IPSJ-DBS02128002.pdf"},"date":[{"dateType":"Available","dateValue":"2004-07-18"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-DBS02128002.pdf","filesize":[{"value":"1.3 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"13"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"60cf43f7-d1a6-4dbc-9011-2922789be114","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2002 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"小林, 昌徳"},{"creatorName":"横田, 治夫"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Masanori, Kobayashi","creatorNameLang":"en"},{"creatorName":"Haruo, Yokota","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112482","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"我々は分散独立アクティブDB間のメッセージ通信によって分散ワークフローを実現するメカニズム(DIADEM)を提案してきた．DIADEMによる分散ワークフローでは各サブモジュールが独立性を維持しながらそれぞれのワークフロー間で連携をとるため，他のサブモジュール内の挙動はブラックボックスである．このブラックボックスな部分を階層構造にして隠蔽するため，今回我々は，DIADEMにおけるワークフロープロセスを階層的カラーペトリネットを用いてモデル化，フロー解析を行うことを提案する．本稿では，階層的カラーペトリネットによるプロセス定義の検証についてその手法を述べる．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"16","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告データベースシステム（DBS）"}],"bibliographicPageStart":"9","bibliographicIssueDates":{"bibliographicIssueDate":"2002-07-18","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"67(2002-DBS-128)","bibliographicVolumeNumber":"2002"}]},"relation_version_is_last":true,"weko_creator_id":"1"}}