Towards UML-based formal specifications of component-based real-time software

被引：0
|
作者：
Del Bianco, V
Lavazza, L
Mauri, M
Occorso, G
机构：
[1] Politecn Milan, Dipartimento Elettron & Informaz, I-20133 Milan, Italy
[2] CEFRIEL, I-20133 Milan, Italy
[3] Technol REPLY, I-20139 Milan, Italy
来源：
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS | 2003年 / 2621卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
UML-RT is achieving increasing popularity as a modeling language for real-time applications. Unfortunately UML-RT is not formally well defined and it is not well suited for supporting the specification stage: e.g., it does not provide native constructs to represent time and non-determinism. UML+ is an extension of UML that is formally well defined and suitable for expressing the specifications of real-time systems (e.g., the properties of a UML+ model can be formally verified). However, UML+ does not support design and development. This article addresses the translation of UML+ into UML-RT, thus posing the basis for a development framework where UML+ and UML-RT are used together, in order to remove each other's limitations. Specifications are written using UML+, they are verified by means of formal methods, and are then converted in an equivalent UML-RT model that becomes the starting point for the implementation.
引用
收藏
页码：118 / 134
页数：17
相关论文
共 50 条
  • [1] Towards UML-based formal specifications of component-based real-time software
    del Bianco V.
    Lavazza L.
    Mauri M.
    Occorso G.
    [J]. International Journal on Software Tools for Technology Transfer, 2007, 9 (2) : 179 - 192
  • [2] UML-based integration testing for component-based software
    Wu, Y
    Chen, MH
    Offutt, J
    [J]. COTS-BASED SOFTWARE SYSTEMS, PROCEEDINGS, 2003, 2580 : 251 - 260
  • [3] Formal verification of embedded real-time software in component-based application frameworks
    Hsiung, PA
    See, WB
    Lee, TY
    Fu, JM
    Chen, SJ
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 71 - 78
  • [4] Component-based software design and formal description in real-time creditable service
    Chen W.-Y.
    Xiang T.
    Wang X.-B.
    Sang N.
    Sun S.-X.
    [J]. Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2011, 40 (01): : 122 - 127
  • [5] Developing component-based software for real-time systems
    Zalewski, J
    [J]. PROCEEDINGS OF THE 27TH EUROMICRO CONFERENCE - 2001: A NET ODYSSEY, 2001, : 80 - 87
  • [6] Dynamic reconfiguration of component-based real-time software
    Rasche, A
    Polze, A
    [J]. WORDS 2005: 10TH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE, PROCEEDINGS, 2005, : 347 - 354
  • [7] Comprehensibility of UML-based software product line specifications
    Reinhartz-Berger, Iris
    Sturm, Arnon
    [J]. EMPIRICAL SOFTWARE ENGINEERING, 2014, 19 (03) : 678 - 713
  • [8] A Formal Contract-based Model for Component-based Real-time Systems
    Trinh-Dong Nguyen
    Dang Van Hung
    Anh-Hoang Truong
    [J]. 2017 4TH NAFOSTED CONFERENCE ON INFORMATION AND COMPUTER SCIENCE (NICS), 2017, : 230 - 235
  • [9] Building UML-based use case sub-tool for component-based software development
    Eassa, FE
    Abulnaja, OA
    [J]. ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 454 - 456
  • [10] On Component-Based Software Development for Multiprocessor Real-Time Systems
    Khalilzad, Nima
    Behnam, Moris
    Nolte, Thomas
    [J]. 2015 IEEE 21ST INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, 2015, : 132 - 140
12345