講演名 1996/1/19
オブジェクト駆動によるシステム設計技法についての提案(2)
吉田 聡, 大原 茂之,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) オブジェクト指向において,オブジェクトの生成や消滅,およびオブジェクトとメッセージの両方の性質をもつシステムを図的に表現することは困難であった.そこで,オブジェクトそのものがオブジェクトの間を移動するオブジェクト駆動型という考え方と,オブジェクト駆動図という統一的な記述体系を提案した.これまで,オブジェクト駆動のメッセージ駆動型による解釈について報告してきた.本報告ではさらに,オブジェクトの集合,オブジェクトの送受信メッセージの集合,オブジェクトの移動先の集合,および移動の関係を形式的に記述する方法を述べる.これによって,オブジェクト駆動でシステムを図的にだけでなく形式的にモデル化することが可能となることを示す.
抄録(英) Concerning Object-Oriented,it was difficult to model object creation / deletion, as well as systems which can be interpreted as having both message and object behaviors. Therefore, we have proposed a new scheme called Object-Driven in which the object itself moves among objects, and uniform description system called Object-Driven-Diagram. So far, we have stated about interpretation of Object-Driven by Message-Driven. Futher, in this report, we state about the method to describe formally the set of object, the sets of its send / receive message and its movement course, and relation of movement. By this method, it is possible to model system on Object-Driven not only graphically but formally.
キーワード(和) オブジェクト駆動 / オブジェクト駆動図 / モデル化 / 形式的記述
キーワード(英) Object-Driven / Object-Driven-Diagram / Modeling / Formal Description
資料番号 KBSE95-43
発行日

研究会情報
研究会 KBSE
開催期間 1996/1/19(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) オブジェクト駆動によるシステム設計技法についての提案(2)
サブタイトル(和)
タイトル(英) A Proposal of System Design Method by Object-Driven (2)
サブタイトル(和)
キーワード(1)(和/英) オブジェクト駆動 / Object-Driven
キーワード(2)(和/英) オブジェクト駆動図 / Object-Driven-Diagram
キーワード(3)(和/英) モデル化 / Modeling
キーワード(4)(和/英) 形式的記述 / Formal Description
第 1 著者 氏名(和/英) 吉田 聡 / Satoshi YOSHIDA
第 1 著者 所属(和/英) 東海大学大学院工学研究科電子工学専攻
Course of Electronics, Graduate School of Engineering, Tokai University
第 2 著者 氏名(和/英) 大原 茂之 / Shigeyuki OHARA
第 2 著者 所属(和/英) 東海大学工学部電子工学科
Department of Electronics, Faculty of Engineering, Tokai University
発表年月日 1996/1/19
資料番号 KBSE95-43
巻番号(vol) vol.95
号番号(no) 473
ページ範囲 pp.-
ページ数 7
発行日