| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2010-01-22 09:10 Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案 山口真悟・○濱野慎司・黒田祐樹・田中 稔（山口大）  CST2009-45 |
|
| 抄録 | （和） | ワークフロー管理とは仕事の流れをワークフローとして定義し，そのインスタンスを自動化することである． ワークフローには同時に処理されるワークフローインスタンスが複数ありうる．複数のワークフローインスタンスを伴うワークフローの振る舞いは，ワークフローインスタンスごとに分割して，解析できることが望まれる． 多くの実用的なワークフローは拡張自由選択ワークフローネットでモデル化できることが知られている． 複数のワークフローインスタンスの振る舞いは一つの発火系列として表される．その発火系列をワークフローインスタンスごとに分割できる条件の一つとして直列化可能性（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 {\it 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 / / / | |
| 文献情報 | 信学技報, vol. 109, 2010年1月. | |
| 資料番号 | ||
| 発行日 | 2010-01-14 (CST) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CST2009-45 |
|
| 研究会情報 | |
| 研究会 | MSS |
| 開催期間 | 2010-01-21 - 2010-01-22 |
| 開催地（和） | 豊田中央研究所アクタスCホール |
| 開催地（英） | Toyota Central R&D Labs. |
| テーマ（和） | 組込みシステム，一般 |
| テーマ（英） | Embedded System, etc |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2010-01-CST |
| 本文の言語 | 日本語 |
| タイトル（和） | 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 |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 山口 真悟 / Shingo Yamaguchi / ヤマグチ シンゴ |
| 第1著者 所属（和/英） | 山口大学 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 濱野 慎司 / Shinji Hamano / ハマノ シンジ |
| 第2著者 所属（和/英） | 山口大学 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 黒田 祐樹 / Yuki Kuroda / クロダ ユウキ |
| 第3著者 所属（和/英） | 山口大学 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 田中 稔 / Minoru Tanaka / タナカ ミノル |
| 第4著者 所属（和/英） | 山口大学 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 講演者 | 第2著者 |
| 発表日時 | 2010-01-22 09:10:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | CST2009-45 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | no.367 |
| ページ範囲 | pp.45-48 |
| ページ数 | 4 |
| 発行日 | 2010-01-14 (CST) |
[研究会発表申込システムのトップページに戻る]