講演名 | 2011-07-01 Acyclic拡張自由選択ワークフローネットからAcyclic Well-Structuredワークフローネットヘリファクタリングするための条件について(システムと信号処理及び一般) 孫 伯仲, 山口 真悟, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 実用的なワークフローの多くは拡張自由選択ワークフローネットとしてモデル化できる.Acyclic拡張自由選択ワークフローネットのサブクラスにAcyclic well-strcuturedワークフローネットがある.Acyclic well-structuredワークフローネットは,その構造的制約から比較的多くの解析技法を有している.本稿では,Acyclic拡張自由選択ワークフローネットを分岐双模倣性という振舞いの等価性を維持したままAcyclic well-structuredワークフローネットへ変換するための十分条件を提案する. |
抄録(英) | Most of actual workflows can be modeled as free choice workflow nets. There is a subclass of acyclic free choice workflow nets, which is called acyclic well-structured workflow nets. Acyclic well-structured workflow nets have relatively more analysis techniques than acyclic free choice workflow nets. In this paper, we propose a sufficient condition for transforming acyclic free choice workflow nets to acyclic well-structured workflow nets, which preserves a behavioral equivalence called branching bisimilarity. |
キーワード(和) | ワークフローネット / リファクタリング / 拡張自由選択 / well-structured / 十分条件 |
キーワード(英) | workflow nets / refactoring / extended free choice / well-structured / sufficient condition |
資料番号 | CAS2011-19,VLD2011-26,SIP2011-48,MSS2011-19 |
発行日 |
研究会情報 | |
研究会 | MSS |
---|---|
開催期間 | 2011/6/23(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Mathematical Systems Science and its applications(MSS) |
---|---|
本文の言語 | JPN |
タイトル(和) | Acyclic拡張自由選択ワークフローネットからAcyclic Well-Structuredワークフローネットヘリファクタリングするための条件について(システムと信号処理及び一般) |
サブタイトル(和) | |
タイトル(英) | On a Condition for Refactoring of Acyclic Extended Free Choice Workflow Nets to Acyclic Well-Structured Workflow Nets |
サブタイトル(和) | |
キーワード(1)(和/英) | ワークフローネット / workflow nets |
キーワード(2)(和/英) | リファクタリング / refactoring |
キーワード(3)(和/英) | 拡張自由選択 / extended free choice |
キーワード(4)(和/英) | well-structured / well-structured |
キーワード(5)(和/英) | 十分条件 / sufficient condition |
第 1 著者 氏名(和/英) | 孫 伯仲 / Bozhong SUN |
第 1 著者 所属(和/英) | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
第 2 著者 氏名(和/英) | 山口 真悟 / Shingo YAMAGUCHI |
第 2 著者 所属(和/英) | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
発表年月日 | 2011-07-01 |
資料番号 | CAS2011-19,VLD2011-26,SIP2011-48,MSS2011-19 |
巻番号(vol) | vol.111 |
号番号(no) | 105 |
ページ範囲 | pp.- |
ページ数 | 5 |
発行日 |