Communication Software Generation Tools and its application to OSI-TP Protocol

Bibliographic Information

Other Title
  • 通信ソフトウェア生成ツールSERIOUSの開発とOSI分散トランザクション処理への適用

Search this article

Description

This paper discribes the application of the formal approach to the product development of the communication software implementation. At first we have discussed the issues on the former tools and the requirements for the improvement. We have developed SERIOUS (Software Generation Tools for OSI Upper Layer Protocols) which realize source code generation from the formal specification of the protocols and the implementation-depended information. Finally, we have applied SERIOUS to generate the protocol machine part of the OSI Distributed Transaction Processing (OSI-TP) software and confirmed the effectiveness of our methodology.

Journal

  • IPSJ SIG Notes

    IPSJ SIG Notes 94 (6), 223-230, 1994-01-20

    Information Processing Society of Japan (IPSJ)

Details 詳細情報について

  • CRID
    1571980076991725696
  • NII Article ID
    110002945718
  • NII Book ID
    AN10112981
  • Text Lang
    ja
  • Data Source
    • CiNii Articles

Report a problem

Back to top