ソフトウェアの問題記述のための実行可能な形式化自然語の提案
スポンサーリンク
概要
- 論文の詳細を見る
現場技術者が使用することを想定したソフトウェアの問題記述のための実行可能な形式化自然語(FNL;Formalized Natural Language)を提案する.ソフトウェア開発の多くの困難は,もとの問題(要求)とそれを実現するソフトウェアの記述との間の意味論的隔たりからきていると考えられる.もし,原問題に近い表現で問題を書くことができ,かつ,それが実行もできるようになれば,ソフトウェア開発過程が大きく改善されることが期待できる.これに近いねらいを持つ言語は形式仕様言語または要求記述言語と称され,すでに,Z,VDM,OBJ,およびCSPなど多数提案されているが,現時点ではそれらが産業界に十分普及しているとはいい難い.その理由としては,(i)読み書きが難解である,(ii)検証中心であり実行可能性が弱い,(iii)問題世界の統合的記述性が十分でない,(iv)本質的表現力の問題などの困難が指摘されている.しかし,これまで提案されている言語の延長上でこれらの困難を打開できるシナリオ像は必ずしも明確ではないように見える.本稿ではあえて出発点に戻り,これらの困難が最初から存在しない言語を提案する.
- 2011-03-15
著者
関連論文
- マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法(モデル/理論,ソフトウェアエージェントとその応用論文)
- Location Scope : ロケーションアウェアソフトウェア開発支援手法の提案(位置情報サービス, ユビキタスITSとモバイルアプリケーション)
- 適応エージェントのためのユビキタスコンピューティングミドルウェア(エージェント)
- MANETにおける省資源性を考慮した位置依存情報収集手法(ネットワーク)
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- AK-2-3 マルチカーエレベータ群管理アルゴリズムに関する研究動向 : CSTソリューションコンペティション2007の活動を通じて(AK-2.基礎・境界分野の研究最前線,ソサイエティ特別企画,ソサイエティ企画)
- CSTソリューションコンペティション2007 : 評価実験の詳細報告(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- AI-1-5 CSTソリューションコンペティション2007(総括)(AI-1. CSTソリューションコンペティション2007:表彰式・シンポジウム,依頼シンポジウム,ソサイエティ企画)
- モデリングは教育できるか?(要求/教育)
- 多数のノード取得攻撃に対応した無線センサネットワークにおける不正イベントの検知(センサネットワーク・P2Pネットワーク,ネットワークを支えるソフトウェア技術論文)
- 物理的相互作用に着目したスマート空間の形式仕様記述と検証
- プロセス間競合を考慮した自己適応システムの形式仕様構築
- A-12-8 CSTソリューションコンペティション2007 : 課題と評価ツール(A-12.コンカレント工学,一般講演)
- AP-2-5 CSTソリューションコンペティション2007(概要)(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- Ruby 処理系へのスナップショット GC の実装
- 知的移動エージェントによる低消費電力なワイヤレスセンサネットワークアプリケーションの構築(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- 知的移動エージェントによるマルチパーパスワイヤレスセンサネットワークアプリケーション(モバイルアプリケーション,ユビキタス時代を支えるモバイル通信と高度交通システム)
- パターンを用いたセキュアなモバイルエージェントシステム設計法(モバイルコンピューティング)
- Event Calculusに基づく合意を用いたモバイルエージェントの協調(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用(モバイルコンピューティング)
- パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム(分散協調とエージェント)
- ソフトウェア論文座談会
- 産業界におけるソフトウェア・エンジニアリングの動向(ソフトウェアの品質保証について)
- 遺伝的アルゴリズムによるアナログLSIの素子配置
- タグに関連づけられた時間・場所の概念抽出(「Webインテリジェンス」及び一般)
- 8.パネル討論:エージェントの社会的インパクト(社会に向き合うエージェントシステム)
- JADEを利用したマルチエージェントシステムの開発(研究のツールボックス 第6回)
- 要求の重要度を用いたマルチエージェントシステムの分析モデル検証(モデル/理論,ソフトウェアエージェントとその応用論文)
- IMPULSE:KAOSを利用したマルチエージェントシステムの分析モデル構築(分析・設計技法,ソフトウェア工学の理論と実践)
- ゴール指向要求分析を用いたself-adaptiveシステムの構築
- 6.ユビキタス環境で活躍するエージェント(社会に向き合うエージェントシステム)
- 多数のノード取得攻撃に対応した無線センサネットワークにおける複製ノードの分散検知(センサネットワーク・P2Pネットワーク,ネットワークを支えるソフトウェア技術論文)
- 無線センサネットワークにおけるFalse Eventの検知(無線・モバイルネットワーク,情報洪水時代のネットワークサービス)
- variable-size DBFによる分散ハッシュテーブルのトラヒック量削減(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- Ringed Bloom Filterによる分散ハッシュテーブルのトラフィック量削減(ミドルウェア,マルチメディア,分散,協調とモバイル(DICOMO2006))
- ゴール指向要求工学方法論の共通用語モデルと共通パターン(ソフトウェア要求工学,インタラクション技術の原理と応用)
- 無線センサネットワークにおける複数プログラムの動的配備
- トップエスイー「サイエンスによる知的ものづくり教育」
- トップエスイー : サイエンスによる知的ものづくり教育
- Teaching how to write security target of Common Criteria using the i* methodology (ソフトウェア工学)
- ユビキタス環境における動的なプロセス配備のためのプログラミング支援フレームワーク(モバイルアプリケーション,ユビキタス時代を支えるモバイル通信と高度交通システム)
- 「コンピュータソフトウェア」における論文とは
- セキュリティソフトウェア工学の最前線
- 経路情報を用いた複数タスクへのセンサ割当て
- ソフトウェアの問題記述のための実行可能な形式化自然語の提案
- Chordネットワークに配置された配列に対する並列範囲アクセス
- 同種サービスの併用を考慮した効率的なサービス選択
- 無線センサネットワークにおける対象追跡の分解能を調整可能なセンサモデル(スマートな社会を支えるインターネットアーキテクチャ論文)
- メタデータ制約を用いた協調プロトコルの自動合成手法
- SVMのバイオメトリクス認証への応用について : 分散システム下でのエージェント認証に向けて
- ページキャッシュの復元による遠隔地ライブマイグレーションの高速化
- ページキャッシュの復元による遠隔地ライブマイグレーションの高速化
- ページキャッシュの復元とその他のメモリ転送の並列動作による遠隔地ライブマイグレーション高速化
- 照合操作の識別のためのOCL解析方法
- クラウドを動的に利用するWebサービス連携のための動作記述(「サービス・クラウドの応用及びマッシュアップ」及び一般)