文献

J-GLOBAL ID：201702231709352754   整理番号：17A0504078

構造化ワークフローネットの構造特性と行動特性

Structural and Behavioral Properties of Well-Structured Workflow Nets

著者 (2件)： GOU Zhaolong (Graduate School of Science and Engineering, Yamaguchi University) ,  YAMAGUCHI Shingo (Graduate School of Science and Engineering, Yamaguchi University)
資料名： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Web)  (IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Web))
巻： E100.A  号： 2  ページ： 421-426(J-STAGE)  発行年： 2017年 
JST資料番号： U0466A  ISSN： 1745-1337  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： ワークフローネット(WFN)はビジネスプロセス自動化の標準的な方法であり,十分に構造化した(WS)-WFnはWFNの重要サブクラスであり,電力表現や電力解析でバランスの取れた能力を持つ。本文は,WS-WFnの構造特性と行動特性を解明した。構造特性に関する結果はi)WS-WFNにEFCはなく,非FC WFネットがある。ii)WS-WFNは,van HeeらのST-netであれば健全である。更に,行動特性に関する結果として,1)WS-WFnは安全で,2)全てのWS-WFnは分離可能であり,3)健全なWS-WFnの到達可能性の必要・十分条件を示した。最後に,提案した特性の有用性をワークフロー進化分析の応用例で例証した。(翻訳著者抄録)

シソーラス用語： *Petriネット ,  *構造特性 ,  *特性 ,  可能性 ,  安全性 ,  可到達性 ,  必要条件 ,  十分条件 ,  性質 ,  *ネットワーク法
準シソーラス用語： *ワークフローネット ,  *行動特性 ,  分離性 ,  有用性

著者キーワード (6件)： Petri net ,  workflow net ,  well-structured ,  soundness ,  reachability ,  separability

分類 (1件)： ネットワーク法  (KA03040X)

引用文献 (15件)：

• [1] W.M.P. van der Aalst and K.M. van Hee, Workflow Management: Models, Methods, and Systems, The MIT Press, 2002.
• [2] T. Murata, “Petri nets: Properties, analysis and applications,” Proc. IEEE, vol.77, no.4, pp.541-580, 1989.
• [3] WfMC, Terminology & Glossary, WFMC-TC-1011, 1999.
• [4] W.M.P. van der Aalst, “Verification of workflow nets,” Lecture Notes in Computer Science, vol.1248, pp.407-426, 1997.
• [5] K. van Hee, N. Sidorova, and M. Voorhoeve, “Soundness and separability of workflow nets in the stepwise refinement approach,” Proc. ICATPN 2003, LNCS 2679, pp.337-356, 2003.

タイトルに関連する用語 (4件)： 構造化 ,  ワークフローネット ,  構造特性 ,  行動特性