Transformation of a semi-formal specification to VDM

Author

D´Almeida, Juliette ; Achuthan, R. ; Radhakrishnan, T. ; Alagar, V.S.

Author_Institution

Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

fYear

1992

fDate

20-23 Sep 1992

Firstpage

40

Lastpage

49

Abstract

A technique is proposed for semiformal specification. The authors distinguish two stages of formalization: data modeling and specification of operations. For each stage, the system provides a distinct tool. It consists of a graphical component called the MER diagram and a textual component called the KFD. Through an example, the authors present a knowledge assisted transformation process that can generate a formal specification from the given semiformal specification. The formal specification language chosen is VDM. The MER diagrams and KFDs form an input to the transformation described

Keywords

Vienna development method; formal specification; knowledge based systems; visual programming; KFD; MER diagram; VDM; data modeling; formal specification language; graphical component; knowledge assisted transformation process; semiformal specification; textual component; Computer science; Formal specifications; Natural languages; Software systems; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge-Based Software Engineering Conference, 1992., Proceedings of the Seventh

Conference_Location

Mclean, VA

ISSN

1068-3062

Print_ISBN

0-8186-2880-4

Type

conf

DOI

10.1109/KBSE.1992.252910

Filename

252910