講演抄録/キーワード |
講演名 |
2015-01-27 10:00
ワークフローネットのスーパークラス抽出問題とその解法の洗練 ○西 颯麻・山口真悟(山口大) MSS2014-83 SS2014-47 |
抄録 |
(和) |
複数のワークフローの共通の振舞いは,それらの振舞いを継承するスーパークラスとしてモデル化できる.筆者らはワークフローネットのスーパークラス抽出問題を提案し,フットプリント(トランジション間の順序関係)を用いた解法を与えた.しかし,その解法が一般的に振舞い継承を維持することを示していなかった.本稿では振舞い継承を維持するネットの操作とフットプリントの操作の関係に焦点を当て解法を洗練し,振舞い継承を維持することを証明する.さらにスーパークラス抽出の応用例としてワークフローネットの進捗管理を示す. |
(英) |
We can model 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 / / / |
文献情報 |
信学技報, vol. 114, no. 415, MSS2014-83, pp. 85-90, 2015年1月. |
資料番号 |
MSS2014-83 |
発行日 |
2015-01-19 (MSS, SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
MSS2014-83 SS2014-47 |