Presentation | 1994/1/14 Support Tool for Object Oriented Analysis : Simulation of Dynamic Model Homare Kawasome, Hirokazu Kakuda, Sayomi Ishihata, Toyohiko Hirota, Masaaki Hashimoto, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | object oriented analysis / dynamic model / state transition diagram / simulation |
Paper # | KBSE93-43 |
Date of Issue |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 1994/1/14(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Knowledge-Based Software Engineering (KBSE) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Support Tool for Object Oriented Analysis : Simulation of Dynamic Model |
Sub Title (in English) | |
Keyword(1) | object oriented analysis |
Keyword(2) | dynamic model |
Keyword(3) | state transition diagram |
Keyword(4) | simulation |
1st Author's Name | Homare Kawasome |
1st Author's Affiliation | Department of Artificial Intelligence,Kyushu Institute of Technology() |
2nd Author's Name | Hirokazu Kakuda |
2nd Author's Affiliation | Department of Artificial Intelligence,Kyushu Institute of Technology |
3rd Author's Name | Sayomi Ishihata |
3rd Author's Affiliation | Department of Artificial Intelligence,Kyushu Institute of Technology |
4th Author's Name | Toyohiko Hirota |
4th Author's Affiliation | Department of Artificial Intelligence,Kyushu Institute of Technology |
5th Author's Name | Masaaki Hashimoto |
5th Author's Affiliation | Department of Artificial Intelligence,Kyushu Institute of Technology |
Date | 1994/1/14 |
Paper # | KBSE93-43 |
Volume (vol) | vol.93 |
Number (no) | 408 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |