Presentation | 1994/4/4 Reverse Engineering in Communications Software Design Kenji Otomo, Noriyasu Arakawa, Kenjiroh Yamanaka, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | This paper discusses how to derive message sequence charts(MSCs) from a set of state transition descriptions.Recently,a MSC notation receives much attention in the communications software field because it graphically shows system global behavior,and MSC handling techniques are eagerly studied.These activity recommend to design a system by a set of formal MSC in the early stage and then convert them into state transition descriptions.However,these results can hardly be applied to existing communications software products.This is because these systems are designed based on state transition descriptions and there are no formal MSCs for them. In this paper,we propose a MSC deriving method based on optimized reachability analysis.This method generates MSCs avoiding state explosion.A case study result using Q.931 protocol shows the feasibility of the method. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Communication Software / Massage Sequence Chart / Reverse Engineering / Reachability Analysis / Specification |
Paper # | SSE94-20,IN94-20 |
Date of Issue |
Conference Information | |
Committee | SSE |
---|---|
Conference Date | 1994/4/4(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 | Switching Systems Engineering (SSE) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Reverse Engineering in Communications Software Design |
Sub Title (in English) | |
Keyword(1) | Communication Software |
Keyword(2) | Massage Sequence Chart |
Keyword(3) | Reverse Engineering |
Keyword(4) | Reachability Analysis |
Keyword(5) | Specification |
1st Author's Name | Kenji Otomo |
1st Author's Affiliation | NTT Software Laboratories() |
2nd Author's Name | Noriyasu Arakawa |
2nd Author's Affiliation | NTT Software Laboratories |
3rd Author's Name | Kenjiroh Yamanaka |
3rd Author's Affiliation | NTT Software Laboratories |
Date | 1994/4/4 |
Paper # | SSE94-20,IN94-20 |
Volume (vol) | vol.94 |
Number (no) | 1 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |