| Presentation | 2000/11/9 Finding operation sequences from behavior of concurrent objects Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | There are Object-Oriented development methods for realtime systems including a design model which focuses on operation sequences.But there is no systematic way to find operation sequences from an object-based model.Generating design models depends on skill of developers.Our objective is to explain the way to find the operation sequences and to generate the design model with formal approach.This approach can be used to increase efficency of the development.In this paper, we formalize a concurrent object model and explain the formal way of finding operation sequences and concurrency of that sequences. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | |
| Paper # | KBSE2000-42 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2000/11/9(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) | Finding operation sequences from behavior of concurrent objects |
| Sub Title (in English) | |
| Keyword(1) | |
| 1st Author's Name | Mitsutaka Okazaki |
| 1st Author's Affiliation | School of Information science, Japan advanced institute of technology() |
| 2nd Author's Name | Toshiaki Aoki |
| 2nd Author's Affiliation | School of Information science, Japan advanced institute of technology |
| 3rd Author's Name | Takuya Katayama |
| 3rd Author's Affiliation | School of Information science, Japan advanced institute of technology |
| Date | 2000/11/9 |
| Paper # | KBSE2000-42 |
| Volume (vol) | vol.100 |
| Number (no) | 440 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |