Transformation of a semi-formal specification to VDM

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.<
>