Stepwise description of communication service specification from observable terminal behaviors

• Takura Akira

  ATR Communication Systems Research Laboratories

• Ohta Tadashi

  ATR Communication Systems Research Laboratories

Bibliographic Information

Other Title

• 段階的詳細化による通信サービス仕様記述

Abstract

A stepwise specification refinement method from observable terminal behaviors is proposed to define communication service specifications suitable to a given architecture.Communication services can be developed without detailed knowledge of communication systems by describing terminal behaviors and conununication system control specifications independently. Ordinary services are implemented on a given functional model.A stepwise specification refinement method produces specifications of functional entities in a given functional model.

Journal

• Technical report of IEICE. SSE

  Technical report of IEICE. SSE 93 (72), 7-12, 1993-05-28

  The Institute of Electronics, Information and Communication Engineers

Keywords

• specification description
• stepwise refinement
• functinal model
• communication service
• UPT

Details

• CRID: 1571135652470057472
• NII Article ID: 110003235043
• NII Book ID: AN10060742
• ISSN: 09135685
• Text Lang: ja
• Data Source:
  • CiNii Articles