モデル形成支援のための仕様記述変換技術

• Item type: Trans(1)
• 公開日: 1999-12-15
• タイトル: モデル形成支援のための仕様記述変換技術
• タイトル / 言語: en
• タイトル: Specification Transformation Techniques to Support Modeling for an Application System
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: オリジナル論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 財団法人九州システム情報技術研究所 奈良先端科学技術大学院大学
• 著者所属: 財団法人九州システム情報技術研究所 九州大学
• 著者所属(英): en
• 著者所属(英): Institute of Systems & Information Technologies｜Nara Institute of Science and Technology
• 著者所属(英): en
• 著者所属(英): Institute of Systems & Information Technologies｜Kyushu University
• 著者名: 張漢明; 荒木, 啓二郎
• 著者名(英): Han-Myung, Chang; Keijiro, Araki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本研究の目的は ソフトフェア開発の仕様記述の工程におけるモデル化の作業を支援することである.仕様記述の過程では システムに対する理解が深まるにつれて より最適なモデルを用いて仕様は書き換えられる.本研究では モデル間の仕様記述の変換手法を提示することにより 対象システムのモデル化支援を図る.本論文では 形式仕様記述言語Zを用いて2項関係モデル間の対応を分析し 2項関係モデル間の系統的な仕様記述変換の手法を提示する.仕様記述変換技術は 仕様記述の内容を維持しつつモデルを相互に変換する手法を与えることにより 目的に応じた最適なモデルの選択を可能とし また 仕様を記述する時の指針となり得ることが期待できる.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: One of the most important issues in software development is how to make a mathematical model for an application system. In this paper we present transformation methods for specifications in Z, which support building a formal model for an application system. We discuss relationships between transformed specifications in binary relation models such as total functions, partial functions or relations. The development of specification transformation methods means to clear and formalize the specifier's process of modeling and specification. We expect that reliability for the specification increases because of examining the specification with an appropriate model for the system.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464803
• 書誌情報: 情報処理学会論文誌数理モデル化と応用（TOM）; 巻 40, 号 SIG09(TOM2), p. 18-29, 発行日 1999-12-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7780
• 出版者 / 言語: ja
• 出版者: 情報処理学会