UML 2.0 state machines:: Complete formal semantics via core state machines

被引：0
|
作者：
Fecher, Harald [1 ]
Schoenborn, Jens [1 ]
机构：
[1] Univ Kiel, Olshaussenstr 40, Kiel, Germany
来源：
FORMAL METHODS: APPLICATIONS AND TECHNOLOGY | 2007年 / 4346卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
UML has become the standard modeling language for object-oriented systems. The informal description of UML and its continuous extension cause many ambiguities. Therefore, a formal semantics for UML is necessary, especially for formal reasoning and tool development. We present a formal semantics of UML 2.0 state machines, which are used for modeling the reactive behavior of objects, by (i) deriving core state machines with fewer design features and a precise syntax, (ii) developing a formal semantics for core state machines, and (iii) presenting a complete transformation from UML 2.0 state machines to core state machines. Such a transformational approach provides the opportunity of easy adaption to future changes of the semantics of UML state machines.
引用
收藏
页码：244 / +
页数：3
相关论文
共 50 条
  • [1] 29 new unclarities in the semantics of UML 2.0 state machines
    Fecher, H
    Schönborn, J
    Kyas, M
    de Roever, WP
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 52 - 65
  • [2] Institutionalising UML 2.0 state machines
    Calegari, Daniel
    Szasz, Nora
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2011, 7 (04) : 315 - 323
  • [3] Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
    Zhou, Yu
    Baresi, Luciano
    Rossi, Matteo
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2013, 28 (01) : 188 - 202
  • [4] Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
    Yu Zhou
    Luciano Baresi
    Matteo Rossi
    Journal of Computer Science and Technology, 2013, 28 : 188 - 202
  • [5] Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
    周宇
    Luciano Baresi
    Matteo Rossi
    Journal of Computer Science & Technology, 2013, 28 (01) : 188 - 202
  • [6] A compositional semantics for UML state machines aimed at performance evaluation
    Merseguer, J
    Campos, J
    Bernardi, S
    Donatelli, S
    WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2002, : 295 - 302
  • [7] Slicing of UML State Machines
    Lano, Kevin
    AIC '09: PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED INFORMATICS AND COMMUNICATIONS: RECENT ADVANCES IN APPLIED INFORMAT AND COMMUNICATIONS, 2009, : 63 - +
  • [8] Refinement Sensitive Formal Semantics of State Machines With Persistent Choice
    Fecher, Harald
    Huth, Michael
    Schmidt, Heiko
    Schoenborn, Jens
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 250 (01) : 71 - 86
  • [9] Code generation and execution framework for UML 2.0 classes and state machines
    Pilitowski, Rormiald
    Derezifiska, Anna
    INNOVATIONS AND ADVANCED TECHNIQUES IN COMPUTER AND INFORMATION SCIENCES AND ENGINEERING, 2007, : 421 - 427
  • [10] Formal semantics of UML 2.0
    School of Computer Science and Technology, Soochow University, Suzhou 215006, China
    不详
    不详
    Nanjing Youdian Daxue Xuebao (Ziran Kexue Ban), 2007, 3 (39-43):
12345