研究者情報 | 神奈川大学

カイヤ　ハルヒコ Kaiya Haruhiko 海谷　治彦所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2011
形態種別	その他
標題	Checking Regulatory Compliance of Business Processes and Information Systems
執筆形態	共著
掲載誌名	Software and Data Technologies, Vol. 50, Springer, Communications in Computer and Information Science (CCIS).
巻・号・頁	71-84頁
著者・共著者	M. Saeki, H. Kaiya, and S. Hattori.
概要	執筆分 2章 CTLによる法令のモデル化 (全6章)．情報システムが法令に遵守するか否かを仕様書段階で形式的にチェックするための手法を提案した．法令をComputational Tree Logic (CTL) で記述し，既存のモデルチェッカー SMV を用いて本手法を実現した．