Executable hybridUML and its application to train control systems

被引：0

作者：

Berkenkötter, K ^{[1
]}

Bisanz, S ^{[1
]}

Hannemann, U ^{[1
]}

Peleska, J ^{[1
]}

机构：

[1] Univ Bremen, D-28334 Bremen, Germany

来源：

INTEGRATION OF SOFTWARE SPECIFICATION TECHNIQUES FOR APPLICATIONS IN ENGINEERING | 2004年 / 3147卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the standard procedure for extending the Unified Modeling Language. The "intuitive semantics" of the syntactic extension is based on the semantics for hierarchic Hybrid Automata, as suggested by Alur et. al. In contrast to Alur's formalism, Hybrid UML allows to label transitions not only with conditions and assignments, but also with signals. Furthermore, our approach associates formal semantics by definition of a transformation from Hybrid UML specifications into programs of a "low-level" language which is both executable in hard real-time and semantically well-defined. When compared to approaches assigning semantics directly to the high-level constructs of a formal specification language, the transformation approach offers two main advantages: First, semantics can be more easily adapted to syntactic extensions by extending the transformation in an appropriate way. Second, all models are automatically executable, since the low-level language is.

引用

页码：145 / 173

页数：29

共 19 条

[1]

ALUR R, 2001, LECT NOTES COMPUTER, V2034, P33

[2]

BERKENKOTTER K, AUTOMATED TEST DATA

[3]

BERKENKOTTER K, 2004, 34 TZI U BREM

[4]

BERKENKOTTER K, 2004, 32 TZI U BREM

[5]

Bienmüller T, 1999, LECT NOTES COMPUT SC, V1710, P319

[6]

Damm W, 1998, LECT NOTES COMPUT SC, V1536, P186, DOI 10.1007/3-540-49213-5_8

[7]

de Roever W.P, 2001, Cambridge Tracts in Theoretical Computer Science, V54

[8]

HEITMEYER C, 1994, REAL TIM SYST SYMP P, P120, DOI 10.1109/REAL.1994.342724

[9] Giotto: A time-triggered language for embedded programming [J].

Henzinger, TA ;

Horowitz, B ;

Kirsch, CM .

PROCEEDINGS OF THE IEEE, 2003, 91 (01) :84-99

[10] The theory of hybrid automata [J].

Henzinger, TA .

11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, :278-292

← 1 2 →