WEKO3
アイテム
ワークフロートランザクションの隔離性
https://ipsj.ixsq.nii.ac.jp/records/17601
https://ipsj.ixsq.nii.ac.jp/records/176017e0c4db5-6ec3-4c08-a2d7-d0d0148f1403
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
|
|
Copyright (c) 2003 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2003-06-15 | |||||||
| タイトル | ||||||||
| タイトル | ワークフロートランザクションの隔離性 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Isolation Property of Workflow Transactions | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 研究論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 福岡工業大学情報工学部情報工学科 | ||||||||
| 著者所属 | ||||||||
| 九州大学大学院経済学研究院 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science and Engineering, Fukuoka Institute of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Economic Engineering, Kyushu University | ||||||||
| 著者名 |
徐海燕
古川, 哲也
× 徐海燕 古川, 哲也
|
|||||||
| 著者名(英) |
Haiyan, Xu
Tetsuya, Furukawa
× Haiyan, Xu Tetsuya, Furukawa
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 今日の情報社会でワークフロー管理システムの果たす役割がますます増えている.複数のワークフローのインスタンスまたは同一ワークフローの異なるインスタンスで検索・更新されるデータ項目に共通のものがあれば,並行処理制御が必要となる.データベースの並行処理制御は,トランザクションの一貫性と隔離性によって実行結果のデータベースの一貫性を保証している.しかし,ワークフロートランザクションの一貫性は,入力データはタスク単位,出力データはトランザクション単位で満足される.タスクは入出力条件で表されるアプリケーションの一貫性情報も利用できる.したがって,隔離性の定義もそれに応じて再検討する必要がある.本論文では,入力データの隔離性と出力データの隔離性を導入し,それらによって並行実行における入出力データの一貫性を保証できることを示す.さらに,入出力条件を用いた隔離性の判定方法について検討し,それらの相互関連について議論する.隔離性を細分することによって許される並行実行は,直列可能でないものや直列実行では生成されることのないものを含む. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | To facilitate business process and information process reengineering and automation, workflow management systems have been widely used in the applications such as e-commerce and manufacturing. Serializability as an isolation criterion for traditional transactions, would overly restrict the concurrency of interleaved execution of work flow instances. Since for workflow transactions the consistency units of output data are transactions while their consistency units of input data are tasks,in this paper, we separate the isolation for input and output data respectively. The mechanisms for the both isolations are developed by using the input and output conditions,i.e., the application semantics. With the mechanisms, we show the difference between our approach and the previous ones. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464847 | |||||||
| 書誌情報 |
情報処理学会論文誌データベース(TOD) 巻 44, 号 SIG08(TOD18), p. 55-64, 発行日 2003-06-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7799 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||