時間制約を持つGUI制御部の仕様記述の一手法

加藤, 雄一郎; 岡野, 浩三; 谷口, 健一

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2002, 102(629), 15-22

アクセス数:1,104件（2026-02-16 02:11 集計）

固定URL: https://hdl.handle.net/11094/27422

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
itr102_629_015 pdf なし 759 KB 89 2014.04.11  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
時間制約を持つGUI制御部の仕様記述の一手法
A Method for Describing Specification for GUI Controllers with Timing Resrictions
ジカン　セイヤク　ヲ　モツ　GUI　セイギョブ　ノ　シヨウ　キジュツ　ノ　イチシュホウ
著者
著者名
加藤, 雄一郎 ; カトウ, ユウイチロウ ; Kato, Yuichiro
NRID
1000070252632 1000070252632
著者名
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000000029513 1000000029513
著者名
谷口, 健一 ; タニグチ, ケンイチ ; Taniguchi, Kenichi
キーワード等
GUI
制御部
仕様記述
タイムオートマトン
controller
formal specification
timed autumaton
抄録
本稿では, グラフィカルユーザインターフェース(GUI)アプリケーションの開発コストを小さくするために, GUI制御部の仕様を形式的に記述する枠組を提案する.本手法では, 各GUI部品(オブジェクト)名やGUIアプリケーションで実行されるタスク名を記述したコンポーネント部と, 時間制約を含むGUI制御部の動作を記述した動作部の2つの記述から, タイムオートマトンで記述されたGUIの全体動作記述を自動導出する.そして, その全体動作記述から時間制約処理部と各オブジェクトごとの動作仕様群を自動導出する.本手法での利点は, (a)時間制約が記述できること, (b)全体仕様と各オブジェクトごとの動作仕様群の二つを導出することにより, 全体動作の把握と, GUIに特有なオブジェクト指向プログラミングによる実装が容易であること, (c)GUI制御部に対して安全性などの自動検証が可能となることである.
We propose a method for designing for GUI controllers in order to reduce total cost of the development. In our method, we describe a behavioral description of GUI with timing restrictions (behavior description) and decsribe GUI objects corresponding to widgets and tasks used in the GUI application (component description). A whole specification (abstract level specificaition) of a GUI's controller is, then, derived automatically as a timed automaton from these descriptions. The timed automaton is automatically devided into a set of timed automata(low level specification), each of Which expresses behavior of the GUI's object. Advantage of our method is following. (a) Timing restrictions such as time-out and so on, can be presented. (b)The method derives two levels of specification. The abstract level specification helps us to understand the whole behavior of the GUI applicaiton. The lower level specification helps us to implement the GUI application in the object oriented programming style. (c) Verification some properties of GUI controller, such as safety, can be performed automatically.
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)
102(629)
ページ
15-22
刊行年月
2002-01-23
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/27422
PISSN
09135685
NCID
AN10013287
アクセス権
open access
権利情報
Copyright © 2002 IEICE
本文データはCiNiiから複製したものである
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article