Transformation between Informal Expressions and Formal Expressions in Program Specifications

Shinobu TAKAMATSU; Fujio NISHIDA

Transformation between Informal Expressions and Formal Expressions in Program Specifications

Shinobu TAKAMATSU, Fujio NISHIDA

Full Text Views

0

Share
Cite this

Summary :

In recent years, various formal specification languages have been proposed for validity check of specifications and automatic program generation. However, they are rigorously constructed to be processed by machines and difficult to use. On the other hand, informal languages of conventional notations have been widely used in practice for program specifications but inconvenient to automatic processing by machines. This paper presents a method of transforming between informal specifications and formal specifications. A kind of limited English is introduced as an informal description language of specifications. Specifications written in the limited English are parsed based on a case grammar and transformed into the formal specifications. The formal specifications are also used for various automatic processing such as refinement and program generation. The refined formal specifications can be transformed into the limited English expressions which can be used as comments by the reverse process of the above transformation.

Publication: IEICE TRANSACTIONS on transactions Vol.E73-E No.5 pp.729-737

Publication Date: 1990/05/25

Publicized

Online ISSN

DOI

Type of Manuscript: PAPER

Category: Software Systems

Authors

Shinobu TAKAMATSU
Fujio NISHIDA

Keyword

Cite this

Copy

Shinobu TAKAMATSU, Fujio NISHIDA, "Transformation between Informal Expressions and Formal Expressions in Program Specifications" in IEICE TRANSACTIONS on transactions, vol. E73-E, no. 5, pp. 729-737, May 1990, doi: .
Abstract: In recent years, various formal specification languages have been proposed for validity check of specifications and automatic program generation. However, they are rigorously constructed to be processed by machines and difficult to use. On the other hand, informal languages of conventional notations have been widely used in practice for program specifications but inconvenient to automatic processing by machines. This paper presents a method of transforming between informal specifications and formal specifications. A kind of limited English is introduced as an informal description language of specifications. Specifications written in the limited English are parsed based on a case grammar and transformed into the formal specifications. The formal specifications are also used for various automatic processing such as refinement and program generation. The refined formal specifications can be transformed into the limited English expressions which can be used as comments by the reverse process of the above transformation.
URL: https://globals.ieice.org/en_transactions/transactions/10.1587/e73-e_5_729/_p

Copy

@ARTICLE{e73-e_5_729,
author={Shinobu TAKAMATSU, Fujio NISHIDA, },
journal={IEICE TRANSACTIONS on transactions},
title={Transformation between Informal Expressions and Formal Expressions in Program Specifications},
year={1990},
volume={E73-E},
number={5},
pages={729-737},
abstract={In recent years, various formal specification languages have been proposed for validity check of specifications and automatic program generation. However, they are rigorously constructed to be processed by machines and difficult to use. On the other hand, informal languages of conventional notations have been widely used in practice for program specifications but inconvenient to automatic processing by machines. This paper presents a method of transforming between informal specifications and formal specifications. A kind of limited English is introduced as an informal description language of specifications. Specifications written in the limited English are parsed based on a case grammar and transformed into the formal specifications. The formal specifications are also used for various automatic processing such as refinement and program generation. The refined formal specifications can be transformed into the limited English expressions which can be used as comments by the reverse process of the above transformation.},
keywords={},
doi={},
ISSN={},
month={May},}

Copy

TY - JOUR
TI - Transformation between Informal Expressions and Formal Expressions in Program Specifications
T2 - IEICE TRANSACTIONS on transactions
SP - 729
EP - 737
AU - Shinobu TAKAMATSU
AU - Fujio NISHIDA
PY - 1990
DO -
JO - IEICE TRANSACTIONS on transactions
SN -
VL - E73-E
IS - 5
JA - IEICE TRANSACTIONS on transactions
Y1 - May 1990
AB - In recent years, various formal specification languages have been proposed for validity check of specifications and automatic program generation. However, they are rigorously constructed to be processed by machines and difficult to use. On the other hand, informal languages of conventional notations have been widely used in practice for program specifications but inconvenient to automatic processing by machines. This paper presents a method of transforming between informal specifications and formal specifications. A kind of limited English is introduced as an informal description language of specifications. Specifications written in the limited English are parsed based on a case grammar and transformed into the formal specifications. The formal specifications are also used for various automatic processing such as refinement and program generation. The refined formal specifications can be transformed into the limited English expressions which can be used as comments by the reverse process of the above transformation.
ER -