A software process for Modeling complex systems with UML-RT

被引：0
|
作者：
Sun, Yifeng [1 ]
Levy, David [1 ]
机构：
[1] Univ Sydney, Sch Elect & Informat Engn, Sydney, NSW 2006, Australia
来源：
TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS | 2007年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
UML-RT has been widely used in modeling complex embedded/real-time systems. Designers of such complex systems, however also need a sound, systematic, and practical software process that can guide the whole development phase. In this paper we describe a mapping between COMET and UML-RT that effectively maps COMET objects and models into UML-RT prototypes and software structures. Furthermore, based on the mapping relationship, we present a new software process that derives from COMET to address the issues of designing complex systems specifically for UML-RT Finally, a practical example that applies this process using the UML-RT compliant CASE tool, Rational Rose Real Time, is fully discussed in order to demonstrate the applicability of the mapping and the software process.
引用
收藏
页码：401 / +
页数：2
相关论文
共 50 条
  • [1] Transformation Laws for UML-RT
    Ramos, Rodrigo
    Sampaio, Augusto
    Mota, Alexandre
    [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, 2006, 4037 : 123 - 137
  • [2] A formal semantics of UML-RT
    von der Beeck, Michael
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 768 - 782
  • [3] UML-RT as a candidate for modeling embedded real-time systems in the telecommunication domain
    Herzberg, D
    [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 330 - 338
  • [4] Modeling and simulation of system-of-systems timing constraints with UML-RT and OMNeT plus
    Michael, JB
    Shing, MT
    Mildaski, MH
    Babbitt, JD
    [J]. 15TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2004, : 202 - 209
  • [5] An executable formal semantics for UML-RT
    Posse, Ernesto
    Dingel, Juergen
    [J]. SOFTWARE AND SYSTEMS MODELING, 2016, 15 (01): : 179 - 217
  • [6] Enhancing critical software development using HOORA/HOOD and UML-RT
    Méhaut, X
    Richard-Foy, M
    [J]. DASIA 99: DATA SYSTEMS IN AEROSPACE, 1999, 447 : 245 - 251
  • [7] From scenarios to hierarchical broadcasting software architectures using UML-RT
    Krüger, I
    Prenninger, W
    Sandner, R
    Broy, M
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2002, 12 (02) : 155 - 174
  • [8] 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 - +
  • [9] 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
  • [10] INTEGRATING SCHEDULABILITY ANALYSIS WITH UML-RT
    Gao, Q.
    Brown, L. J.
    Capretz, L. F.
    [J]. CONTROL AND INTELLIGENT SYSTEMS, 2006, 34 (02)
12345