抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ソフトウェア設計経験の要約として,設計モードはソフトウェアシステムの再利用性を効果的に改善でき,最終的に得られたソフトウェア製品の品質を保証する。しかし、実際の応用において、人々は単一の設計モードをあまり使用せず、通常、実際の応用場面に従って複数のモードの組合せを行う必要があり、これは得られた結果が不確かになり、ソフトウェア製品の品質に深刻な影響を与える可能性がある。既存のモード組合せの形式的方法は,効果的にモデル組合せの結果を表現できるが,しかし,組合せ方法は,多くの冗長性操作を含み,そして,設計者は,熟練し難い。上記モードの組合せプロセスに存在する問題に対処するため,本論文は,マルチモード間の組合せ関係について深く議論し,設計パターンの形式的記述から,Z言語の特性と組み合わせて,既存のモード組合せの形式的方法を詳細に研究した。既存のモード組合せ演算子を予備的に最適化した。既存の演算子集合に基づいて,モデルの制約,重ね合わせ,および拡張演算子を提案し,操作演算子によって,モデル組合せの精密な意味論を定義し,そして,代数的推論プロセスを用いて,既存のモード組合せの形式的方法に,効果的に代替できる。それは,既存のモード組合せの形式的方式におけるオペレータの冗長性,過剰の数量,および低い効率などの問題を解決できる。最後に,モデル組合せの事例研究により,提案した方法の有効性を検証した。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】