Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications

被引：0
|
作者：
Akhlaki, K. Benghazi [1 ]
Tunon, M. I. Capel [1 ]
Terriza, J. A. Holgado [1 ]
机构：
[1] Univ Granada, ETSI Informat, Software Engn Dept, Campus Aynadamar, E-18071 Granada, Spain
来源：
ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION | 2006年
关键词：
UML/RT; process algebra; CSP plus T; formal specification;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The systematic translation from a UML/RT model into CSP+T specifications, proposed in a previous paper, may give a way to use jointly UML and CSP in a unified, practical and rigorous software development method for real-time systems. We present here a systematic transformation method to derive a correct system specification in terms of CSP+T from a semi-formal system requirement specification (UML-RT), by applying a set of transformation rules which give a formal semantics to the semi-formal analysis entities of UML/RT, and thus open up the possibility of verifying a software system design that also includes real-time constraints. As to show the applicability of the approach, a correct design of a real-time system is obtained by following the process of development proposed here.
引用
收藏
页码：290 / +
页数：2
相关论文
共 50 条
  • [1] A timed automata semantics for real-time UML specifications
    Toetenel, H
    Roubtsova, E
    van Katwijk, J
    [J]. IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 88 - 95
  • [2] 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
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2007, 65 (01) : 41 - 56
  • [3] TIMED SPECIFICATIONS FOR THE DEVELOPMENT OF REAL-TIME SYSTEMS
    JARAY, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 67 - 83
  • [4] An approach for designing real-time embedded systems from RT-UML specifications
    Computer Science Institute, UFRGS, Brazil
    不详
    不详
    [J]. 1600, 117-122 (2005):
  • [5] Consistent design of embedded real-time systems with UML-RT
    Küster, JM
    Stroop, J
    [J]. FOURTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2001, : 31 - 40
  • [6] Type checking for software system specifications in real-time process algebra
    Liu, CW
    Tan, XM
    [J]. DCABES 2004, PROCEEDINGS, VOLS, 1 AND 2, 2004, : 1077 - 1083
  • [7] Conformance tests for real-time systems with timed automata specifications
    Cardell-Oliver, Rachel
    [J]. Formal Aspects of Computing, 2000, 12 (05) : 350 - 366
  • [8] Combining the description features of UML-RT and CSP+T specifications applied to a complete design of real-time systems
    Akhlaki, KB
    Capel-Tuñón, MI
    [J]. ENFORMATIKA, VOL 7: IEC 2005 PROCEEDINGS, 2005, : 193 - 198
  • [9] Combining the Description Features of UML-RT and CSP plus T Specifications Applied to a Complete Design of Real-Time Systems
    Akhlaki, Kawtar Benghazi
    Capel-Tunon, Manuel I.
    [J]. PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 7, 2005, 7 : 193 - 198
  • [10] From UML-RT models to a graphical design environment of real-time multitasking
    Liu Xiaoyan
    Zhang Yunsheng
    Schwarz, Jean Jacques
    Li Junchang
    [J]. PROCEEDINGS OF THE 26TH CHINESE CONTROL CONFERENCE, VOL 3, 2007, : 164 - +
12345