オブジェクト指向設計法におけるプログラム自動生成系の研究

面向对象设计方法中程序自动生成系统的研究

• 批准号: 07780245
• 负责人: 鈴木 正人
• 金额: $ 0.64万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780245/
• 关键词: オブジェクト指向設計; OMT法(Rambaugh); 動的モデル; 機能モデル; 操作的意味; プログラムの自動生成

本研究は代表的なオブジェクト指向設計法であるRumbaugh等によるOMTの3つのモデル(機能モデル、動的モデル、オブジェクトモデル)を形式的に再定義し、その上でプログラムの自動生成を行うものであり、厳密で形式的に理論的基盤に立ったオブジェクト指向設計法とその実用化のための基盤となることを目的とする。従来のOMTではオブジェクトモデルの記述において自由にオブジェクト間の関係を定義し、またイベント通信も無制限に行われていた。これはプログラム記述の自由度を高めるが、その弊害として動作の記述が曖昧すなわちその解釈が一意に決定できない、設計からプログラムを自動的に得ることが困難である、などの問題点が指摘されていた。本研究ではオブジェクトモデルにおける関係を限定し、動的モデルにおけるイベント通史印をオフジェクトモデルにおいて関係を定義されたオブジェクト間に制限することによって、オブジェクトモデルおよび動的モデルにおける操作的意味を形式的に与えた。新たに形式化されたOMTによって、オブジェクトモデルにおけるクラス間の関係より導出される公理、および動的モデルにおけるイベント通信の性質から導出される推論規則を用いて機能モデルにおける機能単位(プロセス)の動作的意味を検証することが可能になり、機能の解釈の一元化およびその解釈に基づいたプログラムの生成のための基本的な方法が形式的に記述できることが確認された。ただし実際に(拡張)OMTによる設計の記述からプログラムを自動生成するためには、オブジェクトの実在化(インスタンシエーション)においていくつか問題が残っている。例えばクラス間の関係が1対多になるような場合、正しくクラスが実在化されたかを自動的に検証する方法はまだ未解決の問題として残っている。また本方法により生成されたプログラムではイベント通信の相対的順序は正しいことが保証されるものの絶対時間およびそれに関する制限を扱うことができない。これは実時間情報を含んだ形式化によって行うことが可能であると予測されるが、具体的な方法は今後の課題である。

The representative of this study is to point to the form of "redefinition" in the form of "redefinition" in the form of "Rumbaugh", such as "Rumbaugh", etc., in the form of "redefinition", "auto-generation", and so on. The basis of the theory in the form of cryptography is that the basic information system points to the design method and the purpose of the system. In the OMT system, we need to make a note of how to make sure that the communication system is defined and that there is no limit to the number of users. This is a record of the high degree of freedom, the high degree of freedom and the action of the system. The purpose of this study is to determine the meaning of the operation in the form of information on the meaning of the operation of the information system. In this study, there are significant differences in the definition of information in the history of the operation. New formalization, OMT communication, communication The mechanism can be used to solve the problem that the basic system is generated in the form of a basic "method". The information system OMT system design records that the information system automatically generates the information system, the information system and the information system. As an example, we are in the process of solving the problem of an unsolved problem. In this method, we need to generate the order of the communication system that is related to each other. We are going to make sure that the communication system is in good order. During the period of time, it is necessary to formalize the situation, and the specific method may be used in the future.