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 条
  • [31] Specification Theories for Probabilistic and Real-Time Systems
    Fahrenberg, Uli
    Legay, Axel
    Traonouez, Louis-Marie
    FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING, 2014, 8415 : 98 - 117
  • [32] The API Specification for Real-Time Database Systems
    Ning Wei
    Wang Dao-lin
    PROCEEDINGS OF 2009 INTERNATIONAL WORKSHOP ON INFORMATION SECURITY AND APPLICATION, 2009, : 311 - 314
  • [33] Parallel real-time systems: Formal specification
    Choudhary, AN
    Gehlot, V
    Narahari, B
    FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 186 - 191
  • [34] Specification and timing analysis of real-time systems
    Wang, SH
    Tsai, G
    REAL-TIME SYSTEMS, 2004, 28 (01) : 69 - 90
  • [35] Diagrammatic Specification of Mobile Real-Time Systems
    Linker, Sven
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, 2010, 6170 : 316 - 318
  • [36] Specification and analysis of real-time systems with PARAGON
    Sokolsky, O
    Lee, I
    Ben-Abdallah, H
    ANNALS OF SOFTWARE ENGINEERING, 1999, 7 : 211 - 234
  • [37] Predicate Diagrams for the Verification of Real-Time Systems
    Kang, Eun-Young
    Merz, Stephan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 145 : 151 - 165
  • [38] Predicate diagrams for the verification of real-time systems
    Kang, Eun-Young
    Merz, Stephan
    FORMAL ASPECTS OF COMPUTING, 2007, 19 (03) : 401 - 413
  • [39] Formal Specification and Automated Verification of UML2.0 Sequence Diagrams
    Peng, Tu
    Ding, Gangyi
    2012 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING (GRC 2012), 2012, : 370 - 375
  • [40] Time properties Verification of UML/MARTE Real-Time Systems
    Louati, Aymen
    Barkaoui, Ka-Mel
    Jerad, Chadlia
    2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 386 - 393
12345