@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00144902,
 author = {秦, 良平 and 飯島, 正},
 book = {ソフトウェアエンジニアリングシンポジウム2015論文集},
 month = {Aug},
 note = {業務プロセスから業務ルールを取り出し，管理する業務ルール管理 (BRM; Business Rule Management) は，業務プロセス管理 (BPM; Business Process Management) の効率化に有効である．業務ルールの中でも，「時間制約に関するルール」は重要な要素の一つであり，本研究では，業務プロセスにおいて「時間制約に関するルール」をモデル検査手法を用いて検証することを目指す．著者らが提案する業務プロセス表記法に対して，時間表現を導入し，時間制約を含めたモデル検査ツールUPPAALで検査可能なモデルである時間オートマトンに自動変換する仕組みを提供することで，それを可能にする．},
 pages = {99--106},
 publisher = {情報処理学会},
 title = {オブジェクト指向ペトリネットによる業務プロセスモデリングと時間制約の検証},
 volume = {2015},
 year = {2015}
}