Approaching a discrete-continuous UML: Tool support and formalization

Zusammenfassung
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. Is 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.
  • Vollständige Referenz
  • BibTeX
Stauner, T., Pretschner, A. & Péter, I., (2001). Approaching a discrete-continuous UML: Tool support and formalization. In: Evans, A., France, R. B., Moreira, A. M. & Rumpe, B. (Hrsg.), Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001. Bonn: (S. 242-257).
@inproceedings{mci/Stauner2001,
author = {Stauner, Thomas AND Pretschner, Alexander AND Péter, István},
title = {Approaching a discrete-continuous UML: Tool support and formalization},
booktitle = {Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001},
year = {2001},
editor = {Evans, Andy AND France, Robert B. AND Moreira, Ana M. D. AND Rumpe, Bernhard} ,
pages = { 242-257 },
publisher = {},
address = {Bonn}
}
DateienGroesseFormatAnzeige
17.pdf348.6Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 3-88579-335-0
ISSN: 1617-5468
Datum: 2001
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige