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

软件的精确/分析设计

• 批准号: 21650006
• 负责人: 鰺坂 恒夫
• 金额: $ 1.86万
• 依托单位: Wakayama University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Challenging Exploratory Research
• 财政年份: 2009
• 资助国家: 日本
• 起止时间: 2009 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21650006/
• 关键词: 要求分析; 仕様記述; 意味モデル; 情報システム; 組込みシステム; ソフトウェア設計

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

The precision analysis

项目成果

共同利用型電子データ交換サービスの運用最適化に向けた業務知識の体系化

将业务知识系统化，以优化共享电子数据交换服务的运营

• 发表时间: 2010
• 作者: 松山浩土;鯵坂恒夫
• 通讯作者: 鯵坂恒夫

アクタの相互作用に基づく要求抽出の完全性確認手法

基于参与者交互的需求抽取完整性确认方法

• 发表时间: 2009
• 期刊: 電子情報通信学会技術報告 Vol.109
• 作者: 服部昇;山本修一郎;鯵坂恒夫;木谷強
• 通讯作者: 木谷強

ソフトウェア適応ライフサイクルとその支援手法の提案

软件适配生命周期的提出及其支持方法

• 发表时间: 2009
• 作者: 池田浩志;松山浩士;鯵坂恒夫
• 通讯作者: 鯵坂恒夫

The Open Data Format and Query System of the Sensing Web

传感网开放数据格式及查询系统

• 发表时间: 2010
• 期刊: Proc.of Information Processing and Management of Uncertainty in Knowledge-Based Systems
• 作者: N.Mitsuda;T.Ajisaka
• 通讯作者: T.Ajisaka

要求の割付先としてのITと運用の選択規準

选择用于分配请求的 IT 和操作的标准

• 发表时间: 2010
• 期刊: 電子情報通信学会技術報告
• 作者: 服部昇;鯵坂恒夫;山本修一郎
• 通讯作者: 山本修一郎