Translating OMT * to SDL , A Smooth Transition from Analysis to

This paper presents an automated transition from OMT* (a formal variant of OMT) towards SDL. This work is a partial result from a larger research eeort proposing an integrated methodology and toolset based on the combination of Object-Orientation and Formal-Description Techniques. In this project OMT is used as the systems requirements analysis technique while SDL (Speciication Description Language) is targeted for the design phase. We developed a trans-formational semantic for OMT*, i.e. a set of transformation rules mapping OMT* constructs to SDL constructs. The translation from OMT* to SDL preserves the logical structure of the speciication. This way it is possible to preserve the eeorts done in the analysis phase and to make a smooth transition towards design.