| 講演名 | 2005-01-27 状態機械ワークフローネットのFlush、Abort、SCO方式による動的変更に対する最悪変更時間の計算について(コンカレントシステム, 一般) 宮内 克彰, 山口 真悟, 葛 崎偉, 田中 稔, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では, 状態機械ワークフローネット(SMWFネット)の動的変更に対する変更時間の計算について議論する. まずSMWFネットの定義を与える. SMWFネットは直列経路, 条件付き経路から構成されるワークフローをモデル化できる. 次に, 条件分岐により一つのネットでも変更時間に幅が生じるため新たな尺度として最悪変更時間を提案する. そして全ての事例がFirst-In First-Outの順に処理されるという条件下で, Flush, Abort, Synthetic Cut-Over(SCO)方式によって動的変更が行われた場合の最悪変更時間を計算する方法を提案する. 最後に, 270パターンのワークフローの変更例を対象として, Flush, Abort, SCO方式の比較結果を示す. |
| 抄録(英) | This paper discusses computation of worst change time for Flush, Abort, Synthetic Cut-Over (SCO) dynamic change of state-machine workflow nets (SMWF-nets). We first give the definition of SMWF-nets. As a measure for evaluating the efficiency of dynamic change, change time has been proposed. For SMWF-nets the value of change time varies because of conditional routings. So we propose a new measure, named worst change time, which is the maximum value of change time. Then we propose methods of computing worst change time for the three change types under the condition that all cases are processed in the order of First-In First-Out. Finally we apply our methods to 270 examples of dynamic change and evaluate the three change types by using the computed values of change time. |
| キーワード(和) | ワークフロー / ワークフローネット / 動的変更 / 最悪変更時間 / 状態機械 |
| キーワード(英) | workflow / workflow net / dynamic change / worst change time / state-machine |
| 資料番号 | CST2004-45 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2005/1/20(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 状態機械ワークフローネットのFlush、Abort、SCO方式による動的変更に対する最悪変更時間の計算について(コンカレントシステム, 一般) |
| サブタイトル（和） | |
| タイトル（英） | On Computation of Worst Change Time for Flush, Abort, SCO Dynamic Changes of State-Machine Workflow Nets |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ワークフロー / workflow |
| キーワード(2)（和/英） | ワークフローネット / workflow net |
| キーワード(3)（和/英） | 動的変更 / dynamic change |
| キーワード(4)（和/英） | 最悪変更時間 / worst change time |
| キーワード(5)（和/英） | 状態機械 / state-machine |
| 第 1 著者 氏名（和/英） | 宮内 克彰 / Kastuaki MIYAUCHI |
| 第 1 著者 所属（和/英） | 山口大学工学部 Faculty of Engineering, Yamaguchi University |
| 第 2 著者 氏名（和/英） | 山口 真悟 / Shingo YAMAGUCHI |
| 第 2 著者 所属（和/英） | 山口大学工学部 Faculty of Engineering, Yamaguchi University |
| 第 3 著者 氏名（和/英） | 葛 崎偉 / Qi-Wei GE |
| 第 3 著者 所属（和/英） | 山口大学教育学部 Faculty of Education, Yamaguchi University |
| 第 4 著者 氏名（和/英） | 田中 稔 / Minoru TANAKA |
| 第 4 著者 所属（和/英） | 山口大学工学部 Faculty of Engineering, Yamaguchi University |
| 発表年月日 | 2005-01-27 |
| 資料番号 | CST2004-45 |
| 巻番号（vol） | vol.104 |
| 号番号（no） | 593 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |