Approaching a Discrete-Continuous UML: Tool Support and Formalization

: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It is implemented in a CASE tool prototype based on the Real-time Object Oriented Modeling methodology. All vital parts of HyROOM’s operational simulation semantics are mapped into HyCharts, a formal framework for hybrid systems. All essential concepts are discussed along the lines of parts of an industrial case study, a wire stretching plant. The semantics is the basis for validation and refinement techniques.

• Type: Conference
• Year: 2001
• Where: UML
• Authors: Thomas Stauner, Alexander Pretschner, Istran Péter
• Keywords: CASE Tool Prototype, Natural Language Processing, Operational Simulation Semantics, Paper Presents Hyroom, UML 2001