Reverse Engineering in Communication Protocol Design

スポンサーリンク

概要

• 論文の詳細を見る

• This paper discusses how to derive message sequence charts (MSCs) from a set of state transition descriptions. Recently, MSC notation has received much attention in the communications software field because it graphically shows system global behavior, So MSC handling techniques are being widely studied. These studies have recommended the design a system by a set of formal MSCs in the early stages of development and then to convert them into state transition descriptions. However, it is difficult to apply those results 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 method of deriving MSCs based on optimized reachability analysis. This method generates MSCs that avoid state explosion. A case study using Q.931 protocol shows the feasibility of this method.

• 社団法人電子情報通信学会の論文
• 1996-06-25

著者

• HIRAKAWA Yutaka

  NTT Service Integration Laboratories, NTT Corporation

• Hirakawa Yutaka

  Ntt Service Integration Laboratories Ntt Corporation

• Hirakawa Yutaka

  Ntt Software Laboratories

• OTOMO Kenji

  NTT Software Laboratories

• ARAKAWA Noriyasu

  NTT Software Laboratories

関連論文

• Visual Customer Relationship Management System that Supports Broadband Network E-Commerce(Network Application)(Next Generation Networks Software)
• Reverse Engineering in Communication Protocol Design
• Group Communication for Upgrading Distributed Programs (Special Issue on Multimedia Communication and Distributed Processing)

スポンサーリンク