A SPECIFICATION-ORIENTED SEMANTICS FOR THE REFINEMENT OF REAL-TIME SYSTEMS

被引：19
|
作者：
SCHOLEFIELD, D [1 ]
ZEDAN, H [1 ]
HE, JF [1 ]
机构：
[1] UNIV OXFORD,PROGRAMMING RES GRP,OXFORD,ENGLAND
来源：
THEORETICAL COMPUTER SCIENCE | 1994年 / 131卷 / 01期
关键词：
Computational complexity - Computational linguistics - Real time systems - Software engineering - Structured programming;
D O I：
10.1016/0304-3975(94)90096-5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A refinement calculus for the development of real-time systems is presented. The calculus is based upon a wide-spectrum language called the temporal agent model (TAM), within which both functional and timing properties can be expressed in either abstract or concrete terms. A specification-oriented semantics for the language is given. Program development is considered as a refinement process, i.e. the calculation of a structured program from an unstructured specification. A calculus of decomposition is defined. An example program is developed.
引用
收藏
页码：219 / 241
页数：23
相关论文
共 50 条
  • [31] Specification and analysis of real-time systems with PARAGON
    Sokolsky, O
    Lee, I
    Ben-Abdallah, H
    [J]. ANNALS OF SOFTWARE ENGINEERING, 1999, 7 : 211 - 234
  • [32] Specification and timing analysis of real-time systems
    Wang, SH
    Tsai, G
    [J]. REAL-TIME SYSTEMS, 2004, 28 (01) : 69 - 90
  • [33] Diagrammatic Specification of Mobile Real-Time Systems
    Linker, Sven
    [J]. DIAGRAMMATIC REPRESENTATION AND INFERENCE, 2010, 6170 : 316 - 318
  • [34] Specification and refinement of soft real-time requirements using sequence diagrams
    Refsdal, A
    Husa, KE
    Stolen, K
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 32 - 48
  • [35] A refinement calculus for the development of real-time systems
    Chen, ZQ
    Cau, A
    Zedan, H
    Liu, XD
    Yang, HJ
    [J]. 1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 61 - 68
  • [36] Parallel refinement mechanisms for real-time systems
    Kolano, PZ
    Kemmerer, RA
    Mandrioli, D
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 35 - 50
  • [37] Composition and refinement of discrete real-time systems
    Ostroff, JS
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 1999, 8 (01) : 1 - 48
  • [38] Bunches for object-oriented, concurrent, and real-time specification
    Paige, RF
    Hehner, ECR
    [J]. FM'99-FORMAL METHODS, 1999, 1708 : 530 - 550
  • [39] Life-cycle of a dual object-oriented specification model for real-time systems
    Bruno, MA
    Nesi, P
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (01) : 35 - 52
  • [40] SYSTEM REQUIREMENTS SPECIFICATION FOR REAL-TIME SYSTEMS.
    Uhrig, J.L.
    [J]. 1978, : 241 - 246
12345