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

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
関連DOI
関連DOI
関連URI
関連URI
関連HDL
関連情報
概要 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.続きを見る

本文ファイル

pdf isfst2004_J181 pdf 75.9 KB 153  

詳細

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

この資料を見た人はこんな資料も見ています