An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems

The paper presents notations for modeling real time reactive systems at different abstraction levels and provides mappings between these levels. The wide acceptance of UML in industry, as a unified notation applicable to the development of object based systems in a broad spectrum of domains, and the use of SDL for design analysis and verification in large scale applications have motivated us to use them respectively for user level modeling and at the implementation level. The object oriented notation Timed Reactive Object Model (TROM) provides the semantic basis for adapting UML to model real time reactive systems. Mechanical translations have been developed from UML to TROM and from TROM to SDL