モデル駆動開発を用いたモデル理論アプローチによるシステム開発手法

抄録

オートマトンと集合論を基にしたシステム開発手法として，モデル理論アプローチが提唱されている．そのモデル理論アプローチが定義している経営情報システムの構成要素のひとつであるTPS(Transaction Processing System) の開発において，モデル駆動開発の手法を取り入れることによりその利点を TPS の開発にもたらすことができると考えられる．そこで，本研究は TPS の開発をモデル駆動開発の技術を用いて行う手法を提案し，また提案手法を実際に適用する実験により，TPS の開発に際して発生する作業量を削減できることを示す．