WEKO3
アイテム
ユーザインタフェースの代数的仕様記述と仕様からのプログラム生成
https://ipsj.ixsq.nii.ac.jp/records/21453
https://ipsj.ixsq.nii.ac.jp/records/2145332dd611e-1b9e-409e-8e38-60828668e459
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE01135002.pdf (1.0 MB)
|
Copyright (c) 2001 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2001-11-21 | |||||||
| タイトル | ||||||||
| タイトル | ユーザインタフェースの代数的仕様記述と仕様からのプログラム生成 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Algebraic Specification of User Interface and Its Automatic Implementation | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 奈良先端科学技術大学院大学情報科学研究科 | ||||||||
| 著者所属 | ||||||||
| 奈良先端科学技術大学院大学情報科学研究科 | ||||||||
| 著者所属 | ||||||||
| 奈良先端科学技術大学院大学情報科学研究科 | ||||||||
| 著者所属 | ||||||||
| 奈良先端科学技術大学院大学情報科学研究科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Information Science Nara Institute of Science and Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Information Science Nara Institute of Science and Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Information Science Nara Institute of Science and Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Information Science Nara Institute of Science and Technology | ||||||||
| 著者名 |
池田, 瑞穂
× 池田, 瑞穂
|
|||||||
| 著者名(英) |
Mizuho, Ikeda
× Mizuho, Ikeda
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 代数的仕様記述の部分クラスである抽象的順序機械型仕様（ASM仕様）を用いたユーザインタフェース（UI）の形式的仕様記述法とそこからのプロトタイプ生成法を提案する。まず，個々のUIモジュールがメッセージ送受信によって非同期に動作するような，簡潔な多プロセスモデルである抽象的ウィンドウシステム（AWS）モデルを導入する。次に，AWSに基づきUIのASM仕様を記述する方法について述べる。また，Javaを実装アーキテクチャとした，UIのASM仕様を実装するための枠組を提案する。この枠組に従ってASM仕様をJavaプログラムに変換するコンパイラを作成した。コンパイラを用いて仕様記述例をコンパイルした結果についても述べる。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | In this paper, we propose a formal description method of user interface (UI) based on a subclass of algebraic specifications called abstract sequential machine (ASM) specifications and also discuss a prototype generation method from an ASM specification.We first introduce an abstract window system (AWS), which is a simple multiprocess model where each UI module behaves asynchronously by sending or receiving messages. Based on AWS model, ASM specifications of some UI are presented. We also describe experiments with a compiler which translates an ASM specification into a Java program. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 2001, 号 114(2001-SE-135), p. 9-16, 発行日 2001-11-21 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
