| 講演名 | 2010-01-22 Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案(一般) 山口 真悟, 濱野 慎司, 黒田 祐樹, 田中 稔, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ワークフロー管理とは仕事の流れをワークフローとして定義し,そのインスタンスを自動化することである.ワークフローには同時に処理されるワークフローインスタンスが複数ありうる.複数のワークフローインスタンスを伴うワークフローの振る舞いは,ワークフローインスタンスごとに分割して,解析できることが望まれる.多くの実用的なワークフローは拡張自由選択ワークフローネットでモデル化できることが知られている.複数のワークフローインスタンスの振る舞いは一つの発火系列として表される.その発火系列をワークフローインスタンスごとに分割できる条件の一つとして直列化可能性(serializability)がある.本稿ではAcyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングに基づく判定方法を提案する. |
| 抄録(英) | Workflow management is to define a flow of work as a workflow, and to automate its instances. In a single workflow, there may be multiple workflow instances that are processed concurrently. The behavior of the workflow should be analyzed after divided per workflow instance. It is known that most actual workflows can be modeled as extended free choice workflow nets. The behavior of multiple workflow instances is represented by a single firing sequence. There is a condition, called serializability, for dividing the firing sequence per workflow instance. In this paper, we propose a refactoring-based method to decide the serializability for acyclic extended free choice workflow nets. |
| キーワード(和) | ワークフローネット / 直列化可能性 / リファクタリング / 自由選択 / Well-Structured |
| キーワード(英) | workflow nets / serializability / refactoring / free choice / well-structured |
| 資料番号 | CST2009-45 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2010/1/14(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案(一般) |
| サブタイトル（和） | |
| タイトル（英） | A Refactoring-Based Method to Decide the Serializability of Acyclic Extended Free Choice Workflow Nets |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ワークフローネット / workflow nets |
| キーワード(2)（和/英） | 直列化可能性 / serializability |
| キーワード(3)（和/英） | リファクタリング / refactoring |
| キーワード(4)（和/英） | 自由選択 / free choice |
| キーワード(5)（和/英） | Well-Structured / well-structured |
| 第 1 著者 氏名（和/英） | 山口 真悟 / Shingo YAMAGUCHI |
| 第 1 著者 所属（和/英） | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 第 2 著者 氏名（和/英） | 濱野 慎司 / Shinji HAMANO |
| 第 2 著者 所属（和/英） | 山口大学工学部 Faculty of Engineering, Yamaguchi University |
| 第 3 著者 氏名（和/英） | 黒田 祐樹 / Yuki KURODA |
| 第 3 著者 所属（和/英） | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 第 4 著者 氏名（和/英） | 田中 稔 / Minoru TANAKA |
| 第 4 著者 所属（和/英） | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 発表年月日 | 2010-01-22 |
| 資料番号 | CST2009-45 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | 367 |
| ページ範囲 | pp.- |
| ページ数 | 4 |
| 発行日 | |