| 講演名 | 2015-01-27 ビジネスプロセスとビジネスルールのための時間制約の検証 秦 良平, 小形 達也, 飯島 正, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 近年,業務プロセス管理(BPM;Business Process Management)と並んで,業務ルール管理(BRM;Business Rule Management)が重視されている.本研究は,業務プロセスにおいて「時間制約に関する業務ルール」をモデル検査手法をもちいて検証することを目指すものである.モデル検査には,時間に関する検証を行うツールUPPAALを採用する.著者らが提案する業務プロセス表現に時間概念を導入し,それを時間オートマトンに変換することによって,時間制約に関する業務ルールの検証を可能にする. |
| 抄録(英) | Recently, importance of Business Process Management(BPM) and Business Rule Management (BRM) has been increased. In this paper, we demonstrate to verify a business rule about time constraint by applying model checking techniques to a set of business process pieces. We adopt UPPAAL as a model-checking tool to verify about time constraints. In our approach a set of Petri-Net based Business Processes with temporal annotations will be transformed to a timed automaton. And then a business rule about time constraints is verified for the timed automaton by UPPAAL. |
| キーワード(和) | 業務プロセス管理 / 業務ルール管理 / オブジェクト指向ペトリネット / モデル検査 / UPPAAL |
| キーワード(英) | Business Process Management / Business Rule Management / Object Oriented Petri-Net / Model Checking / UPPAAL |
| 資料番号 | KBSE2014-50 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2015/1/19(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ビジネスプロセスとビジネスルールのための時間制約の検証 |
| サブタイトル（和） | |
| タイトル（英） | Verification of Temporal Constraints for Business Processes and Rules |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 業務プロセス管理 / Business Process Management |
| キーワード(2)（和/英） | 業務ルール管理 / Business Rule Management |
| キーワード(3)（和/英） | オブジェクト指向ペトリネット / Object Oriented Petri-Net |
| キーワード(4)（和/英） | モデル検査 / Model Checking |
| キーワード(5)（和/英） | UPPAAL / UPPAAL |
| 第 1 著者 氏名（和/英） | 秦 良平 / Ryohei HATA |
| 第 1 著者 所属（和/英） | 慶應義塾大学大学院理工学研究科 Graduate School of Science and Technology,Keio Univ. |
| 第 2 著者 氏名（和/英） | 小形 達也 / Tatsuya OGATA |
| 第 2 著者 所属（和/英） | 慶應義塾大学理工学部 Department of Science andTechnology,Keio Univ. |
| 第 3 著者 氏名（和/英） | 飯島 正 / Tadashi IIJIMA |
| 第 3 著者 所属（和/英） | 慶應義塾大学理工学部 Department of Science andTechnology,Keio Univ. |
| 発表年月日 | 2015-01-27 |
| 資料番号 | KBSE2014-50 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | 420 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |