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

ソフトウェアの精密/分析設計

Research Project

Project/Area Number 21650006
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeSingle-year Grants
Research Field Software
Research InstitutionWakayama University

Principal Investigator

鰺坂 恒夫 (鯵坂 恒夫)  和歌山大学, システム工学部, 教授 (30175864)

Co-Investigator(Kenkyū-buntansha) 満田 成紀  和歌山大学, システム工学部, 准教授 (10283954)
福安 直樹  和歌山大学, システム工学部, 助教 (60324993)
Project Period (FY) 2009 – 2010
Project Status Completed (Fiscal Year 2010)
Budget Amount *help
¥2,900,000 (Direct Cost: ¥2,900,000)
Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 2009: ¥1,600,000 (Direct Cost: ¥1,600,000)
Keywords要求分析 / 仕様記述 / 意味モデル / 情報システム / 組込みシステム / ソフトウェア設計
Research Abstract

精密分析/設計(PA/PD)方法論に基づき,ソフトウェアを構成する機能とデータのパラダイム(語彙分類)を整備した.サービス需給スキーマに基づく情報システムでは,サービス資源についての品目と実体という概念がアプリケーションを性格づける基礎となる.ある品目に含まれる対応可能な実体の数量(Q値)と特定の実体の対応可能性(B値)を考え,資源のライフサイクルにおいてどのような原因でQ値が変化しどのようにB値が用いられるかをみることによって,資源の種類認識の妥当性を説明した.
組込みシステムでは自律反射スキーマが問題記述の枠組みを与える.バリエーションの大きい主要概念は環境条件(センサ入力と入手操作)およびそれを受けた制御値の設定規則である.PA/PDでは,状態遷移モデルより詳細・精密な制御値決定の論理と計算のパターン化をはかる.制御値の決定規則は積極(B的制御)と消極(安全性確保)の競合下で適用されるので,その対象データを独占するユースケースとして独立に状態決定的に処理できるのではなく,生体における交感神経・副交感神経のアナロジーをスキーマとして規定する.パラダイム分析による対立項は次のとおりである:パルス(エッジ)データとレベルデータをトップレベルとして,同期(周期,タイマ)と非同期,二値と多値,前提条件と動作中発生条件,人手とセンサ,機器と媒体,稼動(運転)と整備(較正)など.
また,組込みシステムでは,デバイスの「世界観(準拠する物理量)とアプリケーションのそれが違うことを原因として問題定義構造とプログラム構造の差異が起こるので,それらの変換パターンを用意することができる.情報システムではデバイスを環境ソフトウェア(OSやDB,webサーバなど)に置き換えれば同じことがいえると予想され、今後の研究課題とした.

Report

(2 results)
  • 2010 Annual Research Report
  • 2009 Annual Research Report
  • Research Products

    (11 results)

All 2010 2009 Other

All Journal Article (6 results) (of which Peer Reviewed: 3 results) Presentation (3 results) Remarks (2 results)

  • [Journal Article] Proposal for Requirement Validation Criteria and Method Based on Actor Interaction2010

    • Author(s)
      Noboru HATTORI, Shuichiro YAMAMOTO, Tsuneo AJISAKA, Tsuyoshi KITANI
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: Vol.E93-D, No.4 Pages: 679-692

    • NAID

      10026814678

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] The Open Data Format and Query System of the Sensing Web2010

    • Author(s)
      N.Mitsuda, T.Ajisaka
    • Journal Title

      Proc.of Information Processing and Management of Uncertainty in Knowledge-Based Systems

      Volume: Vol.CCIS-81 Pages: 680-689

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 要求の割付先としてのITと運用の選択規準2010

    • Author(s)
      服部昇, 鯵坂恒夫, 山本修一郎
    • Journal Title

      電子情報通信学会技術報告

      Volume: Vol.110, No.61 Pages: 57-62

    • Related Report
      2010 Annual Research Report
  • [Journal Article] センサ情報共有のためのアーキテクチャとデータ形式標準2009

    • Author(s)
      満田成紀、鯵坂恒夫
    • Journal Title

      人工知能学会誌 24巻

      Pages: 202-207

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] アクタの相互作用に基づく要求抽出の完全性確認手法2009

    • Author(s)
      服部昇、山本修一郎、鯵坂恒夫、木谷強
    • Journal Title

      電子情報通信学会技術報告 Vol.109

      Pages: 59-64

    • NAID

      110007358941

    • Related Report
      2009 Annual Research Report
  • [Journal Article] ソフトウェアの精密分析/設計へのプロローグ2009

    • Author(s)
      鯵坂恒夫
    • Journal Title

      電子情報通信学会技術報告 Vol.109

      Pages: 29-34

    • NAID

      110007387570

    • Related Report
      2009 Annual Research Report
  • [Presentation] 共同利用型電子データ交換サービスの運用最適化に向けた業務知識の体系化2010

    • Author(s)
      松山浩土, 鯵坂恒夫
    • Organizer
      情報処理学会第170回ソフトウェア工学研究会
    • Place of Presentation
      大阪大学
    • Year and Date
      2010-11-12
    • Related Report
      2010 Annual Research Report
  • [Presentation] 事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案2010

    • Author(s)
      海老原健一, 満田成紀, 福安直樹, 鯵坂恒夫
    • Organizer
      情拠理学会第168回ソフトウェア工学研究会
    • Place of Presentation
      化学会館(東京都)
    • Year and Date
      2010-06-02
    • Related Report
      2010 Annual Research Report
  • [Presentation] ソフトウェア適応ライフサイクルとその支援手法の提案2009

    • Author(s)
      池田浩志、松山浩士、鯵坂恒夫
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      名古屋大学
    • Year and Date
      2009-11-05
    • Related Report
      2009 Annual Research Report
  • [Remarks]

    • URL

      http://www.sys.wakayama-u.ac.jp/~ajisaka/

    • Related Report
      2010 Annual Research Report
  • [Remarks]

    • URL

      http://www.sys.wakayama-u.ac.jp/~ajisaka/

    • Related Report
      2009 Annual Research Report

URL: 

Published: 2009-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi