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 条
  • [1] An executable formal semantics for UML-RT
    Posse, Ernesto
    Dingel, Juergen
    [J]. SOFTWARE AND SYSTEMS MODELING, 2016, 15 (01): : 179 - 217
  • [2] An executable formal semantics for UML-RT
    Ernesto Posse
    Juergen Dingel
    [J]. Software & Systems Modeling, 2016, 15 : 179 - 217
  • [3] A semantics for UML-RT using π-calculus
    Bezerra, Juliana de Melo
    Hirata, Celso Massaki
    [J]. RSP 2007: 18TH IEEE/IFIP INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2007, : 75 - +
  • [4] A semantics for UML-RT active classes via mapping into circus
    Ramos, R
    Sampaio, A
    Mota, A
    [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2005, 3535 : 99 - 114
  • [5] An AsmL semantics for dynamic structures and run time schedulability in UML-RT
    Leue, Stefan
    Stefanescu, Alin
    Wei, Wei
    [J]. OBJECTS, COMPONENTS, MODELS AND PATTERNS, 2008, 11 : 238 - +
  • [6] Transformation Laws for UML-RT
    Ramos, Rodrigo
    Sampaio, Augusto
    Mota, Alexandre
    [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, 2006, 4037 : 123 - 137
  • [7] Mapping architectural concepts to UML-RT
    Cheng, SW
    Garlan, D
    [J]. PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 172 - 179
  • [8] INTEGRATING SCHEDULABILITY ANALYSIS WITH UML-RT
    Gao, Q.
    Brown, L. J.
    Capretz, L. F.
    [J]. CONTROL AND INTELLIGENT SYSTEMS, 2006, 34 (02)
  • [9] State Machine Antipatterns for UML-RT
    Das, Tuhin Kanti
    Dingel, Juergen
    [J]. 2015 ACM/IEEE 18TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS), 2015, : 54 - 63
  • [10] Towards UML-RT behavioural consistency
    Akhlaki, Kawtar Benghazi
    Tunon, Manuel I. Capel
    Terriza, Juan A. Holgado
    Morales, Luis E. Mendoza
    [J]. ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2007, : 612 - +
12345