著者

秦 良平 飯島 正

雑誌

ソフトウェアエンジニアリングシンポジウム2015論文集

巻号頁・発行日

vol.2015, pp.99-106, 2015-08-31

---

業務プロセスから業務ルールを取り出し,管理する業務ルール管理 (BRM; Business Rule Management) は,業務プロセス管理 (BPM; Business Process Management) の効率化に有効である.業務ルールの中でも,「時間制約に関するルール」は重要な要素の一つであり,本研究では,業務プロセスにおいて「時間制約に関するルール」をモデル検査手法を用いて検証することを目指す.著者らが提案する業務プロセス表記法に対して,時間表現を導入し,時間制約を含めたモデル検査ツールUPPAALで検査可能なモデルである時間オートマトンに自動変換する仕組みを提供することで,それを可能にする.