並列タイトル等A Proposal of Object-oriented, Integrally Consistent and Similar Modeling Processes and its Verification Scheme
オブジェクト シコウ ニ モトヅク イッカン ソウジセイ モデリング カテイ ノ ジツゲン ト ソノ ケンショウ ホウホウ ノ テイアン
タイトル(掲載誌)情報処理学会研究報告. MPS, 数理モデル化と問題解決研究報告
一般注記application/pdf
テクニカルレポート
対象世界の忠実な再現シミュレーションを実現するには,対象世界との高い相似性を保障するプログラムの開発法が必須である.そのため両世界の間の複数のモデリング段階に一貫して同じオブジェクト指向(以降OOと略)を採用し,一貫相似性の新規な定義とその形式的検証方法,OOで一貫して使えるオブジェクトモデルを新規に導入し,OO一貫相似性モデリング過程の実現の枠組みを設計・提案した.その上で想定ユーザである科学技術・工学分野の専門家(ドメインユーザ,DU)のために具体的なモデリング方法や検証方法を提案した.この方法に対する実用規模の具体例(水の大気循環)の分析・設計・実装を比較評価の結果,一貫相似性の検証方法が有効に働き,一貫相似性の高いモデリングが実現できたことを確認した.今後この方法を実施するDUのモデリング作業の支援環境の開発や実用化に向けた研究を行う予定である.
To realize the world reemerging simulation with "high similarity", we have proposed an Integrally Consistent and Similar Processes throughout from the real world up to the implemented simulation world. To realize this purpose, the Object-oriented (hereafter, OO) paradigm has been adopted and also an OO modeling reference model has been constituted. To verify the similarity between the real world and the simulation world, the concept "the similarity among the correspondent elements" has been proposed and its formal verification scheme has been developed. The results are as follows; (1) The simulation method with high similarity has been established throughout the OO modeling processes. (2) The verification scheme has been verified using some typical example of the atmospheric great circulations of water. Finally, we have concluded the validity and the usefulness of our proposed OO modeling processes for the simulation users.
著作権情報情報処理学会
本文データは学協会の許諾に基づきCiNiiから複製したものである
連携機関・データベース国立情報学研究所 : 学術機関リポジトリデータベース(IRDB)(機関リポジトリ)