| Paper Abstract and Keywords |
| Presentation |
2005-01-27 10:50
Specification Verification by Conversion of each SDL Process Instance into Petri Nets
Haruo Hasegawa (Oki Electric), Seiichiro Moro (Fukui Univ.), Tadashi Matsumoto (Fukui Univ. of Technology) |
| Abstract |
(in Japanese) |
(See Japanese page) |
| (in English) |
A specification of terminal is represented as a type of process, and actual behavior of each terminal is as each instance of process, in a case that a telecommunications system such as a switching system is described in SDL, a specification language recommended by ITU-T. Two terminals or more are generally related to each service feature. This paper describes a method of verifying an SDL specification by converting each process instance into Petri Nets and using algebraic analysis technique of Petri Nets such as T-invariant. |
| Keyword |
(in Japanese) |
(See Japanese page) |
| (in English) |
Petri Nets / SDL / Specification Verification / Requirement Engineering / / / / |
| Reference Info. |
IEICE Tech. Rep., vol. 104, Jan. 2005. |
| Paper # |
|
| Date of Issue |
2005-01-20 (CST) |
| ISSN |
Print edition: ISSN 0913-5685 |
| Download PDF |
|
| Conference Information |
| Committee |
MSS |
| Conference Date |
2005-01-27 - 2005-01-27 |
| Place (in Japanese) |
(See Japanese page) |
| Place (in English) |
Univ. of Electro-Communications |
| Topics (in Japanese) |
(See Japanese page) |
| Topics (in English) |
Concurrent system, etc. |
| Paper Information |
| Registration To |
MSS |
| Conference Code |
2005-01-CST |
| Language |
Japanese |
| Title (in Japanese) |
(See Japanese page) |
| Sub Title (in Japanese) |
(See Japanese page) |
| Title (in English) |
Specification Verification by Conversion of each SDL Process Instance into Petri Nets |
| Sub Title (in English) |
|
| Keyword(1) |
Petri Nets |
| Keyword(2) |
SDL |
| Keyword(3) |
Specification Verification |
| Keyword(4) |
Requirement Engineering |
| Keyword(5) |
|
| Keyword(6) |
|
| Keyword(7) |
|
| Keyword(8) |
|
| 1st Author's Name |
Haruo Hasegawa |
| 1st Author's Affiliation |
Oki Electric Industry Co., Ltd. (Oki Electric) |
| 2nd Author's Name |
Seiichiro Moro |
| 2nd Author's Affiliation |
Fukui University (Fukui Univ.) |
| 3rd Author's Name |
Tadashi Matsumoto |
| 3rd Author's Affiliation |
Fukui University of Technology (Fukui Univ. of Technology) |
| 4th Author's Name |
|
| 4th Author's Affiliation |
() |
| 5th Author's Name |
|
| 5th Author's Affiliation |
() |
| 6th Author's Name |
|
| 6th Author's Affiliation |
() |
| 7th Author's Name |
|
| 7th Author's Affiliation |
() |
| 8th Author's Name |
|
| 8th Author's Affiliation |
() |
| 9th Author's Name |
|
| 9th Author's Affiliation |
() |
| 10th Author's Name |
|
| 10th Author's Affiliation |
() |
| 11th Author's Name |
|
| 11th Author's Affiliation |
() |
| 12th Author's Name |
|
| 12th Author's Affiliation |
() |
| 13th Author's Name |
|
| 13th Author's Affiliation |
() |
| 14th Author's Name |
|
| 14th Author's Affiliation |
() |
| 15th Author's Name |
|
| 15th Author's Affiliation |
() |
| 16th Author's Name |
|
| 16th Author's Affiliation |
() |
| 17th Author's Name |
|
| 17th Author's Affiliation |
() |
| 18th Author's Name |
|
| 18th Author's Affiliation |
() |
| 19th Author's Name |
|
| 19th Author's Affiliation |
() |
| 20th Author's Name |
|
| 20th Author's Affiliation |
() |
| Speaker |
Author-1 |
| Date Time |
2005-01-27 10:50:00 |
| Presentation Time |
25 minutes |
| Registration for |
MSS |
| Paper # |
CST2004-41 |
| Volume (vol) |
vol.104 |
| Number (no) |
no.593 |
| Page |
pp.13-18 |
| #Pages |
6 |
| Date of Issue |
2005-01-20 (CST) |