| 講演名 | 2002/1/23 時間制約を持つGUI制御部の仕様記述の一手法 加藤 雄一郎, 岡野 浩三, 谷口 健一, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では, グラフィカルユーザインターフェース(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. |
| キーワード(和) | GUI / 制御部 / 仕様記述 / タイムオートマトン |
| キーワード(英) | GUI / controller / formal specificaiton / timed autumaton |
| 資料番号 | SS2001-41 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2002/1/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 時間制約を持つGUI制御部の仕様記述の一手法 |
| サブタイトル（和） | |
| タイトル（英） | A Method for Describing Specification for GUI Controllers with Timing Resrictions |
| サブタイトル（和） | |
| キーワード(1)（和/英） | GUI / GUI |
| キーワード(2)（和/英） | 制御部 / controller |
| キーワード(3)（和/英） | 仕様記述 / formal specificaiton |
| キーワード(4)（和/英） | タイムオートマトン / timed autumaton |
| 第 1 著者 氏名（和/英） | 加藤 雄一郎 / YUichiro KATO |
| 第 1 著者 所属（和/英） | 大阪大学大学院基礎工学研究科情報数理系専攻 Department of Infomatics and Mathmatical Science, Graduate school of Engineering Science, Osaka University |
| 第 2 著者 氏名（和/英） | 岡野 浩三 / Kozo OKANO |
| 第 2 著者 所属（和/英） | 大阪大学大学院基礎工学研究科情報数理系専攻 Department of Infomatics and Mathmatical Science, Graduate school of Engineering Science, Osaka University |
| 第 3 著者 氏名（和/英） | 谷口 健一 / Kenichi TANIGUCHI |
| 第 3 著者 所属（和/英） | 大阪大学大学院基礎工学研究科情報数理系専攻 Department of Infomatics and Mathmatical Science, Graduate school of Engineering Science, Osaka University |
| 発表年月日 | 2002/1/23 |
| 資料番号 | SS2001-41 |
| 巻番号（vol） | vol.101 |
| 号番号（no） | 629 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |