オブジェクト指向方法論OMTにおける動的モデルと機能モデルの整合性の検証

• Item type: SIG Technical Reports(1)
• 公開日: 1995-03-09
• タイトル: オブジェクト指向方法論OMTにおける動的モデルと機能モデルの整合性の検証
• タイトル / 言語: en
• タイトル: Verifying consistency between dynamic model and functional model in object - oriented modeling technique OMT
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東京工業大学情報工学科
• 著者所属: 北陸先端科学技術大学院大学情報科学研究科／東京工業大学情報工学科
• 著者所属(英): en
• 著者所属(英): Department of computer science, Tokyo institute of technology
• 著者所属(英): en
• 著者所属(英): School of information science, Japan advanced institute of science and technology/Department of computer science, Tokyo institute of technology
• 著者名: 佐々木, 健; 片山, 卓也
• 著者名(英): Takeshi, Sasaki; Takuya, Katayama
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: オブジェクト指向設討手法OMTでは3つのモデルによって仕様を表現する。しかしモデル間の関係が明確ではなく，記述の正当性を検証することは困難である。3つのモデルのうちで，動的モデルと機能モデルはどちらも動作に関する記述である。動的モデルはオブジェクトの状態を表し，状態遷移によって属性値が決まる。一方，機能モデルは属性間の依存関係を与える。したがって，2つのモデル間の記述の一貫性を属性間の関連を通して考えることができる。本論文ではOMTの動的モデルと機能モデルに対して記号による記法を与え，2つのモデル間の関連について考察を行なう。これにより記述された2つのモデルの一貫性を検証するための基礎を与える。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: An object-oriented modeling technique OMT describes specifications by using three different models. A drawback of OMT methodology is that relation among these models are too ambiguous to verify their specifications. Both the dynamic model and the functional model describe dynamic aspects of a system. The dynamic model contains state diagram of object and how to calculate attribute values with state transition. The functional model contains dependency diagrams between attributes. Our idea is that we can check consistency among their attributes' information. In this paper, we provide symbolic notation for the dynamic model and the functional model, and relation about these models. We propose a foundation of checking consistency between the dynamic model and the functional model.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1995, 号 25(1994-SE-103), p. 145-152, 発行日 1995-03-09
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会