| Presentation | 1994/11/17 A Verification of deadlock on Communication System Service Specifications Yoshihiro UEDA, Akira TAKURA, Tadashi OHTA, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The communication system service specification which is described in a production system is described and it is superior in respect of easiness. But, it is said that perfection of specification itself, sound confirmation is impossible quantity calculation. It is in order that the formula which becomes a basis of the verification searches formation of a state transition tree and it. But, a (service as) effective state transition series on service specification is hundreds at most. This thing possesses the possibility which gives that the calculative formula which is effectiveness exists. In this paper, the verification formula which does not make state transition tree is proposed using the peculiarity which communication system has. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Communication System / Production System / State Transition Tree / Petri Nets / Deadlock |
| Paper # | CAS94-65,CST94-25 |
| Date of Issue |
| Conference Information | |
| Committee | CST |
|---|---|
| Conference Date | 1994/11/17(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 | Concurrent System Technology (CST) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Verification of deadlock on Communication System Service Specifications |
| Sub Title (in English) | |
| Keyword(1) | Communication System |
| Keyword(2) | Production System |
| Keyword(3) | State Transition Tree |
| Keyword(4) | Petri Nets |
| Keyword(5) | Deadlock |
| 1st Author's Name | Yoshihiro UEDA |
| 1st Author's Affiliation | ATR Communication Systems Research Laboratories() |
| 2nd Author's Name | Akira TAKURA |
| 2nd Author's Affiliation | ATR Communication Systems Research Laboratories |
| 3rd Author's Name | Tadashi OHTA |
| 3rd Author's Affiliation | ATR Communication Systems Research Laboratories |
| Date | 1994/11/17 |
| Paper # | CAS94-65,CST94-25 |
| Volume (vol) | vol.94 |
| Number (no) | 333 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |