A formal semantics of UML-RT

被引：0
|
作者：
von der Beeck, Michael [1 ]
机构：
[1] BMW Grp, Munich, Germany
来源：
MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS | 2006年 / 4199卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The modeling language UML-RT, a dialect of the UML, supports the development of complex, hierarchical systems following a component-oriented approach. However, for a solid foundation of model analysis and model transformations a formal semantics definition of UML-RT is missing. Therefore, this paper presents a precise syntax and semantics definition of a sublanguage of UML-RT. This sublanguage puts an emphasis on the specification of complex, hierarchical state-based models. It considers atomic capsules - containing a state-chart - and complex capsules that recursively consist of capsules communicating asynchronously with each other over connectors. Labeled transition systems are chosen as semantic domain, such that the UML-RT semantics can be defined in an SOS style a la Plotkin.
引用
收藏
页码：768 / 782
页数：15
相关论文
共 50 条
  • [21] A safety shell for UML-RT projects structure and methods of the corresponding UML pattern
    Gumzej, Roman
    Halang, Wolfgang A.
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (02) : 97 - 105
  • [22] On the adequacy of UML-RT for performance validation of an SDH telecommunication system
    Cortellessa, V
    Pierini, P
    Rossi, D
    [J]. ISORC 2005: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Proceedings, 2005, : 121 - 124
  • [23] Research on the connection of UML-RT capsule and Function block with Adapters
    Zhuang, Xia
    [J]. PROCEEDINGS OF THE 2016 6TH INTERNATIONAL CONFERENCE ON MECHATRONICS, COMPUTER AND EDUCATION INFORMATIONIZATION (MCEI 2016), 2016, 130 : 1185 - 1189
  • [24] Model development guidelines for UML-RT: conventions, patterns and antipatterns
    Das, Tuhin Kanti
    Dingel, Juergen
    [J]. SOFTWARE AND SYSTEMS MODELING, 2018, 17 (03): : 717 - 752
  • [25] Model Checking of UML-RT Models Using Lazy Composition
    Zurowska, Karolina
    Dingel, Juergen
    [J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2013, 8107 : 304 - 319
  • [26] Verifying UML-RT Protocol Conformance Using Model Checking
    Moffett, Yann
    Beaulieu, Alain
    Dingel, Juergen
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 410 - +
  • [27] Model development guidelines for UML-RT: conventions, patterns and antipatterns
    Tuhin Kanti Das
    Juergen Dingel
    [J]. Software & Systems Modeling, 2018, 17 : 717 - 752
  • [28] Language-specific model checking of UML-RT models
    Karolina Zurowska
    Juergen Dingel
    [J]. Software & Systems Modeling, 2017, 16 : 393 - 415
  • [29] Integrating UML-RT and Function Block with Function Block Adapters
    Xia, Zhuang
    Jing, Zhao Lin
    [J]. 2012 INTERNATIONAL CONFERENCE ON INDUSTRIAL CONTROL AND ELECTRONICS ENGINEERING (ICICEE), 2012, : 928 - 930
  • [30] Language-specific model checking of UML-RT models
    Zurowska, Karolina
    Dingel, Juergen
    [J]. SOFTWARE AND SYSTEMS MODELING, 2017, 16 (02): : 393 - 415
12345