Sciweavers

UML
2001
Springer

Approaching a Discrete-Continuous UML: Tool Support and Formalization

14 years 3 months ago
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.
Thomas Stauner, Alexander Pretschner, Istran P&eac
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where UML
Authors Thomas Stauner, Alexander Pretschner, Istran Péter
Comments (0)