オブジェクトの振舞いに関するコントラクトの設計について

• Item type: Journal(1)
• 公開日: 1992-08-15
• タイトル: オブジェクトの振舞いに関するコントラクトの設計について
• タイトル / 言語: en
• タイトル: Designing Contracts for Behavior of Objects
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: データベース
• 著者所属: 中央大学理工学部管理工学科
• 著者所属(英): en
• 著者所属(英): Department of Industrial and Systems Engineering, Faculty of Science and Engineering, Chuo University
• 著者名: 酒井, 博敬
• 著者名(英): Hirotaka, Sakai
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: オブジェクトの操作とその制約の設計 すなわち振舞いの設計はオブジェクト指向設計の基本課題である本論文は オブジェクト指向によるシステムの概念設計の基礎となる オブジェクトの振舞いのモデルとこれにもとづく振舞いの設計法について論じているオブジェクトの振舞いは オブジェクトの発生 状態遷移 消滅の過程によって表現されるその形式表現のために 振舞いモデルの基本要素としてライフサイクルスキーマを定義し さらに振舞いの構造化の手段として ライフサイクルスキーマ洗練の概念を定義したオブジェクトの状態遷移は一貫性制約にしたがわねばならないここでは複数のオブジェクトの振舞いに関する制約を 状態間制約および遷移制約として形式化し 体系化するとともに これらの制約を制約関連図として表現した一般にある業務環境において 与えられた機能を果たすために必要なオブジェクトの集まりをサブシステムというサブシステムにおける複数のオブジェクトの協調的な振舞いを記述するために コントラクトの概念を定義したコントラクトは オブジェクトの振舞いに関する制約と機能ごとのスクリプトの記述から構成され サブシステムにおけるオブジェクトの振舞いを設計するための仕様となるものである
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 33, 号 8, p. 1052-1063, 発行日 1992-08-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764