ディペンダブルソフトウェア　　並行オブジェクトから並行処理列への変換法

• 岡崎 光隆

  北陸先端科学技術大学院大学

• 青木 利晃

  北陸先端科学技術大学院大学

• 片山 卓也

  北陸先端科学技術大学院大学

書誌事項

タイトル別名

• Extracting Concurrent Sequences from Concurrent Objects.
• 並行オブジェクトから並行処理列への変換法
• ヘイコウ オブジェクト カラ ヘイコウ ショリレツ エ ノ ヘンカンホウ

抄録

ソフトウェアの実時間性を解析・検証するためには，ソフトウェアの内部で「いつ，どんな処理列が並行に動作するか」という情報(並行処理列の情報)を明らかにすることが不可欠である．しかしオブジェクト指向のソフトウェアモデルを用いた開発では，モデルから直接並行処理列の情報を観測することは難しい．このことがオブジェクト指向による実時間ソフトウェア開発の妨げとなっている．そこで本稿では，並行処理列の情報抽出を目的として，オブジェクト指向のソフトウェアモデルを並行処理列モデルに変換する形式手法を提案する．並行処理列モデルは並行処理列の情報を明示的に表現したソフトウェアの振る舞いモデルであり，並行処理列の情報を容易に取得できる．

収録刊行物

• コンピュータ ソフトウェア

  コンピュータ ソフトウェア 22 (2), 58-73, 2005

  日本ソフトウェア科学会

詳細情報

• CRID: 1390001204738614016
• NII論文ID: 110008016649
• NII書誌ID: AN10075819
• DOI: 10.11309/jssst.22.2_58
• NDL書誌ID: 7832239
• ISSN: 02896540
• Web Site: http://id.ndl.go.jp/bib/7832239
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7832239
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles
  • KAKEN
• 抄録ライセンスフラグ: 使用不可