• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2007 Fiscal Year Annual Research Report

アスペクト指向アーキテクチャに基づく組込ソフトウェア開発環境の設計と実現

Research Project

Project/Area Number 18500030
Research InstitutionNanzan University

Principal Investigator

野呂 昌満  Nanzan University, 数理情報学部, 教授 (40189452)

Co-Investigator(Kenkyū-buntansha) 沢田 篤史  南山大学, 数理情報学部, 教授 (40273841)
蜂巣 吉成  南山大学, 数理情報学部, 講師 (30319298)
Keywordsアスペクト指向 / 組込ソフトウェア / ソフトウェアアーキテクチャ / アーキテクチャスタイル
Research Abstract

本研究は組込ソフトウェアの開発を支援するマルチプラットフォーム環境の開発を目指すものである.組込ソフトウェアは並行に動作する状態遷移機械の集合というアーキテクチャに基づいてモデル化できる.開発環境はプラットフォーム独立なモデルの作成支援(前処理)とモデルからのプラットフォーム依存コードの生成(後処理)を支援する.
本年度は以下の研究を行った.
1.開発プロセスとアーキテクチャの整理
ソフトウェアの開発プロセスを大きく4つ,仕様モデル決定,ソフトウェアアーキテクチャ構築,実行前検査,コード生成として整理した.各プロセスでのステイクホルダを考え,ステイクホルダが協調する場面で必要となるアーキテクチャとして,コンセプチュアルアーキテクチャ,プロダクトラインアーキテクチャ,プロダクトアーキテクチャを定義し,その記述法を提案した.
2.モデル検査方法の提案
前処理において,ソフトウェアの設計に対するモデル検査の方法について提案した.モデル検査はCSPにおける詳細化検査ツールFDRとチャネル通信オートマトンのための検査ツールSPINを用いて行う.検査の実用化のために,UMLでの設計から検査ツールの入力コードに変換する方法,ならびに検査により判明した欠陥箇所をUML図上で表示する方法について考察した.
3.MDAに基づいたコード生成系の設計と実現
後処理において,ソフトウェアの設計からプログラムコードを自動生成する方法について考察した.モデル駆動型アーキテクチャの概念に従って,Java,C++,Cをプラットフォームとしたコード生成系を設計・実現し,その有効性を確認した.
4.高速なXML問い合わせ言語処理系の設計と実現
ソフトウェア文書の保存形式としてXMLが用いられている.文書の再利用を支援するために,XML文書に対する高速な検索方法を提案した.

  • Research Products

    (3 results)

All 2007

All Journal Article (3 results) (of which Peer Reviewed: 3 results)

  • [Journal Article] ストリーム指向によるXQuery問い合わせ処理の効率化2007

    • Author(s)
      蜂巣吉成, 野呂昌満, 宮田裕則, 牛田匠
    • Journal Title

      ソフトウェアエンジニアリング最前線2007 情報処理学会SEシンポジウム

      Pages: 69-78

    • Peer Reviewed
  • [Journal Article] ソフトウェアアーキテクチャスタイルE-AOSAS++に基づく開発支援環境2007

    • Author(s)
      沢田篤史, 野呂昌満, 蜂巣吉成
    • Journal Title

      ソフトウェア工学の基礎XIV 日本ソフトウェア科学会FOSE 2007

      Pages: 209-214

    • Peer Reviewed
  • [Journal Article] E-AoSAS++ and its Software Development Environment2007

    • Author(s)
      野呂昌満, 沢田篤史, 蜂巣吉成, 坂野将秀
    • Journal Title

      Proceedings of the 14th Asia-Pacific Software Engineering Conference(APSEC2007)

      Pages: 206-213

    • Peer Reviewed

URL: 

Published: 2010-02-04   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi