オブジェクト指向設計法における機能・動的モデルの形式化の研究

面向对象设计方法中功能/动态模型的形式化研究

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

本研究は代表的なオブジェクト指向設計法であるRumbaugh等によるOMTの3つのモデル(機能モデル、動的モデル、オブジェクトモデル)のうち、機能モデルおよび動的モデルの形式化を行い、厳密で形式的な理論的基盤に立ったオブジェクト指向設計法を確立するための基盤とすることを目的とする。最初にOMTの動的モデルに着目し、形式化を行った。従来動的モデルはState Chartなどを利用して記述していたが、これは状態を階層化するための基準が明確でなく、また全ての変数が大域的であるためシステムの状態を形式的に記述するのが困難であった。本研究では各状態自身をオブジェクトとしてとらえることで状態の階層関係を明確に定義したモデルObTSを提唱した。ObTSではシステムの構造を属性と遷移図を持ったオブジェクトの集まりと考える。システムの動作は各オブジェクトの状態遷移およびイベントの大域的(同報)通信によってモデル化する。各オブジェクトおよびイベントは局所的な属性と呼ばれるデータを持ち、計算はすべてこの属性を通じて関数によって記述される。機能モデルにおいて依存関係を持たないオブジェクトは並行に動作する可能性があるが、ObTSではオブジェクトの並行動作は内部オブジェクトによって記述する。これは親オブジェクトの状態の一つとして記述され、同一の起動/終了イベントを持つ状態オブジェクトの組は同時並行に動作するという解釈をモデルに与える事によって実現される。ObTSによって、動的モデルの特徴である状態遷移図と機能モデルの特徴である関数計算が同一のフレームワークにより形式的に記述できることが確認された、ただし動的モデルと機能モデルの整合性の検証については、ObTSによる記述の階層構造において葉の状態に記述される関数と機能モデルの関数との間に部分的な関係は認められたものの、全体の整合性を検証できるまでには至っていない。また動的モデルと機能モデルが別々の階層構造を持つ場合、双方の階層構造の食い違いを修正する方法などにまだ多くの課題を残している。

This study is based on the Nautilus pointing design method represented by Rumbaugh et al. MTの3つのモデル(functionalモデル、movingモデル、オブジェクトモデル)のうち, the basis of the theory of the formalization of the functional manual and the formalization of the functional manual. The design method of establishing the design method is to establish the base and purpose of the design. The initial movement of OMT was based on the design and formalization of the project. The moving モデルはState ChartなどをUse して description していたが, これは status をstratification するためのstandard が clarification でなく, また全ての変数が大区的であるためシステムのSTATEを form にnarrative するのがdifficulty であった. In this study, the hierarchical relationship between each status itself is clearly defined and the status of each status is improved. ObTSではシステムのstructuralをattributeとmigratory図をholdったオブジェクトの集まりとtestえる. The action of each system is to transfer the state of each system and to communicate with each other in the large area. The attributes of each オブジェクトおよびイベントは officeをhold ち, calculate はすべてこの attribute を通 じて Off number によって scribe される. Functionality, dependency, dependency, support, parallelism, possibility of action, etc.るが、ObTS parallel action and internal オブジェクトによって descriptionする.これは kissing オブジェクトのstatus の一つとして description され, same のstart/end イベントをhold つstatusオブジェクトの组は simultaneous parallel action するという解鈇をモデルに and える事によって実appears される. ObTS によって, moving モデルの特徴であるstatus transition 図とfunction モデルの特徴であるswitch number calculation が SameのThe フレームワークにより form of the に description できることが confirms the された, ただし动モデルとfunction モデルのintegrationの検证については、ObTS による description no hierarchy structure においてleaf status に description されるkan number とfunction モデルThe relationship between the parts of the relationship between the number and the relationship between the parts is recognized, and the integration of the whole is proved to be the same.またたモデルと Function モデルがdifferent 々のlayer structure をhold つ occasion, both sides' level Layer structureの食いviolationいをcorrectionするmethodなどにまだ多くの题を residualしている.