講演名 | 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 |
発行日 |