2009 Fiscal Year Annual Research Report
コレオグラフィ記述に基づく組込みシステムの高信頼性設計技法
| Project/Area Number |
19500026
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
結縁 祥治 Nagoya University, 大学院・情報科学研究科, 教授 (70230612)
|
|---|
| Keywords | プロセス代数 / コレオグラフィー / 組込みシステム / セッション型 / GUI応用プログラム |
|---|
| Research Abstract |
本年度は以下の点について研究を実施した。
1.制御オートマトンの提案
時間オートマトンの集合において、時間オートマトン間の大域的な遷移を導入することで大域的なオートマトンを構成する枠組みとして制御オートマトンを提案した。状態の優先度にループがない場合、大域的な情報は単一のオートマトンに埋め込まれることを示した。
2.GUI応用プログラムへのコレオグラフィの適用
GUIアプリケーションに対して,その振る舞いをユーザ・内部システム・GUIコンポーネンとの間の通信系列で特徴化し,通信指向プログラミング手法を適用した.通信指向プログラミングでは,2者間の通信の系列をシステム全体の振る舞いとして大域的に記述し,この大域記述を通信の参加者ごとに独立したプロセスに分解する.このためにGUIアプリケーションの大域的な記述としてGUI-CDL,局所的な記述としてGUI-□を定義し,GUI-CDLからGUI-□への変換GUI-EPPを定義する.GUIアプリケーションでは,ユーザとの通信は必要に応じて制限される.この特徴を通信における可視性として導入して,高信頼のGUIプログラミングを実現した.
|
-
[Presentation] Session Type Inference in Haskell2010
Author(s)
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
Organizer
PLACES'10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
Place of Presentation
Paphos, Cyprus
Year and Date
2010-03-21
-
-
-
-
-
