<会議発表論文>
Formal Modeling for Information Appliance Using Abstract MVC Architecture

作成者
本文言語
出版者
発行日
雑誌名
開始ページ
終了ページ
出版タイプ
アクセス権
概要 In information appliance development, it is important to divide core functions and display functions because information appliance have various user interface and display functions changed frequently.... Using MVC architecture is one way to divide display functions and core functions. But MVC architecture is implementation architecture and there are some gaps to get abstract model. On the other hand it is known that formal methods are useful for constructing abstract model. Therefore we intend to use formal methods and MVC architecture to get abstract model which divide core functions and display functions. In this paper we propose abstract MVC architecture which abstracted traditional MVC architecture. And we introduce how to describe abstract model of information appliance using formal methods and abstract MVC architecture using cork board system as a case study. After that we discuss the benefit of our modeling approach and the guide line for modeling display functions.続きを見る

本文情報を非表示

isfst2004_J181 pdf 75.9 KB 90  

詳細

レコードID
査読有無
関連情報
関連情報
主題
ISBN
注記
タイプ
登録日 2009.04.22
更新日 2017.03.21