Approaching a discrete-continuous UML: Tool support and formalization
| dc.contributor.author | Stauner, Thomas | |
| dc.contributor.author | Pretschner, Alexander | |
| dc.contributor.author | Péter, István | |
| dc.contributor.editor | Evans, Andy | |
| dc.contributor.editor | France, Robert B. | |
| dc.contributor.editor | Moreira, Ana M. D. | |
| dc.contributor.editor | Rumpe, Bernhard | |
| dc.date.accessioned | 2020-01-07T12:34:44Z | |
| dc.date.available | 2020-01-07T12:34:44Z | |
| dc.date.issued | 2001 | |
| dc.description.abstract | 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. | en |
| dc.identifier.isbn | 3-88579-335-0 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/30857 | |
| dc.language.iso | en | |
| dc.relation.ispartof | Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-7 | |
| dc.title | Approaching a discrete-continuous UML: Tool support and formalization | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 257 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 242 | |
| gi.conference.date | October 1st, 2001 | |
| gi.conference.location | Toronto, Canada | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1