講演名 | 2015-01-27 ワークフローネットのスーパークラス抽出問題とその解法の洗練 西 颯麻, 山口 真悟, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 複数のワークフローの共通の振舞いは,それらの振舞いを継承するスーパークラスとしてモデル化できる.筆者らはワークフローネットのスーパークラス抽出問題を提案し,フットプリント(トランジション間の順序関係)を用いた解法を与えた.しかし,その解法が一般的に振舞い継承を維持することを示していなかった.本稿では振舞い継承を維持するネットの操作とフットプリントの操作の関係に焦点を当て解法を洗練し,振舞い継承を維持することを証明する.さらにスーパークラス抽出の応用例としてワークフローネットの進捗管理を示す. |
抄録(英) | We can modeled a common behavior of two or more workflows as a superclass of them under behavioral inheritance. We have proposed the extract superclass problem of workflow nets and have give a solution using a footprint (order relation between transitions). However, it has not been shown that the solution generally preserve the behavioral inheritance. In this paper, we focus on the relationship between operations on net and operation on footprint under behavioral inheritance. We refine the solution and prove it preserve behavioral inheritance. We show the progress management of workflow nets as an application of superclass extraction. |
キーワード(和) | ペトリネット / ワークフローネット / フットプリント / スーパークラス抽出 / プロセスマイニング |
キーワード(英) | Petri net / workflow net / footprint / superclass extraction / process mining |
資料番号 | MSS2014-83,SS2014-47 |
発行日 |
研究会情報 | |
研究会 | MSS |
---|---|
開催期間 | 2015/1/19(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Mathematical Systems Science and its applications(MSS) |
---|---|
本文の言語 | JPN |
タイトル(和) | ワークフローネットのスーパークラス抽出問題とその解法の洗練 |
サブタイトル(和) | |
タイトル(英) | Extract Superclass Problem of Workflow Nets and Refining the Solution |
サブタイトル(和) | |
キーワード(1)(和/英) | ペトリネット / Petri net |
キーワード(2)(和/英) | ワークフローネット / workflow net |
キーワード(3)(和/英) | フットプリント / footprint |
キーワード(4)(和/英) | スーパークラス抽出 / superclass extraction |
キーワード(5)(和/英) | プロセスマイニング / process mining |
第 1 著者 氏名(和/英) | 西 颯麻 / Sohma NISHI |
第 1 著者 所属(和/英) | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
第 2 著者 氏名(和/英) | 山口 真悟 / Shingo YAMAGUCHI |
第 2 著者 所属(和/英) | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
発表年月日 | 2015-01-27 |
資料番号 | MSS2014-83,SS2014-47 |
巻番号(vol) | vol.114 |
号番号(no) | 415 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |