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

IPSJ Web Site 17 References

Bibliographic Information

Other Title
  • モデル ケイセイ シエン ノ タメ ノ シヨウ キジュツ ヘンカン ギジュツ
  • Specification Transformation Techniques to Support Modeling for an Application System

Search this article

Description

本研究の目的は ソフトフェア開発の仕様記述の工程におけるモデル化の作業を支援することである.仕様記述の過程では システムに対する理解が深まるにつれて より最適なモデルを用いて仕様は書き換えられる.本研究では モデル間の仕様記述の変換手法を提示することにより 対象システムのモデル化支援を図る.本論文では 形式仕様記述言語Zを用いて2項関係モデル間の対応を分析し 2項関係モデル間の系統的な仕様記述変換の手法を提示する.仕様記述変換技術は 仕様記述の内容を維持しつつモデルを相互に変換する手法を与えることにより 目的に応じた最適なモデルの選択を可能とし また 仕様を記述する時の指針となり得ることが期待できる.

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.

Journal

References(17)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top