カイヤ ハルヒコ   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 を用いて本手法を実現した.