| Presentation | 1994/5/13 Fast Protocol Validation by Individual Processes Inspection and Global Inspection Fumio Nitta, Hironori Saito, Atsushi Ito, Eiji Utsunomiya, Yasushi Wakahara, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | This paper proposes a fast protocol validation method which detects logical inconsistencies such as deadlocks included in protocol specifications by inspecting all the executable system behaviors in the specifications.This method has a merit that it does not create any global stable states,although this has not been the case so far.The merit has been achieved by dividing. protocol validation into two phases of individual processes inspection and global inspection.As a result,memory and time consumption has drastically decreased and thus the proposed new method has made it possible to validate much larger and more complex protocol specifications than conventional methods. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | protocol / validation / deadlock / stable state / state transition / SDL |
| Paper # | IN94-47 |
| Date of Issue |
| Conference Information | |
| Committee | IN |
|---|---|
| Conference Date | 1994/5/13(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) | Fast Protocol Validation by Individual Processes Inspection and Global Inspection |
| Sub Title (in English) | |
| Keyword(1) | protocol |
| Keyword(2) | validation |
| Keyword(3) | deadlock |
| Keyword(4) | stable state |
| Keyword(5) | state transition |
| Keyword(6) | SDL |
| 1st Author's Name | Fumio Nitta |
| 1st Author's Affiliation | KDD R&D Laboratories() |
| 2nd Author's Name | Hironori Saito |
| 2nd Author's Affiliation | KDD Network Headquarters |
| 3rd Author's Name | Atsushi Ito |
| 3rd Author's Affiliation | KDD R&D Laboratories |
| 4th Author's Name | Eiji Utsunomiya |
| 4th Author's Affiliation | KDD R&D Laboratories |
| 5th Author's Name | Yasushi Wakahara |
| 5th Author's Affiliation | KDD R&D Laboratories |
| Date | 1994/5/13 |
| Paper # | IN94-47 |
| Volume (vol) | vol.94 |
| Number (no) | 29 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |