Export

Link to this page

Please use this URL for citations.

Search Other Services

Statistics

  • Access to this page：830 times

＜conference paper＞
Formal Modeling for Information Appliance Using Abstract MVC Architecture

Creator
Author PID
K002712
Creator Name
Arichika, Yuji
有近, 雄史
アリチカ, ユウジ
Affiliation
Affiliation Name
Department of Computer Science and Communication Engineering, Faculty of Information Science and Electrical Engineering, Kyushu University
九州大学システム情報科学研究院情報工学部門
Author PID
K000218
Creator Name
Araki, Keijiro
荒木, 啓二郎
アラキ, ケイジロウ
Affiliation
Affiliation Name
Department of Computer Science and Communication Engineering, Faculty of Information Science and Electrical Engineering, Kyushu University
九州大学システム情報科学研究院情報工学部門
Language
English
Publisher
Software Engineers Association
ソフトウェア技術者協会
Date
2004-10-21
Source Title
The Proceedings of ISFST-2004
First Page
180
Last Page
185
Publication Type
Version of Record
Access Rights
open access
Related DOI
Related DOI
The Proceedings of ISFST-2004 || p180-185
http://www.sea.jp/Events/isfst/ISFST2004/
Related URI
The Proceedings of ISFST-2004 || p180-185
http://www.sea.jp/Events/isfst/ISFST2004/
Related URI
isIdenticalTo
http://www.sea.jp/Events/isfst/ISFST2004/CDROM04/Presented04/2A1-T3/isfst2004_J181.pdf
Related HDL
Relation
The Proceedings of ISFST-2004 || p180-185
http://www.sea.jp/Events/isfst/ISFST2004/
Abstract 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.show more

Hide fulltext details.

pdf isfst2004_J181 pdf 75.9 KB 152  

Details

Record ID
6304
Peer-Reviewed
Unrefereed
Related URI
http://www.sea.jp/Events/isfst/ISFST2004/CDROM04/Presented04/2A1-T3/isfst2004_J181.pdf
Subject Terms
Formal methods
MVC architecture
information appliance
modeling
ISBN
4-916227-17-4
Notes
The 8th International Symposium on Future Software Technology (ISFST-2004), October 20(Wed) - 22(Fri), 2004, Xian, China
Type
会議発表論文
Created Date 2009.04.22
Modified Date 2020.10.13

People who viewed this item also viewed