OMT, Bridging the Gap between Analysis and Design

Abstract

This paper presents OMT*, a formal variant of OMT (Object Modeling Technique) designed to bridge the gap between analysis and design. OMT* is a partial result from a larger research effort 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 (Specification and Description Language) is targeted for the design phase. OMT* is defined by its abstract syntax, static semantics and transformational semantic, i.e. a set of transformation rules mapping OMT* constructs to SDL constructs. OMT* is more strict than full OMT, the possible interpretations of OMT constructs are reduced and the relations between the different OMT models are formalised. The translation from OMT* to SDL preserves the logical structure of the specification.

Wireless protocol testing and validation supported by formal methods. A hands-on report

“…Obviously, we can find in the literature other significant reports describing lessons learnt from real experiences (Hao et al, 2000;Holzmann, 1994;Jonkers et al, 1995;Nieh and Tavares, 1992), proposing general guidelines to assist the system engineer when considering a formal approach to design (Easterbrook and Callahan, 1997;Holloway, 1997;Holloway and Butler, 1996;Steinert and Roessler, 2000), or discussing case studies (Bieber, 1996;Butler et al, 1998;Hao et al, 2000;Haxthausen and Peleska, 2000;Holzmann, 1994;Leduc et al, 1996), to cite just a few.…”