NAISTAR
Advanced Search
Japanese | English

naistar (NAIST Academic Repository) >
学術リポジトリ naistar / NAIST Academic Repository naistar >
テクニカルレポート / Technical Report >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10061/3179

Title: Implementation of natural language specifications of communication protocols by executable specifications
Authors: Kasami, Tadao
Seki, Hiroyuki
Ishihara, Yasunori
カサミ, タダオ
セキ, ヒロユキ
イシハラ, ヤスノリ
嵩, 忠雄
関, 浩之
石原, 靖哲
Issue Date: Jul-1994
Publisher: Nara Institute of Science and Technology
Series/Report no.: Information Science Technical Report ~ TR94026
Abstract: First, this paper defines a subclass of algebraic specifications. Each specification of the subclass consists of two sub-specifications: a BE program and a BE interpreter specification. The syntax of BE programs resembles the syntax of LOTOS, and the semantics of BE programs is defined as a behavior of an interpreter, called a BE interpreter, which has a finite number of registers and unbounded I/O buffers. Since BE interpreter specifications are based on a state transition model, each specification of the subclass can be easily compiled into an executable program. Next, the paper proposes a method of implementing logical formulae, which are derived from natural language specifications of communication protocols, by BE programs. Such a natural language specification often specifies valid sequences of actions to be performed by a protocol machine. In this implementation method, the meaning of each predicate that corresponds to a word denoting actions is defined as a BE program and stored as a “lexical item” of the predicate. Then, a BE program for logical formulae is constructed in a bottom-up manner. Thus, a natural language specification of communication protocols can be translated into an executable program in the framework of algebraic specifications.
URI: http://hdl.handle.net/10061/3179
URI: http://library.naist.jp/mylimedio/dllimedio/show.cgi?bookid=100009581&oldid=16880
Fulltext: http://library.naist.jp/mylimedio/dllimedio/show.cgi?bookid=100009581&oldid=16880
ISSN: 0919-9527
Text Version: author
Appears in Collections:テクニカルレポート / Technical Report

Files in This Item:

There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Copyright (c) 2007-2012 Nara Institute of Science and Technology All Rights Reserved.
DSpace Software Copyright © 2002-2010  Duraspace - Feedback