プロトコル状態マシンを用いた振舞い状態マシンの設計
スポンサーリンク
概要
- 論文の詳細を見る
組込みシステムの振舞いは,外部とのインタフェースから入ってくる信号に対して,外部にどの様に反応するか(どの様な信号を出すか)の規定によって定められる.このため,インタフェース仕様がシステムの設計にとって重要になる.本論文では,コンポーネントのインタフェースとなるポート(信号の出入口)に対して,信号の出入の仕方をプロトコル状態マシンで規定することにより,その規定とコンパティブルな振舞いをもつ状態マシンを系統的に構築する手法と,それに基づく状態マシン設計支援システムについて述べる.
- 一般社団法人情報処理学会の論文
- 2006-11-27
著者
関連論文
- オブジェクト指向に基づくプログラム動作の可視化(学生セッション H_開発支援)
- D-15-15 コラボレーションシステムを用いたコンピュータプログラミング教育その 2
- D-15-14 コラボレーションシステムを用いたコンピュータプログラミング教育その 1
- 組込みシステムの要求・設計アニメーションツール(設計支援)
- 3Q-5 設計のアニメーション支援ツール(開発支援環境,学生セッション,ソフトウェア科学・工学)
- ジャクソン法(JSP)による状態遷移設計
- ソフトウェアエンジニアリングシンポジウム2010開催報告
- 6ZH-7 エコ温室栽培システムの動作アニメーション(CGシステム・応用,学生セッション,インタフェース,情報処理学会創立50周年記念)
- 1T-8 HTMLを用いたWebアプリケーション自動構築(Webデザイン,学生セッション,データベースとメディア)
- ウィンターワークショップ2005イン・伊豆参加報告(ソフトウェア工学の動向報告)
- オブジェクト指向プログラムの動作の可視化
- 入出力データ構造の対応による Web サービスの自動合成
- 1Q-6 リファクタリングをガイドするツール(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
- 6P-2 プロブレムフレームにおける状態遷移図設計支援システム(ソフトウェア理解支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 1N-6 入出力データ構造の対応によるWebサービスの自動合成(Webサービス提供,学生セッション,データベースとメディア)
- 6ZL-8 コージェネレーション温室栽培施設自動管理システムの開発(情報システムの事例,学生セッション,コンピュータと人間社会)
- 2Q-1 状態遷移表の設計支援ツール(検査,検証,解析,学生セッション,ソフトウェア科学・工学)
- 2層構造によるWebアプリケーションのWebサービス変換(ネットワークサービス)
- HTMLタグ属性の追加によるWebアプリケーションのWebサービス変換(フレームワーク/サービス)
- インタフェースの情報を用いたシーケンス図作成支援システム(学生セッション F_モデル指向(2))
- インターフェースの情報を用いた状態遷移図の生成(開発支援(1)(学生セッション))
- WebアプリケーションのWebサービス変換(組み込み・Web(学生セッション))
- 状態指向の状態遷移表(要求/モデル)
- プロトコル状態マシンを用いた振舞い状態マシンの設計
- プロブレムフレームによる状態遷移図分析支援システム
- プロブレムフレームに基づく組込みシステムの状態遷移分析支援システム
- フィールド・メソッド関係表によるプログラムの評価
- プロブレムフレームにおけるシーケンス図の活用
- プロブレムフレームにおけるシーケンス図の活用
- 続・ソフトウェア工学の共通問題:4.座談会 〜共通問題を通して見るソフトウェア工学の30年〜