| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2012-01-26 13:45 拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について ○平川智悠・山口真悟（山口大）  MSS2011-60 SS2011-45 |
|
| 抄録 | （和） | ワークフローは法律の改正や市場の拡大などに適合するよう変更されることがある． その際，事業の継続性の観点から，変更後のワークフローは変更前のワークフローの 振舞いを保持しなければならない．この性質は振舞い継承と呼ばれる． 振舞い継承を判定する問題は決定可能であるが，手に負えないことが知られている． 本稿では，ワークフローの変更を構造上の拡張に限定することによって， 振舞い継承の一つであるProtocol継承を多項式時間で判定するための 必要十分条件とアルゴリズムを明らかにした． |
| （英） | A workflow may be changed to adapt to market growth, legal reform, and so on. In that case, the new workflow has to preserve the behavior of the old workflow for business continuity. This property is called behavioral inheritance. It is known that the verification problem on behavioral inheritance is decidable but is intractable. In this paper, limiting the change to workflows to extension on structure, we proposed a necessary and sufficient condition and a polynomial-time algorithm for solving the verification problem on behavioral inheritance (strictly speaking, protocol inheritance). |
|
| キーワード | （和） | ワークフロー / ワークフローネット / 振舞い継承 / サブネット / 多項式時間判定 / / / |
| （英） | workflow / workflow net / behavioral inheritance / subnet / polynomial time verification / / / | |
| 文献情報 | 信学技報, vol. 111, no. 405, MSS2011-60, pp. 33-38, 2012年1月. | |
| 資料番号 | MSS2011-60 | |
| 発行日 | 2012-01-19 (MSS, SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2011-60 SS2011-45 |
|
| 研究会情報 | |
| 研究会 | SS MSS |
| 開催期間 | 2012-01-26 - 2012-01-27 |
| 開催地（和） | 高知市文化プラザかるぽーと |
| 開催地（英） | Kochi City Culture-Plaza Cul-Port |
| テーマ（和） | 一般 |
| テーマ（英） | General topics |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2012-01-SS-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | 拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について |
| サブタイトル（和） | |
| タイトル（英） | On Polynomial Time Verification of Protocol Inheritance between Extended Free Choice Workflow Nets and Their Subnets |
| サブタイトル（英） | |
| キーワード(1)（和/英） | ワークフロー / workflow |
| キーワード(2)（和/英） | ワークフローネット / workflow net |
| キーワード(3)（和/英） | 振舞い継承 / behavioral inheritance |
| キーワード(4)（和/英） | サブネット / subnet |
| キーワード(5)（和/英） | 多項式時間判定 / polynomial time verification |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 平川 智悠 / Tomohiro Hirakawa / ヒラカワ トモヒロ |
| 第1著者 所属（和/英） | 山口大学大学院 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 山口 真悟 / Shingo Yamaguchi / |
| 第2著者 所属（和/英） | 山口大学大学院 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2012-01-26 13:45:00 |
| 発表時間 | 30分 |
| 申込先研究会 | MSS |
| 資料番号 | MSS2011-60, SS2011-45 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | no.405(MSS), no.406(SS) |
| ページ範囲 | pp.33-38 |
| ページ数 | 6 |
| 発行日 | 2012-01-19 (MSS, SS) |
[研究会発表申込システムのトップページに戻る]