文献

J-GLOBAL ID：201002277516663639   整理番号：10A0195942

Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案

A Refactoring-Based Method to Decide the Serializability of Acyclic Extended Free Choice Workflow Nets

著者 (4件)： 山口真悟 (山口大 大学院理工学研究科) ,  濱野慎司 (山口大 工) ,  黒田祐樹 (山口大 大学院理工学研究科) ,  田中稔 (山口大 大学院理工学研究科)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 109  号： 367(CST2009 37-53)  ページ： 45-48  発行年： 2010年01月14日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ワークフロー管理とは仕事の流れをワークフローとして定義し,そのインスタンスを自動化することである。ワークフローには同時に処理されるワークフローインスタンスが複数ありうる。複数のワークフローインスタンスを伴うワークフローの振る舞いは,ワークフローインスタンスごとに分割して,解析できることが望まれる。多くの実用的なワークフローは拡張自由選択ワークフローネットでモデル化できることが知られている。複数のワークフローインスタンスの振る舞いは一つの発火系列として表される。その発火系列をワークフローインスタンスごとに分割できる条件の一つとして直列化可能性(serializability)がある。本稿ではAcyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングに基づく判定方法を提案する。(著者抄録)

シソーラス用語： *ワークフロー ,  *プログラムメンテナンス ,  モデリング ,  直列接続 ,  *Petriネット ,  スケーラビリティ【計算機】 ,  グラフ ,  判定基準 ,  健全性
準シソーラス用語： リファクタリング ,  ワークフローネット ,  直列化可能性

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (5件)：

• VAN DER AALST, W. M. P. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers. 1998, 8, 1, 21-66
• MURATA, T. Petri nets : Properties, analysis and applications. Proc. of the IEEE. 1989, 77, 4, 541-580
• VERBEEK, H. M. W. Deciding life-cycle inheritance on Petri nets. Proc. of ICATPN 2003. 2003, 44-63
• VAN HEE, K. Soundness and separability of workflow nets in the stepwise refinement approach. Proc. of ICATPN 2003. 2003, 337-356
• 黒田. 自由選択ワークフローネットの Well-Structured ワークフローネットへのリファクタリングについて. 信学技報. 2009, 109, 301, 89-93

タイトルに関連する用語 (6件)： 拡張 ,  ワークフローネット ,  直列 ,  可能性 ,  リファクタリング ,  提案