Specification of real-time systems using UML sequence diagrams

被引：0
|
作者：
Huzar, Zbigniew [1 ]
Walkowiak, Anita [1 ]
机构：
[1] Wroclaw Univ Technol, Inst Informat, PL-50370 Wroclaw, Poland
来源：
PRZEGLAD ELEKTROTECHNICZNY | 2010年 / 86卷 / 09期
关键词：
UML sequence diagram; real-time system; specification and system's behavior properties;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
The paper proposes an approach to a definition of a semantic of UML sequence diagram extended to real-time system specification set using a transformation of the sequence diagrams into a graph of possible scenarios of system-environment interactions. The described transformation allows the analysis of specification properties: consistency, definiteness and completeness, and can be used to check if the system's behavior satisfies liveness and safety properties.
引用
收藏
页码：226 / 229
页数：4
相关论文
共 50 条
  • [41] Specification and analysis of real-time systems using csp and petri nets
    Kavi, KM
    Sheldon, FT
    Reed, S
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (02) : 229 - 248
  • [42] A framework for specification and validation of real-time systems using circus actions
    Sherif, A
    He, JF
    Cavalcanti, A
    Sampaio, A
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 478 - 493
  • [43] Specification and verification of real-time systems using ACSR-VP
    Lim, SM
    Choi, JY
    FOURTH INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1997, : 135 - 142
  • [44] Evaluating UML extensions for modeling real-time systems
    Bichler, L
    Radermacher, A
    Schürr, A
    PROCEEDINGS OF THE SEVENTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2002, : 271 - 278
  • [45] Safety shell for specification-PEARL oriented UML real-time projects
    Gumzej, Roman
    Colnaric, Matjaz
    Halang, Wolfgang A.
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2009, 35 (03) : 277 - 292
  • [46] A UML profile and a methodology for real-time systems design
    Bartolini, Cesare
    Bertolino, Antonia
    De Angelis, Guglielmo
    Lipari, Giuseppe
    32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 108 - +
  • [47] UML models for dependability analysis of real-time systems
    Addouche, N
    Antoine, C
    Montmain, J
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 5209 - 5214
  • [48] UML extensions for modeling real-time and embedded systems
    Szostak, S
    Robak, S
    Stryjski, R
    Franczyk, B
    DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 109 - 114
  • [49] Building real-time embedded systems with MetaH and UML
    Colbert, E
    Lewis, B
    TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 34, PROCEEDINGS, 2000, : 445 - 445
  • [50] Unified modeling of real-time control systems and their physical environments using UML
    Axelsson, J
    EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 18 - 25
12345