This paper discusses the development and implementation of a customizable editor for OMT UML style object-models and behavior-models. A number of well known design patterns are used to obtain a exible architecture that allows to build tool support for our software engineering research requiring variants or add-ons to the basic editors. We report on the di culties we encountered in applying the Model-View-Control, Observer, Visitor, Iterator, Bridge, Facade and Chain of Responsibility patterns and we evaluate the claims of improved exibility, modularity, reusability, and understandability as stated in the design pattern literature in general.

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

This paper presents a formal approach to the codesign of hybrid systems based on object-oriented analysis and design, and the formal description languages VHDL and SDL. This methodology covers the whole development process from requirements capture, through design and implementation, to validation. The paper also presents some of our experiences todate with the methodology.

No abstract