Title | ||
---|---|---|
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1109/RTCSA.2000.896432 | RTCSA |
Keywords | Field | DocType |
semantic basis,mechanical translation,broad spectrum,visual description technique,user level modeling,different abstraction level,large scale application,reactive object model,design analysis,real-time reactive system,implementation level,real time reactive system,process control,real time,uml,object model,computer science,reactive system,spectrum,real time systems,unified modeling language,object oriented programming,object oriented | Notation,Programming language,Abstraction,Object-oriented programming,Unified Modeling Language,Computer science,Object model,Real-time computing,Process control,Applications of UML,Reactive system | Conference |
ISBN | Citations | PageRank |
0-7695-0930-4 | 0 | 0.34 |
References | Authors | |
1 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
D Muthiayen | 1 | 12 | 3.31 |
V. S. Alagar | 2 | 10 | 3.53 |
F. Khendek | 3 | 535 | 38.10 |
A Sefidcon | 4 | 0 | 0.68 |