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 条
  • [21] A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
    Akhlaki, K. Benghazi
    Tunon, M. I. Capel
    Terriza, J. A. Holgado
    Morales, L. E. Mendoza
    SCIENCE OF COMPUTER PROGRAMMING, 2007, 65 (01) : 41 - 56
  • [22] Logical specification of reactive and real-time systems
    Lano, K
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (05) : 679 - 711
  • [23] Specification and refinement of continuous real-time systems
    Goldsack, S
    Lano, K
    Durr, E
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 310 - 324
  • [24] Functional specification of real-time and hybrid systems
    Muller, O
    Scholz, P
    HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 273 - 285
  • [25] SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SYSTEMS
    HOOMAN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 558 : R3 - 235
  • [26] A SPECIFICATION LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS
    WUPPER, H
    VYTOPIL, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 111 - 127
  • [27] Specification and Timing Analysis of Real-Time Systems
    Shuhua Wang
    Grace Tsai
    Real-Time Systems, 2004, 28 : 69 - 90
  • [28] REQUIREMENT SPECIFICATION FOR REAL-TIME AND HYBRID SYSTEMS
    HE, HP
    ZEDAN, H
    FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 269 - 284
  • [29] MODECHART - A SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS
    JAHANIAN, F
    MOK, AK
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (12) : 933 - 947
  • [30] Specification and analysis of real-time systems in statecharts
    Cha, SD
    Hong, HS
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 137 - 143
12345