E-AoSAS++における振舞い検証の枠組み
スポンサーリンク
概要
- 論文の詳細を見る
アスペクト指向に基づくソフトウェアアーキテクチャの設計では,複数の関心事をモジュールとして分離することができる反面,全体の振舞いを検証することが難しいという問題点がある.本稿では,E-AoSAS++に基づいたアーキテクチャ記述をCSPコードに変換し,CSPのモデル検査器であるFDRを用いて系統的に検証する方法を示す.検証を行う効果として,厳密な振舞い仕様を記述する効果がある.この検証は後の開発段階におけるテストの基準となる.
- 2010-03-01
著者
-
沢田 篤史
南山大学情報理工学部ソフトウェア工学科
-
野呂 昌満
南山大学情報理工学部ソフトウェア工学科
-
沢田 篤史
京都大学
-
沢田 篤史
南山大学情報理工学部
-
張 漢明
南山大学
-
張 漢明
南山大学情報理工学部
-
野呂 昌満
南山大学情報理工学部
-
野呂 昌満
南山大学情報理工部
-
張 漢明
南山大学情報理工学部ソフトウェア工学科
関連論文
- アスペクト指向技術を用いたORBミドルウェア開発方法(オブジェクト指向とWeb技術)
- 高速軽量なXQuery問い合わせプログラム生成系の設計と試作
- ソフトウェア工学科の誕生
- E-AoSAS++に基づく開発支援環境 : コード生成ツールの提案(組込み(学生セッション))
- E-AoSAS++に基づく開発支援環境 : 実行前検査ツールの提案(組込み(学生セッション))
- ソフトウェア工学科の誕生 : ソフトウェア工学によるソフトウェア工学教育カリキュラムの開発(開発/設計手法,報告)
- アスペクト指向に基づくソフトウェアアーキテクチャの文書化方式
- ソフトウェア工学科の設計
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- ウインターワークショップ・イン・金沢報告 : 総括
- モデル駆動アーキテクチャに基づくホームネットワークサービスの開発支援(学生セッション A_モデル指向(1))
- 平安京ビューによるIDSデータの視覚化
- 開放型大規模ネットワークのためのIDSログ監視支援システム(不正侵入・異常検知)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- 安全なギガビットネットワークシステムKUINS-IIIの構成とセキュリティ対策(ネットワーク管理)(インターネットアーキテクチャ技術論文)
- E-AoSAS++における振舞い検証の枠組み (ソフトウェアサイエンス)
- 分散型機能協調基盤による機能連携サービス提供方法(モバイル,コンテンツ,セキュリティ,信頼性,一般)
- 特集「ソフトウェア工学」の編集にあたって
- 「ソフトウェア工学特集」のレター論文掲載開始にあたって
- 分散協調型ホームネットワークサービス構築基盤 (ヒューマンコミュニケーション特集) -- (分散協調メディア)
- ホームネットワークサービス向けサービスシナリオ記述フレームワークのエミュレータ開発(NW性能管理, NW品質, 一般)
- 機能協調基盤ゆかりカーネルにおけるアクセス制御と振舞記述(「モバイルNWとインターネット/家電NWはどう融合するか?」【標準化(DLNA等), モバイルNW, 家電NW, 情報家電, 及び一般】)
- 分散協調基盤ミドルウェア「ゆかりコア」でのメディア処理
- 分散協調基盤ミドルウェア「ゆかりコア」でのメディア処理(モバイルと放送の融合時代を迎えて(1セグ放送, モバイル放送, 携帯放送融合サービス, 1セグ対応携帯端末, モバイルコンテンツと放送コンテンツの融合, マルチメディア配信, ディジタル放送受信機, および一般))
- ネットワーク家電のための機能協調型基盤ゆかりカーネル構想
- 機能協調型基盤ゆかりコアを用いた実生活支援サービス : NICTユビキタスホームへの展開と実装(システム・アプリケーション)
- 機能協調型家電ネットワーク基盤"ゆかりコア"おける環境適応型機能バインド機構
- 機能協調型家電ネットワークのためのサービスシナリオ記述方式(ミドルウェア・組込み)
- ゆかりコア : ネットワーク家電のための分散協調型サービス構築基盤
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 並列ベクトル計算機VPP上のHPFの性能評価
- 並列ベクトル計算機VPP上のHPFの性能評価
- 食材に視覚的特徴変化を生じさせる加工における食材と加工動作の同時認識(画像・映像処理)
- 歩行時の両足床反力を用いた個人識別(パターン認識)
- D-12-27 個人識別のためのフットステップ情報利用の検討(D-12. パターン認識・メディア理解, 情報・システム2)
- 組込みソフトウェアシンポジウム2004報告(ソフトウェア工学の動向報告)
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- ウィンターワークショップ2006・イン・鴨川参加報告
- E-AoSAS++における振舞い検証の枠組み
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- 組込みソフトウェアの仕様モデルとアーキテクチャの関係に関する考察
- 遅延パーサを用いた軽量なXQuery処理系
- ウィンターワークショップ2005イン・伊豆参加報告(ソフトウェア工学の動向報告)
- 並行オブジェクト指向言語yの実行時環境
- A-16-13 グラフィックデザインミーティング映像に対するインデキシングのための操作認識(A-16. マルチメディア・仮想環境基礎)
- VDM-SLによるソフトウェアアーキテクチャの記述法
- Web情報システムのソフトウェアアーキテクチャ
- A-16-9 分散型機能協調基盤上の家電・センサ機能単位化およびその統合(A-16. マルチメディア・仮想環境基礎)
- 静的意味情報を考慮したコンポーネントのサイズメトリクス
- 静的意味情報を考慮したコンポーネントのサイズメトリクス
- 単機能分散型ネットワークドアプライアンスアーキテクチャにおける統合サービス記述の検討
- 観測データに基づく生産加工活動認識のための物体・操作・目的情報の統合利用(テーマセッション(3))(ユビキタスコンピューティングのためのパターン認識・理解)
- A-16-17 食材加工過程の認識のための食材の視覚的特徴変化と可能な調理操作に関する知識の利用(A-16. マルチメディア・仮想環境基礎)
- 情報相分割に基づくユーザインタフェース設計
- 操作情報を中心としたユーザインタフェース設計法
- リポジトリを利用した設計情報の変化の分析と発展支援
- 操作情報を中心としたユーザインタフェース設計法
- リポジトリを利用した設計情報の変化の分析と発展支援
- 操作情報を中心としたユーザインタフェース設計法
- HTML要素の状態を考慮したCSSの拡張方法の提案(研究速報)
- パターンに基づくCSP記述の検査に関する考察
- パターンに基づくCSP記述の検査に関する考察 (ソフトウェアサイエンス)
- 属性付き字句系列に基づくソースコード書き換え支援環境
- 並行システム記述におけるフォールトパターンに関する考察
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討
- ソフトウェア進化研究の分類と動向
- 前処理前プログラムに対する記号表の構成手法
- SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究
- アーキテクチャ指向開発における形式手法の適用に関する考察
- アーキテクチャ指向開発における形式手法の適用に関する考察
- ソフトウェア進化研究に関する動向調査 : IWPSEシリーズを題材に
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討(検証と品質,ソフトウェアサイエンス、理論)
- 並行システム記述におけるフォールトパターンに関する考察(検証と品質,ソフトウェアサイエンス、理論)
- SOAアプリケーションプラットフォームのプロダクトライン化
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- ソフトウェア進化研究に関する動向調査IWPSEシリーズを題材に
- VDM-SLによるソフトウェアアーキテクチャの記述法
- コンパイル方式による高速軽量なXQuery問い合わせプログラム生成系の設計と実現