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 条
  • [1] Extension of UML sequence diagrams for real-time systems
    Seemann, J
    von Gudenberg, JW
    UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 240 - 252
  • [2] Specification of real-time imaging systems using the UML
    Neill, CJ
    Laplante, PA
    REAL-TIME IMAGING, 2003, 9 (02) : 125 - 137
  • [3] UML specification of real-time imaging systems
    Neill, CJ
    Laplante, PA
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT II, 2002, : 273 - 277
  • [4] Specification and refinement of soft real-time requirements using sequence diagrams
    Refsdal, A
    Husa, KE
    Stolen, K
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 32 - 48
  • [5] Specification and analysis of real-time systems using Real-Time Maude
    Ölveczky, PC
    Meseguer, J
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358
  • [6] Specification of hard real-time industrial automation systems with UML-PA
    Bitsch, F
    Göhner, P
    Gutbrodt, F
    Katzke, U
    Vogel-Heuser, B
    2005 3rd IEEE International Conference on Industrial Informatics (INDIN), 2005, : 339 - 344
  • [7] SPECIFICATION OF REAL-TIME SYSTEMS
    PATNAIK, LM
    MALL, R
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
  • [8] ON THE SPECIFICATION OF REAL-TIME SYSTEMS USING LOGIC PROGRAMMING
    GARZOTTO, F
    GHEZZI, C
    MANDRIOLI, D
    MORZENTI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 180 - 190
  • [9] Model-based requirements specification of real-time systems with UML, SysML and MARTE
    Ribeiro, Fabiola Goncalves C.
    Pereira, Carlos E.
    Rettberg, Achim
    Soares, Michel S.
    SOFTWARE AND SYSTEMS MODELING, 2018, 17 (01): : 343 - 361
  • [10] Model-based requirements specification of real-time systems with UML, SysML and MARTE
    Fabíola Gonçalves C. Ribeiro
    Carlos E. Pereira
    Achim Rettberg
    Michel S. Soares
    Software & Systems Modeling, 2018, 17 : 343 - 361
12345