講演名 | 1994/1/14 オブジェクト指向分析支援ツールの作成 : 動的モデルのシミュレーション 川染 誉, 加来田 裕和, 石畑 佐代美, 廣田 豊彦, 橋本 正明, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 我々はソフトウェア開発過程の上流工程における要求分析手法として,統合的なオブジェクト指向分析支援システムの構築を進めている.対象となるシステム中の各オブジェクトをオブジェクトモデル,動的モデル,機能モデルとして管理するオブジェクト管理部を中心とし,動的モデルの検証システム,各オブジェクトやオブジェクトモデル全体のバージョンを管理するモデル管理部などから構成される.本報告では,OMTに準拠した動的モデルの動作を検証するシステムと,その図書検索システムへの適用例について述べる.この検証システムはモデルのシミュレーション機能だけではなく,モデルが受理可能なシナリオを自動生成する機能を有している. |
抄録(英) | We have been developing an integrated support system for object oriented analysis as a requirement analysis technique in an upper stage of software development process.The central part of our system is an object manager that manipulates each object in a target system as an object model,a dynamic model and a functional model.This system also contains a verification system for a dynamic model,and a model manager that controls the versions of each object and the whole object model.In this report,we describe the verification system for the behavior of a dynamic model based on OMT and an application example of a book retrieval system.This verification system can not only simulate a model,but can also automatically generate scenarios that the model can accept. |
キーワード(和) | オブジェクト指向分析 / 動的モデル / 状態遷移図 / シミュレーション |
キーワード(英) | object oriented analysis / dynamic model / state transition diagram / simulation |
資料番号 | KBSE93-43 |
発行日 |
研究会情報 | |
研究会 | KBSE |
---|---|
開催期間 | 1994/1/14(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
---|---|
本文の言語 | JPN |
タイトル(和) | オブジェクト指向分析支援ツールの作成 : 動的モデルのシミュレーション |
サブタイトル(和) | |
タイトル(英) | Support Tool for Object Oriented Analysis : Simulation of Dynamic Model |
サブタイトル(和) | |
キーワード(1)(和/英) | オブジェクト指向分析 / object oriented analysis |
キーワード(2)(和/英) | 動的モデル / dynamic model |
キーワード(3)(和/英) | 状態遷移図 / state transition diagram |
キーワード(4)(和/英) | シミュレーション / simulation |
第 1 著者 氏名(和/英) | 川染 誉 / Homare Kawasome |
第 1 著者 所属(和/英) | 九州工業大学情報工学部情報工学科 Department of Artificial Intelligence,Kyushu Institute of Technology |
第 2 著者 氏名(和/英) | 加来田 裕和 / Hirokazu Kakuda |
第 2 著者 所属(和/英) | 九州工業大学情報工学部情報工学科 Department of Artificial Intelligence,Kyushu Institute of Technology |
第 3 著者 氏名(和/英) | 石畑 佐代美 / Sayomi Ishihata |
第 3 著者 所属(和/英) | 九州工業大学情報工学部情報工学科 Department of Artificial Intelligence,Kyushu Institute of Technology |
第 4 著者 氏名(和/英) | 廣田 豊彦 / Toyohiko Hirota |
第 4 著者 所属(和/英) | 九州工業大学情報工学部情報工学科 Department of Artificial Intelligence,Kyushu Institute of Technology |
第 5 著者 氏名(和/英) | 橋本 正明 / Masaaki Hashimoto |
第 5 著者 所属(和/英) | 九州工業大学情報工学部情報工学科 Department of Artificial Intelligence,Kyushu Institute of Technology |
発表年月日 | 1994/1/14 |
資料番号 | KBSE93-43 |
巻番号(vol) | vol.93 |
号番号(no) | 408 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |