| Presentation | 1994/2/25 A Method for Keeping Coherency Between Message Sequence Charts and State Transition Table Yasuko Fukuzawa, Satoshi Miyazaki, Kenya Nishiki, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | This paper describes a method for keeping coherency of state transition table and message sequence charts.In communication software design and development tools that transforms and generates a different form of specification from original specification,changes in the original specification affects transformed specification.In our method,message sequence charts are generated from updated state transition table subject to original sequence charts.If there is no message sequence chart that satisfies constraints,candidates subject to relaxed constraints of message sequence charts are generated. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Message Sequence Chart / State Transition Table / Keeping Coherency |
| Paper # | IN93-119 |
| Date of Issue |
| Conference Information | |
| Committee | IN |
|---|---|
| Conference Date | 1994/2/25(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 | Information Networks (IN) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Method for Keeping Coherency Between Message Sequence Charts and State Transition Table |
| Sub Title (in English) | |
| Keyword(1) | Message Sequence Chart |
| Keyword(2) | State Transition Table |
| Keyword(3) | Keeping Coherency |
| 1st Author's Name | Yasuko Fukuzawa |
| 1st Author's Affiliation | Systems Development Laboratory,Hitachi,Ltd.() |
| 2nd Author's Name | Satoshi Miyazaki |
| 2nd Author's Affiliation | Systems Development Laboratory,Hitachi,Ltd. |
| 3rd Author's Name | Kenya Nishiki |
| 3rd Author's Affiliation | Systems Development Laboratory,Hitachi,Ltd. |
| Date | 1994/2/25 |
| Paper # | IN93-119 |
| Volume (vol) | vol.93 |
| Number (no) | 486 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |